@article{beckertGladischEtAl2011,
author = {Bernhard Beckert and Christoph Gladisch and Shmuel Tyszberowicz and Amiram Yehudai},
title = {{\KeY}GenU: Combining Verification-Based and Capture and Replay Techniques for Regression Unit Testing},
journal = {International Journal of Systems Assurance Engineering and Management},
publisher = {Springer India},
pages = {97--113},
volume = {2},
issue = {2},
url = {https://dx.doi.org/10.1007/s13198-011-0068-3},
year = {2011},
month = sep
}
KeYGenU: Combining Verification-Based and Capture and Replay Techniques for Regression Unit Testing
| Autor(en): | Bernhard Beckert, Christoph Gladisch, Shmuel Tyszberowicz und Amiram Yehudai |
|---|---|
| Zeitschrift: | International Journal of Systems Assurance Engineering and Management |
| Verleger: | Springer India |
| Ausgabe: | 2 |
| Band: | 2 |
| Jahr: | 2011 |
| Seiten: | 97-113 |
| URL: | https://dx.doi.org/10.1007/s13198-011-0068-3 |