Symbolic execution of multithreaded programs from arbitrary program contexts.

Tom Bergan Dan Grossman Luis Ceze

Published in: OOPSLA (2014)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
test cases
database
genetic algorithm
artificial intelligence
case study
software engineering
programming language
genetic programming
formal specification