Putting static analysis to work for verification: A case study.

Tal Lev-Ami Thomas W. Reps Shmuel Sagiv Reinhard Wilhelm

Published in: ISSTA (2000)

Keyphrases

static analysis
symbolic execution
java card
test generation
dynamic analysis
source code
malicious code
case study
model checking
abstract interpretation
regular expressions
test bed
domain knowledge
databases
signature verification