QuickChecking Static Analysis Properties.

Jan Midtgaard Anders Møller

Published in: ICST (2015)

Keyphrases

static analysis
dynamic analysis
symbolic execution
java card
source code
test generation
database
data sets
database systems
test cases
integrity constraints