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

Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai

Browse the full TAP paper archive.