Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.

David W. Binkley Mark Harman Jens Krinke

Published in: SCAM (2006)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
test generation
regular expressions
symbolic execution
computer graphics
abstract interpretation
data sets
data mining
training data
open source