Login / Signup
Stratified Static Analysis Based on Variable Dependencies
David Monniaux
Julien Le Guen
Published in:
CoRR (2011)
Keyphrases
</>
static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
java card
abstract interpretation
case study
test suite
test generation