Optimizing constraint solving to better support symbolic execution

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

Volumn , Issue , 2011, Pages 310-315

  Erete, Ikpeme ^a   Orso, Alessandro ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Constraint solving; Symbolic execution

Indexed keywords

BLACK BOXES; CONSTRAINT SOLVERS; CONSTRAINT SOLVING; CONTEXTUAL INFORMATION; DYNAMIC SYMBOLIC EXECUTIONS; INTEGRAL PART; OPTIMIZATION STRATEGY; REAL SOFTWARES; SYMBOLIC EXECUTION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE TESTING;

OPTIMIZATION;

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

References (8)

1. C. Barrett and C. Tinelli. Cvc: A Cooperating Validity Checker. In Proceedings of CAV 2002, pages 500- 504, 2002.
2. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex System Programs. In In Proceedings of Usenix SOSDI 2008, pages 209-224, 2008.
3. L. De Moura and N. Bjørner. Z3: An Efficient SMT Solver. In Proceedings of TACAS 2008, pages 337- 340, 2008.
4. J. E. Forrester and B. P. Miller. An Empirical Study of the Robustness of Windows NT Applications Using Random Testing. In In Proceedings of the Usenix Windows System Symposium, pages 59-68, 2000.
5. P. Godefroid, M. Y. Levin, and D. Molnar. Automated Whitebox Fuzz Testing. In Proceedings of NDSS 2008, 2008.
6. K. Jayaraman, D. Harvison, V. Ganesh, and A. Kietzun. JFuzz: A Concolic Whitebox Fuzzer for Java. In NASA Formal Methods Symposium, pages 121-125, 2009.
7. J. C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, 1976.
8. K. Sen, D. Marinov, and G. Agha. Cute: A Concolic Unit Testing Engine for C. In In Proceedings of ESEC-FSE 2005, pages 263-272, 2005. (Pubitemid 43218836)