Automatic extraction of object-oriented observer abstractions from unit-test executions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3308, Issue , 2004, Pages 290-305

  Xie, Tao ^a   Notkin, David ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATIC TEST PATTERN GENERATION; COMPUTER SOFTWARE MAINTENANCE; OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN; SPECIFICATIONS;

AUTOMATIC EXTRACTION; AUTOMATICALLY GENERATED; COMPLEX DATA STRUCTURES; OBJECT ORIENTED; STATE MACHINE; STATE TRANSITIONS; THIRD-PARTY TOOLS; UNIT TEST GENERATIONS;

SOFTWARE TESTING;

EID: 35048891581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30482-1_27     Document Type: Article

References (26)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Proc. the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, 2002.
2. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley Longman Publishing Co., Inc., 2000.
3. T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani. Automatic predicate abstraction of C programs. In Proc. the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 203-213, 2001.
4. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. the International Symposium on Software Testing and Analysis, pages 123-133, 2002.
5. C. Csallner and Y. Smaragdakis. JCrasher documents. Online manual, December 2003.
6. M. Dahm and J. van Zyl. Byte Code Engineering Library, April 2003. http:// jakarta.apache.org/bcel/.
7. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng., 27(2):99-123, 2001.
8. E. R. Gansner and S. C. North. An open graph visualization system and its applications to software engineering. Software: Practice and Experience, 30(11):1203-1233, Sept. 2000.
9. S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In Proc. the 9th International Conference on Computer Aided Verification, pages 72-83,1997.
10. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In Proc. the International Symposium on Software Testing and Analysis, pages 112-122, 2002.
11. N. Gupta, A. P. Mathur, and M. L. Soffa. Automated test data generation using an iterative relaxation method. In Proc. the 6thACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 231-244, 1998.
12. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In Proc. the 17th European Conference on Object-Oriented Programming, pages 431-456, 2003.
13. JUnit, 2003. http://www.junit.org.
14. D. Kung, N. Suchak, J. Gao, and P. Hsia. On object state testing. In Proc. the 18th Annual International Computer Software and Applications Conference, pages 222-227, 1994.
15. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proc. The IEEE, volume 84, pages 1090-1123, Aug. 1996.
16. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
17. D. Nguyen. Design patterns for data structures. In Proc. the 29th SIGCSE Technical Symposium on Computer Science Education, pages 336-340,1998.
18. Parasoft. Jtest manuals version 4.5. Online manual, April 2003. http:// www.parasoft.com/.
19. Sun Microsystems. Java 2 Platform, Standard Edition, v 1.4.2, API Specification. Online documentation, Nov. 2003. http://java.sun.com/j2se/1.4.2/docs/api/.
20. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Proc. the Conference on Software Maintenance, pages 302-310,1993.
21. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. the International Symposium on Software Testing and Analysis, pages 218-228,2002.
22. T. Xie, D. Marinov, and D. Notkin. Improving generation of object-oriented test suites by avoiding redundant tests. Technical Report UW-CSE-04-01-05, University of Washington Department of Computer Science and Engineering, Seattle, WA, January 2004.
23. T. Xie, D. Marinov, and D. Notkin. Rostra: A framework for detecting redundant object-oriented unit tests. In Proc. 19th IEEE International Conference on Automated Software Engineering, 2004.
24. T. Xie and D. Notkin. Mutually enhancing test generation and specification inference. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software, volume 2931 of LNCS, pages 60-69, 2003.
25. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In Proc. 18th IEEE International Conference on Automated Software Engineering, pages 40-48, 2003.
26. J. Davies et al. (Eds.): ICFEM 2004, LNCS 3308, pp. 306-319, 2004.