Directed Symbolic Execution
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- A Decision Procedure for Bit-Vectors and ArraysPublished by Springer Science and Business Media LLC ,2007
- The set constraint/CFL reachability connection in practiceACM SIGPLAN Notices, 2004
- Directed explicit-state model checking in the validation of communication protocolsInternational Journal on Software Tools for Technology Transfer, 2004
- Trail-Directed Model CheckingElectronic Notes in Theoretical Computer Science, 2001
- Type-base flow analysisACM SIGPLAN Notices, 2001
- Scalable context-sensitive flow analysis using instantiation constraintsACM SIGPLAN Notices, 2000
- A General Axiom of AssignmentPublished by Springer Science and Business Media LLC ,1982
- Symbolic execution and program testingCommunications of the ACM, 1976
- Program testing techniques using simulated executionACM SIGSIM Simulation Digest, 1976
- SELECT—a formal system for testing and debugging programs by symbolic executionACM SIGPLAN Notices, 1975