Sign in

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

Abdoulaye GamatiéThierry GautierLoï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