Publication Date:
2010
abstract:
We present a tool which performs abstract interpretation based static analysis of numerical variables. The novelty is that the analysis is parametric, and parameters are chosen by applying a variant of principal component analysis to partial execution traces of programs.
Iris type:
1.1 Articolo in rivista
List of contributors:
Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Published in: