Lazy counterfactual symbolic execution.

William T. Hallahan Anton Xue Maxwell Troy Bland Ranjit Jhala Ruzica Piskac

Published in: PLDI (2019)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
test cases
real world
databases
programming language
particle swarm optimization
simulated annealing algorithm