Automatic extraction of abstract-object-state machines from unit-test executions

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 835-838

  Xie, Tao ^a   Martin, Evan ^a   Yuan, Hai ^a  

^a North Carolina State University   (United States)

Author keywords

Debugging; Program understanding; Software testing

Indexed keywords

ABSTRACTING; FAILURE ANALYSIS; INFORMATION RETRIEVAL; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SOFTWARE TESTING;

AUTOMATIC TEST ABSTRACTION TOOLS; HIGH LEVEL OBJECT STATE TRANSITION INFORMATION; OBJECT STATE MACHINES (OSM); PROGRAM UNDERSTANDING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34247117853     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134427     Document Type: Conference Paper

References (19)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Proc. 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. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis, pages 123-133, 2002.
4. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering, pages 439-448, 2000.
5. 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.
6. E. Gamma and K. Beck. JUnit, 2003. http://www.junit.org.
7. 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.
8. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In Proc. International Symposium on Software Testing and Analysis, pages 112-122, 2002.
9. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In Proc. 17th European Conference on Object-Oriented Programming, pages 431-456, 2003.
10. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
11. D. Stotts, M. Lindsey, and A. Antley. An informal formal method for systematic JUnit test case generation. In Proc. 2002 XP/Agile Universe, pages 131-143, 2002.
12. 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/.
13. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. International Symposium on Software Testing and Analysis, pages 218-228, 2002.
14. 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, pages 196-205, Sept. 2004.
15. T. Xie and D. Notkin. Automatic extraction of object-oriented observer abstractions from unit-test executions. In Proc. 6th International Conference on Formal Engineering Methods, Nov. 2004.
16. T. Xie and D. Notkin. Automatic extraction of sliced object state machines for component interfaces. In Proc. 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12 (SAVCBS 2004), pages 39-46, October 2004.
17. T. Xie and D. Notkin. Automatically identifying special and common unit tests for object-oriented programs. In Proc. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pages 277-287, November 2005.
18. J. Yang and D. Evans. Dynamically inferring temporal properties. In Proc. ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 23-28, 2004.
19. H. Yuan and T. Xie. Automatic extraction of abstract-object-state machines based on branch coverage. In Proc. 1st International Workshop on Reverse Engineering To Requirements at WCRE 2005 (RETR 2005), pages 5-11, November 2005.