Static Analysis of the Accuracy in Control Systems: Principles and Experiments.

Eric Goubault Sylvie Putot Philippe Baufreton Jean Gassino

Published in: FMICS (2007)

Keyphrases

static analysis
dynamic analysis
control system
high accuracy
source code
symbolic execution
regular expressions
java card
abstract interpretation
databases
relational databases
classification accuracy
building blocks
client server
malicious code
test case generation