Observable Runtime Behavior for Defects Indicated by Automated Static Analysis.

Klaus Wolfmaier Rudolf Ramler Gábor Guta Heinz Dobler

Published in: EUROCAST (2009)

Keyphrases

static analysis
dynamic analysis
source code
reverse engineering
regular expressions
java card
malicious code
test suite
symbolic execution
abstract interpretation
test generation
real world
case study
test cases
pattern matching