Looking Closer at Compositional Symbolic Execution.

Yude Lin Tim Miller

Published in: ASWEC (2) (2015)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
genetic algorithm
artificial intelligence
formal specification
database
real world
case study
query language