Automating Regression Verification. - Dennis Felsing; Sarah Grebing; Vladimir Klebanov; Philipp Rümmer; Mattias Ulbrich (Software Engineering & Management, 2015)