Memoized symbolic execution

2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings

Volumn , Issue , 2012, Pages 144-154

  Yang, Guowei ^a   Pǎsǎreanu, Corina S ^b   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Constraint Solving; Incremental Analysis; Symbolic Execution; Trie Data Structure

Indexed keywords

CONSTRAINT SOLVING; EXECUTION PATHS; INCREMENTAL ANALYSIS; ITERATIVE DEEPENING; KEY ELEMENTS; PROGRAM BEHAVIOR; PROTOTYPE IMPLEMENTATIONS; RE-COMPUTING; SYMBOLIC EXECUTION; SYSTEMATIC EXPLORATION; TRIE-BASED DATA STRUCTURES;

REGRESSION ANALYSIS; SOFTWARE TESTING;

DATA STRUCTURES;

EID: 84865289220     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/04000800.2336771     Document Type: Conference Paper

References (29)

1. SMT-COMP 2011. http://www.smtcomp.org/2011/.
2. Java PathFinder Tool-set. http://babelfish.arc.nasa.gov/trac/jpf.
3. SIR Repository. http://sir.unl.edu.
4. S. Anand, P. Godefroid, and N. Tillmann. Demand-driven compositional symbolic execution. In TACAS, pages 367-381, 2008.
5. D. Balasubramanian, C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. R. Lowry. Polyglot: modeling and analysis for multiple statechart formalisms. In ISSTA, pages 45-55, 2011.
6. C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209-224, 2008.
7. L. A. Clarke. A program testing system. In Proc. of the 1976 annual conference, ACM '76, pages 488-491, 1976.
8. E. Fredkin. Trie memory. Commun. ACM, 3:490-499, September 1960.
9. P. Godefroid. Compositional dynamic test generation. In POPL, pages 47-54, 2007.
10. P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI, pages 213-223, 2005.
11. P. Godefroid and D. Luchaup. Automatic partial loop summarization in dynamic test generation. In ISSTA, pages 23-33, 2011.
12. P. Godefroid, A. V. Nori, S. K. Rajamani, and S. D. Tetali. Compositional may-must program analysis: unleashing the power of alternation. In POPL, pages 43-56, 2010.
13. K. Inkumsah and T. Xie. Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution. In ASE, pages 297-306, 2008.
14. A. Joshi and M. P. E. Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In SAFECOMP, volume 3688 of LNCS, pages 122-135, September 2005.
15. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
16. S. Lauterburg, A. Sobeih, D. Marinov, and M. Viswanathan. Incremental state-space exploration for programs with dynamically allocated data. In ICSE, pages 291-300, 2008.
17. S. Person, G. Yang, N. Rungta, and S. Khurshid. Directed incremental symbolic execution. In PLDI, pages 504-515, 2011.
18. C. S. Pǎsǎreanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In ISSTA, pages 15-25, 2008.
19. C. S. Pǎsǎreanu and N. Rungta. Symbolic PathFinder: symbolic execution of Java bytecode. In ASE, pages 179-180, 2010.
20. SAE-ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International, December 1996.
21. D. Saff and M. D. Ernst. Continuous testing in eclipse. In ICSE, pages 668-669, 2005.
22. K. Sen and G. Agha. Cute and jcute: Concolic unit testing and explicit path model-checking tools. In CAV, pages 419-423, 2006.
23. S. F. Siegel, A. Mironova, G. S. Avrunin, and L. A. Clarke. Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol., 17(2), 2008.
24. M. Souza, M. Borges, M. d'Amorim, and C. S. Pǎsǎreanu. Coral: solving complex constraints for Symbolic PathFinder. In NFM, pages 359-374, 2011.
25. M. Staats and C. S. Pasareanu. Parallel symbolic execution for structural test generation. In ISSTA, pages 183-194, 2010.
26. A. Taleghani and J. M. Atlee. Search-carrying code. In ASE, pages 367-376, 2010.
27. M. W. Whalen, P. Godefroid, L. Mariani, A. Polini, N. Tillmann, and W. Visser. Fite: future integrated testing environment. In FoSER, pages 401-406, 2010.
28. D. E. Willard. New trie data structures which support very fast search operations. J. Comput. Syst. Sci., 28:379-394, July 1984.
29. G. Yang, M. B. Dwyer, and G. Rothermel. Regression model checking. In ICSM, pages 115-124, 2009.