The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more.
Martin HentschelRichard BubelReiner HähnlePublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- symbolic execution
- test generation
- static analysis
- test data generation
- specification language
- source code
- data flow
- software testing
- programming language
- test cases
- parallel programming
- description language
- simulated annealing algorithm
- neural network
- formal specification
- software systems
- simulated annealing
- evolutionary algorithm