Login / Signup
Redundant State Detection for Dynamic Symbolic Execution.
Suhabe Bugrara
Dawson R. Engler
Published in:
USENIX Annual Technical Conference (2013)
Keyphrases
</>
symbolic execution
source code
evolutionary algorithm
static analysis
test data generation
optimal solution
search algorithm