Test input generation for java containers using state matching

Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006

Volumn 2006, Issue , 2006, Pages 37-47

  Visser, Willem ^a   Pǎsǎreanu, Corina S ^b   Pejánek, Radek ^c  

^a Research Institute for Advanced Computer Science   (United States)

^b QSS/NASA Ames   (United States)

^c MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Abstraction; Random testing; Software model checking; Symbolic execution; Unit testing

Indexed keywords

AUTOMATIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PATTERN MATCHING; RANDOM PROCESSES; RELIABILITY THEORY; STATE ASSIGNMENT;

RANDOM TESTING; SOFTWARE MODEL CHECKING; SYMBOLIC EXECUTION; UNIT TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 34247390730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146238.1146243     Document Type: Conference Paper

References (33)

1. P. Ammann, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Proc. 2nd IEEE International Conference on Formal Engineering Methods, 1998.
2. S. Anand, C. S. Pǎsǎreanu, and W. Visser. Symbolic execution with abstract subsumption checking. In Proc. 13th International SPIN Workshop, 2006.
3. T. Ball. A theory of predicate-complete test coverage and generation, 2004. Microsoft Research Technical Report MSR-TR.-2004-28.
4. T. Ball, D. Hoffman, F. Ruskey, R. Webber, and L. J. White. State generation and automated class testing. Softw. Test., Verif. Rdiab., 10(3):149-170, 2000.
5. A. Baresel, M. Harman, D. Binkley, and B. Korel. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In Proc. ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2004.
6. D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. 26th International Conference on Software Engineering (ICSE), 2004.
7. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java, predicates. In Proc. International Symposium on Software Testing and Analysis (ISSTA), pages 123-133, July 2002.
8. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera,: Extracting finite-state models from Java, source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
9. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology (TOSEM), 3(2):101-130, 1994.
10. A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. In Proc. 7th European Software Engineering Conference, Held Jointly with the 7th A CM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 1999.
11. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th Annual ACM Symposium on the Principles of Programming Languages (POPL), pages 174-186, Paris, France, Jan. 1997.
12. 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 (ISSTA), pages 112-122, July 2002.
13. A. Groce and W. Visser. Heuristics for model checking Java programs. STTT Journal, 6(4), December 2004.
14. W. J. Gutjahr. Partition testing vs. random testing: The influence of uncertainty. IEEE Transactions on Software Engineering, 25(5):661-674, 1999.
15. M. P. E. Heimdahl, S. Rayadurgam, W. Visser, D. George, and J. Gao. Auto-generating test sequences using model checkers: A case study. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software (FATES), Montreal, Canada, Oct. 2003.
16. G. J. Holzmann and R. Joshi. Model-driven software verification. In Proc. 11th International SPIN Workshop, 2004.
17. H. S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In Proc. 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Grenoble, France, April 2002.
18. R. Iosif. Exploiting heap symmetries in explicit-state model checking of software. In Proc. 16th IEEE International Conference on Automated Software Engineering (ASE), Nov. 2001.
19. Java PathFinder. http://javapathfinder.sourceforge.net.
20. JTest. http://www.parasoft.com/jsp/home.jsp.
21. S. Khurshid, G. S. Pǎsǎreanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TAGAS), 2003.
22. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
23. D. Marinov and S. Khurshid. TestEra,: A novel framework for automated testing of Java programs. In Proc. 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, CA, Nov. 2001.
24. C. S. Pǎsǎreanu, R. Pelanek, and W. Visser. Concrete model checking with abstract matching. In Proc. 17th International Conference on Computer Aided Verification (CAV), 2005.
25. W. Pugh. The Omega test: A fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, 31(8), Aug. 1992.
26. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems (TOPLAS), January 1998.
27. P. Tonella,. Evolutionary testing of classes. In Proc. International Symposium on Software Testing and Analysis (ISSTA). ACM Press, 2004.
28. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th IEEE International Conference on Automated Software Engineering (ASE), Grenoble, Prance, 2000.
29. W. Visser, C. S. Pasareanu, and R. Pelanek. Test input generation for red black trees using abstraction (short presentation). In Proc. 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2005.
30. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation in Java Pathfinder. In Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.
31. E. J. Weyuker and B. Jeng. Analyzing partition testing strategies. IEEE Transactions on Software Engineering, 17(7):703-711, 1991.
32. 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 (ASE), 2004.
33. T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proc. 11th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2005.