Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis.

Isil Dillig Thomas Dillig Alex Aiken

Published in: SAS (2010)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
multiresolution
java card
regular expressions
test generation
test suite