Universal symbolic execution and its application to likely data structure invariant generation.

Yamini Kannan Koushik Sen

Published in: ISSTA (2008)

Keyphrases

symbolic execution
data structure
static analysis
test data generation
source code
test generation
specification language
data flow
database systems
generation algorithm
open source
distributed systems
quality assurance