Scalable compositional minimization via static analysis.

Fadi A. Zaraket Jason Baumgartner Adnan Aziz

Published in: ICCAD (2005)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
test generation
symbolic execution
java card
regular expressions
abstract interpretation
objective function
data sets
test suite
client server
database applications
query language
case study
real world
databases
database