An Interval-Based Solution for Static Analysis in the SIGNAL Language.

Abdoulaye Gamatié Thierry Gautier Loïc Besnard

Published in: ECBS (2008)

Keyphrases

static analysis
dynamic analysis
source code
natural language
programming language
regular expressions
test suite
java card
symbolic execution
abstract interpretation
high level
data model