Automating Regression Verification