KeYGenU: Combining Verification-Based and Capture and Replay Techniques for Regression Unit Testing

Zeitschriftenartikel

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:http://dx.doi.org/10.1007/s13198-011-0068-3

BibTeX

@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 = {http://dx.doi.org/10.1007/s13198-011-0068-3},
   year = {2011},
   month = sep
}