@InProceedings{BeckertGladischTyszberowiczYehudai2010,
author = {Bernhard Beckert and Christoph Gladisch and
Shmuel Tyszberowicz and Amiram Yehudai},
title = {Generating Regression Unit Tests using a Combination of
Verification and Capture \& Replay},
editor = {Gordon Fraser and Angelo Gargantini},
booktitle = {Fourth International Conference on Tests and Proofs ({TAP} 2010)},
publisher = {Springer},
series = {LNCS},
volume = {6143},
pages = {61--76},
year = {2010},
month = jul,
venue = {Malaga, Spain}
}
