Generating Abstract Explanations of Spurious Counterexamples in C Programs (2002)

by T Ball, S Rajamani