All-values symbolic execution.

Giovanni Denaro

Published in: AST (2012)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
decision trees
source code
artificial intelligence
data flow
multi agent systems
object oriented
open source
test cases
specification language