Static Analysis of SEU Effects on Software Applications.

Alfredo Benso Stefano Di Carlo Giorgio Di Natale Paolo Prinetto

Published in: ITC (2002)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
java card
software systems
test suite
abstract interpretation
regular expressions
test generation
decision trees
symbolic execution
training data
test cases