Compositional Symbolic Execution: Incremental Solving Revisited.

Yude Lin Tim Miller Harald Søndergaard

Published in: APSEC (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
web services