Abstraction refinement via inductive learning

Abstract

This paper concerns how to automatically create abstractions for program analysis. We show that inductive learning, the goal of which is to identify general rules from a set of observed instances, provides new leverage on the problem. An advantage of an approach based on inductive learning is that it does not require the use of a theorem prover. © Springer-Verlag Berlin Heidelberg 2005.