Skip to main content
Conference Proceedings

A tool which mines partial execution traces to improve static analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010) 6418 LNCS 475-479
DOI: 10.1007/978-3-642-16612-9_37
11Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

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. © 2010 Springer-Verlag.

Cite

CITATION STYLE

APA

Amato, G., Parton, M., & Scozzari, F. (2010). A tool which mines partial execution traces to improve static analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6418 LNCS, pp. 475–479). https://doi.org/10.1007/978-3-642-16612-9_37

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free