Dynamically discovering likely interface invariants

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 861-864

  Csallner, Christoph ^a   Smaragdakis, Yannis ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Dynamic analysis; Interfaces; Invariant detection; Method overriding

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING;

INFERRED INVARIANTS; INVARIANT DETECTION; INVARIANT INFERENCE TOOLS; METHOD OVERRIDING;

INTERFACES (COMPUTER);

EID: 34247119284     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134435     Document Type: Conference Paper

References (9)

1. Apache Software Foundation. Bytecode engineering library (BCEL). http://jakarta.apache.org/bcel/, Apr. 2003. Accessed Feb. 2006.
2. D. R. Cok and J. R. Kiniry. ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2. Technical Report NIII-R0413, Nijmegen Institute for Computing and Information Science, May 2004.
3. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, Feb. 2001.
4. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering, pages 291-301, May 2002.
5. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR98-06y, Department of Computer Science, Iowa State University, June 1998.
6. B. Meyer. Object-Oriented Software Construction. Prentice Hall PTR, 2nd edition, 1997.
7. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In Proc. 19th European Conference on Object-Oriented Programming, pages 504-527, July 2005.
8. J. H. Perkins and M. D. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In Proceedings of the ACM SIGSOFT 15th Symposium on the Foundations of Software Engineering (FSE 2004), pages 23-32, Nov. 2004.
9. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In Proc. 18th Annual International Conference on Automated Software Engineering (ASE 2003), pages 40-48, Oct. 2003.