@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
Author(s): | Bernhard Beckert, Christoph Gladisch, Shmuel Tyszberowicz, and Amiram Yehudai |
---|---|
Journal: | International Journal of Systems Assurance Engineering and Management |
Publisher: | Springer India |
Issue: | 2 |
Volume: | 2 |
Year: | 2011 |
Pages: | 97-113 |
URL: | https://dx.doi.org/10.1007/s13198-011-0068-3 |