A comparison of constraint-based and sequence-based generation of complex input data structures

ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Volumn , Issue , 2010, Pages 337-342

  Sharma, Rohan ^a   Gligoric, Milos ^a   Jagannath, Vilas ^a   Marinov, Darko ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT REPRESENTATION; AUTOMATED GENERATION; COMPLEX DATA STRUCTURES; COMPLEX INPUTS; CONSTRAINT-BASED; ERROR PRONES; FALSE ALARMS; RESEARCH STUDIES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; INPUT OUTPUT PROGRAMS; SOFTWARE TESTING; VERIFICATION;

DATA STRUCTURES;

EID: 77953761289     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2010.7     Document Type: Conference Paper

References (31)

1. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated testing based on Java predicates," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2002.
2. D. Marinov and S. Khurshid, "TestEra: A novel framework for automated testing of Java programs," in Proc. 16th International Conference on Automated Software Engineering (ASE), 2001.
3. B. Daniel, D. Dig, K. Garcia, and D. Marinov, "Automated testing of refactoring engines," in Proc. 6th joint meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE), 2007.
4. K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson, "Software assurance by bounded exhaustive testing," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.
5. B. Elkarablieh, D. Marinov, and S. Khurshid, "Efficient solving of structural constraints," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2008.
6. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard, "An evaluation of exhaustive testing for data structures," MIT CSAIL, Tech. Rep. MIT-LCS-TR-921, 2003.
7. "Korat home page," http://mir.cs.illinois.edu/korat/.
8. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, Third Edition. The MIT Press, 2009.
9. M. d'Amorim, S. Lauterburg, and D. Marinov, "Delta execution for efficient state-space exploration of object-oriented programs," in Proc. International Symposium on Software Testing and Analysis (ISSTA 2007), 2007.
10. A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid, "Korat: A tool for generating structurally complex test inputs," in Proc. 30th International Conference on Software Engineering, Demo Papers (ICSE Demo), 2007.
11. D. Marinov, "Automatic testing of software with structurally complex inputs," Ph.D. dissertation, MIT, 2004.
12. R. Iosif, "Exploiting heap symmetries in explicit-state model checking of software," in Proc. 16th International Conference on Automated Software Engineering (ASE), 2001.
13. N. Sloane and S. Plouffe, The Encyclopedia of Integer Sequences. Academic Press, 1995, http://www.research.att.com/njas/sequences/.
14. K. Stobie, "Model based testing in practice at microsoft," Electronic Notes in Theoretical Computer Science, vol. 111, 2005.
15. S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov, "Parallel test generation and execution with Korat," in Proc. 6th joint meeting of the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE), 2007.
16. W. Visser, C. S. Pasareanu, and S. Khurshid, "Test input generation with Java PathFinder," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.
17. W. Visser, C. S. Pasareanu, and R. Pelanek, "Test input generation for red-black trees using abstraction," in Proc. 20th International Conference on Automated Software Engineering (ASE), 2005.
18. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, "Model checking programs," Automated Software Engineering, vol. 10, no. 2, 2003.
19. "JPF home page," http://babelfish.arc.nasa.gov/trac/jpf/.
20. "JGraphT home page," http://jgrapht.sourceforge.net/.
21. B. Liskov and J. Guttag, Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
22. C. Csallner and Y. Smaragdakis, "JCrasher: An automatic robustness tester for Java," Software Practice and Experience, vol. 34, no. 11, 2004.
23. C. Pacheco and M. D. Ernst, "Eclat: Automatic generation and classification of test inputs," in Proc. 19th European Conference on Object-Oriented Programming (ECOOP), 2005.
24. T. Xie, D. Marinov, and D. Notkin, "Rostra: A framework for detecting redundant object-oriented unit tests," in Proc. 19th International Conference on Automated Software Engineering (ASE), 2004.
25. S. Khurshid, C. Pasareanu, and W. Visser, "Generalized symbolic execution for model checking and testing," in Proc. 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2003.
26. W. Visser, C. S. Pasareanu, and R. Pelanek, "Test input generation for red-black trees using abstraction." in Proc. 20th International Conference on Automated Software Engineering (ASE), 2005.
27. W. Visser, C. S. Pasareanu, and S. Khurshid, "Test input generation with Java PathFinder," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.
28. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, " Feedbackdirected random test generation," in Proc. 29th International Conference on Software Engineering (ICSE), 2007.
29. M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst, "An empirical comparison of automated generation and classification techniques for object-oriented unit testing," in Proc. 21st International Conference on Automated Software Engineering (ASE), 2006.
30. S. Thummalapenta, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte, "MSeqGen: Object-oriented unit-test generation via mining source code," in Proc. 7th joint meeting of the European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2009.
31. P. Tonella, "Evolutionary testing of classes," in Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.