On Synergy of Metal, Slicing, and Symbolic Execution

Jiri Slaby Jan Strejcek Marek Trtík

Published in: CoRR (2012)

Keyphrases

open source
symbolic execution
source code
static analysis
test generation
test data generation
specification language
data sets
data flow
database