Tool-assisted unit test selection based on operational violations

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 40-48

  Xie, Tao ^a   Notkin, David ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; SOFTWARE DESIGN; SOFTWARE TESTING;

AUTOMATICALLY GENERATED; GENERATION TOOLS; SELECTION BASED; TEST INPUTS; TEST SELECTION; UNIT TEST GENERATIONS; UNIT TESTING; UNIT TESTS; UNIT UNDER TEST; UNITS UNDER TESTS;

SPECIFICATIONS;

EID: 85117374664     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240293     Document Type: Conference Paper

References (23)

1. G. Ammons, R. Bodik, and J. Larus, “Mining Specifications”, Proceedings of Principles of Programming Languages (POPL), Portland, Oregon, January 2002, pp. 16-18.
2. K. Beck, Extreme programming explained, Addison-Wesley, 2000.
3. Kent Beck and Erich Gamma, “Test infected: Programmers love writing tests”, Java Report, 3(7), July 1998.
4. C. Boyapati, S. Khurshid, and D. Marinov, “Korat: Automated testing based on Java predicates”, Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 2002, pp.123-133.
5. Y. Cheon and G. T. Leavens, “A simple and practical approach to unit testing: The JML and JUnit way”, Proceedings of 16th European Conference Object-Oriented Programming (ECOOP), 2002, pp. 231-255.
6. J. Chang and D. J. Richardson, “Structural Specification-Based Testing: Automated Support and Experimental Evaluation”, Proceedings of the 7th European Software Engineering Conference/7th ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC/FSE), Sept. 1999, pp. 285-302.
7. W. Dickinson, D. Leon, and A. Podgurski, “Finding Failures by Cluster Analysis of Execution Profiles”, Proceedings of the International Conference on Software Engineering (ICSE), 2001, pp 339-348.
8. 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, vol. 27, no. 2, Feb. 2001, pp. 1-25.
9. N. Gupta, “Generating Test Data for Dynamically Discovering Likely Program Invariants”, Proceedings of ICSE 2003 Workshop on Dynamic Analysis (WODA), May 2003, pp. 21-24.
10. Hansel 1.0, http://hansel.sourceforge.net/.
11. S. Hangal and M. S. Lam, “Tracking down software bugs using automatic anomaly detection”, Proceedings of the International Conference on Software Engineering (ICSE), May 2002, pp. 291-301.
12. M. Harder, J. Mellen, and M. D. Ernst, “Improving test suites via operational abstraction”, Proceedings of the International Conference on Software Engineering (ICSE), Portland, Oregon, May 2003, pp. 60-71.
13. Parasoft Corporation, Jcontract manuals version 1.5, http://www.parasoft.com/, October 9, 2002.
14. Parasoft Corporation, Jtest manuals version 4.5, http://www.parasoft.com/, October 23, 2002.
15. JUnit, http://www.junit.org.
16. B. Meyer, Object-Oriented Software Construction, New York, London, Prentice Hall, Second Edition, 1997.
17. J. W. Nimmer and M. D. Ernst, “Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java”, Proceedings of First Workshop on Runtime Verification (RV), Paris, France, July 23, 2001.
18. C. Pavlopoulou and M. Young. “Residual test coverage monitoring”, Proceedings of International Conference of Software Engineering (ICSE), 1999, pp. 277-284.
19. G. Rothermel, R. Untch, C. Chu, and M. J. Harrold, “Test Case Prioritization”, IEEE Transactions on Software Engineering, vol. 27, no. 10, October 2001, pp. 929-948.
20. P. D. Stotts, M. Lindsey, and A. Antley. “An informal formal method for systematic JUnit test case generation”, Proceedings of 2nd XP Universe and 1st Agile Universe Conference (XP/Agile Universe), 2002, pp 131-143.
21. A. Srivastava and J. Thiagarajan, “Effectively prioritizing tests in development environment”, Proceedings of International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, July 2002, pp. 97-106.
22. J. Whaley, M. C. Martin and M. S. Lam, “Automatic Extraction of Object-Oriented Component Interfaces”, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), July 2002, pp. 218-228.
23. M. A. Weiss, Data Structures and Algorithm Analysis in Java. Addison Wesley Longman, 1999.