On the Nature of Symbolic Execution
- 23 September 2019
- book chapter
- Published by Springer Nature
- p. 64-80
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A generic framework for symbolic execution: A coinductive approachJournal of Symbolic Computation, 2017
- Deductive Software Verification – The KeY Book2016
- Symbolic execution of programs with heap inputs2015
- Symbolic Memory with PointersLecture Notes in Computer Science, 2014
- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency2014
- ABS: A Core Language for Abstract Behavioral Specification2011
- SnugglebugACM SIGPLAN Notices, 2009
- A Complete Guide to the Future2007
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution2005
- Symbolic execution and program testingCommunications of the ACM, 1976