Sign in

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs.

Matthieu JournaultAntoine Miné
Published in: SAS (2016)
Keyphrases
  • abstract interpretation
  • static analysis
  • symbolic execution
  • dynamic analysis
  • source code
  • termination analysis
  • test generation
  • regular expressions
  • information systems
  • test suite
  • open source
  • distributed databases