John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk: Regression Verification Using Impact Summaries. SPIN 2013: 99-116