Static analysis to mitigate soft errors in register files.

Jongeun Lee Aviral Shrivastava

Published in: DATE (2009)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
file system
regular expressions
test generation
metadata
databases
database