Compositional Symbolic Execution Using Fine-Grained Summaries.

Yude Lin Tim Miller Harald Søndergaard

Published in: ASWEC (2015)

Keyphrases

fine grained
symbolic execution
test generation
static analysis
coarse grained
test data generation
specification language
source code
access control
tightly coupled
data flow
test cases
simulated annealing algorithm
business rules
formal specification