Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay