Rostra: A framework for detecting redundant object-oriented unit tests

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 196-205

  Xie, Tao ^a   Marinov, Darko ^b   Notkin, David ^a  

^a University of Washington   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; AUTOMATION; CODES (SYMBOLS); DATA ACQUISITION; ERROR DETECTION; JAVA PROGRAMMING LANGUAGE;

EQUALITY METHODS; JAVA COLLECTIONS; OBJECT-ORIENTED TEST SUITES; ROSTRA;

OBJECT ORIENTED PROGRAMMING;

EID: 15844372320     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley Longman Publishing Co., Inc., 2000.
2. G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Softw. Eng. J., 6(6):387-405, 1991.
3. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In Proceedings of the International Symposium on Software Testing and Analysis, pages 123-133, 2002.
4. J. Chang and D. J. Richardson. Structural specification-based testing: Automated support and experimental evaluation. In Proceedings of the 7th ESEC/FSE, pages 285-302, 1999.
5. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and junit way. In Proc. European Conference on Object-Oriented Programming (ECOOP), pages 231-255, 2002.
6. M. Clark. Junit primer. Draft manuscript, October 2000.
7. C. Csallner and Y. Smaragdakis. Jcrasher documents. Online manual, December 2003.
8. M. Dahm and J. van Zyl. Byte code engineering library, April 2003.
9. W. Dickinson, D. Leon, and A. Podgurski. Finding failures by cluster analysis of execution profiles. In Proceedings of the 23rd International Conference on Software Engineering, pages 339-348, 2001.
10. R.-K. Doong and P. G. Frankl. The astoot approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol., 3(2):101-130, 1994.
11. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In Proceedings of the International Symposium on Software Testing and Analysis, pages 112-122, 2002.
12. Hansel 1.0, 2003. http://hansel.sourceforge.net/.
13. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In Proceedings of the 25th International Conference on Software Engineering, pages 60-71, 2003.
14. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In 17th European Conference on Object-Oriented Programming, pages 431-456, 2003.
15. R. Iosif. Symmetry reduction criteria for software model checking. In Proceedings of the 9th SPIN Workshop on Software Model Checking, pages 22-41, July 2002.
16. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR 98-06i, Department of Computer Science, Iowa State University, June 1998.
17. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
18. Y.-S. Ma, Y.-R. Kwon, and J. Offutt. Inter-class mutation operators for Java. In Proceedings of International Symposium on Software Reliability Engineering, pages 352-363, 2002.
19. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard. An evaluation of exhaustive testing for data structures. Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge, MA, September 2003.
20. B. Meyer. Eiffel: The Language. Prentice Hall, New York, N.Y., 1992.
21. Parasoft. Jtest manuals version 4.5. Online manual, October 2002.
22. Robby, M. Dwyer, J. Hatcliff, and R. Iosif. Space-reduction strategies for model checking dynamic software. In Proceedings of the 2003 Workshop on Software Model Checking, volume 89 of ENTCS, 2003.
23. G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong. An empirical study of the effects of minimization on the fault detection capabilities of test suites. In Proc. the International Conference on Software Maintenance, pages 34-43, 1998.
24. G. Rothermel, R. J. Untch, and C. Chu. Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng., 27(10):929-948, 2001.
25. B. G. Ryder and F. Tip. Change impact analysis for object-oriented programs. In Proceedings of ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 46-53, 2001.
26. D. Stotts, M. Lindsey, and A. Antley. An informal formal method for systematic junit test case generation. In Proceedings of the 2002 XP/Agile Universe, pages 131-143, 2002.
27. Sun Microsystems. Java 2 Platform, Standard Edition, v1.3.1 API Specification. http://java.sun.com/ j2se/1.3/docs/api/.
28. 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.
29. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In Proceedings of 18th IEEE International Conference on Automated Software Engineering, pages 40-48, 2003.
30. T. Zimmermann and A. Zeller. Visualizing memory graphs. In the Dagstuhl Seminar on Software Visualization, volume 2269 of LNCS, pages 191-204, 2001.