Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.

Published in: ESOP (2011)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
high level programming language
regular expressions
java card
api calls
test generation
embedded systems
parallel implementation
training data
open source