Sign in
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.
Matthew B. Dwyer
Rahul Purandare
Published in:
ASE (2007)
Keyphrases
</>
dynamic analysis
static analysis
source code
reverse engineering
symbolic execution
malicious code
abstract interpretation
regular expressions
test generation
malicious behavior
model checking
java card
data integration
test suite