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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Christoph Gladisch, Shmuel Tyszberowicz und Amiram Yehudai
In:Fourth International Conference on Tests and Proofs (TAP 2010)
Verleger:Springer
Reihe:LNCS
Band:6143
Jahr:2010
Seiten:61-76

BibTeX

@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,
  place =        {Malaga, Spain}
}