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

Matthieu Journault Antoine 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