Staged symbolic execution

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2012, Pages 1339-1346

  Siddiqui, Junaid Haroon ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALL-AT-ONCE; BUG FINDING; CLASS INVARIANTS; COMPUTATION POWER; CONSTRAINT SOLVING; EXPERIMENTAL EVALUATION; OBJECT-ORIENTED PROGRAM; SYMBOLIC EXECUTION; SYMBOLIC TEST; SYSTEMATIC TESTING;

COMPUTATION THEORY;

PROGRAM DEBUGGING;

EID: 84863580203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2245276.2231988     Document Type: Conference Paper

References (25)

1. V. Adve et al. LLVA: A Low-level Virtual Instruction Set Architecture. In Proc. MICRO-36, 2003.
2. S. Anand et al. Symbolic Execution with Abstraction. Int. J. Softw. Tools Technol. Transf., 11, 2009.
3. C. Boyapati et al. Korat: Automated Testing based on Java Predicates. In Proc. ISSTA, 2002.
4. W. R. Bush et al. A Static Analyzer for Finding Dynamic Programming Errors. Softw. Pract. Exper., 30(7), 2000.
5. C. Cadar and D. Engler. Execution Generated Test Cases: How to make systems code crash itself. In Proc. SPIN, 2005.
6. C. Cadar et al. EXE: Automatically Generating Inputs of Death. In Proc. CCS, 2006.
7. C. Cadar et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proc. OSDI, 2008.
8. L. A. Clarke. Test Data Generation and Symbolic Execution of Programs as an aid to Program Validation. PhD thesis, University of Colorado at Boulder, 1976.
9. B. Daniel et al. Automated Testing of Refactoring Engines. In Proc. ESEC/FSE, 2007.
10. H. Do and G. Rothermel. On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques. IEEE Trans. Softw. Eng., 32, 2006.
11. J. P. Galeotti et al. Analysis of Invariants for Efficient Bounded Verification. In Proc. ISSTA, 2010.
12. M. Gligoric et al. Test Generation through Programming in UDITA. In Proc. ICSE, 2010.
13. P. Godefroid. Compositional Dynamic Test Generation. In Proc. POPL, 2007.
14. P. Godefroid et al. DART: Directed Automated Random Testing. In Proc. PLDI, 2005.
15. P. Godefroid et al. Automated Whitebox Fuzz Testing. In Proc. NDSS, 2008.
16. D. Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, 2006.
17. S. Khurshid et al. Generalized Symbolic Execution for Model Checking and Testing. In Proc. TACAS, 2003.
18. J. C. King. Symbolic Execution and Program Testing. Commun. ACM, 19(7), 1976.
19. D. Marinov and S. Khurshid. TestEra: A Novel Framework for Automated Testing of Java Programs. In Proc. ASE, 2001.
20. J. Offutt et al. An Experimental Mutation System for Java. SIGSOFT Softw. Eng. Notes, 29(5), 2004.
21. K. Sen et al. CUTE: A Concolic Unit Testing Engine for C. In Proc. ESEC/FSE, 2005.
22. D. Shao et al. Whispec: White-box Testing of Libraries using Declarative Specifications. In Proc. LCSD, 2007.
23. K. Sullivan et al. Software Assurance by Bounded Exhaustive Testing. In Proc. ISSTA, 2004.
24. N. Tillmann and J. De Halleux. Pex: White box Test Generation for. NET. In Proc. TAP, 2008.
25. W. Visser et al. Model Checking Programs. Automated Softw. Eng. J., 10(2), 2003.