Enhancing symbolic execution with veritesting
Authors:
Open Access
- 31 May 2014
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1083-1094
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Symbolic execution for software testingCommunications of the ACM, 2013
- SAGECommunications of the ACM, 2012
- A survey of new trends in symbolic execution for software testing and analysisInternational Journal on Software Tools for Technology Transfer, 2009
- State Joining and Splitting for the Symbolic Execution of Binaries2009
- Z3: An Efficient SMT Solver2008
- Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic SimulationInternational Journal of Parallel Programming, 2005
- Efficient weakest preconditionsInformation Processing Letters, 2005
- Software unit test coverage and adequacyACM Computing Surveys, 1997
- Symbolic execution and program testingCommunications of the ACM, 1976
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975