Automated Static Analysis of Equation-Based Components.

Peter Bunus Peter Fritzson

Published in: Simul. (2004)

Keyphrases

static analysis
dynamic analysis
source code
java card
symbolic execution
abstract interpretation
regular expressions
test suite
building blocks
reverse engineering
malicious code
data sets
software development
object oriented