Loop Invariant Symbolic Execution for Parallel Programs.
Stephen F. SiegelTimothy K. ZirkelPublished in: VMCAI (2012)
Keyphrases
- symbolic execution
- static analysis
- test generation
- test data generation
- specification language
- source code
- data flow
- regular expressions
- test cases
- simulated annealing algorithm
- formal specification
- programming language
- monitoring system
- databases
- description language
- optimization algorithm
- data model
- neural network