White-box Testing by Combining Deduction-based Specification Extraction and Black-box Testing

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert und Christoph Gladisch
In:Proceedings, International Conference on Tests and Proofs (TAP 2007), Zürich, Switzerland
Verleger:Springer
Reihe:LNCS 4454
Jahr:2007

BibTeX

@InProceedings{BeckertGladisch2007,
  author =       {Bernhard Beckert and Christoph Gladisch},
  title =        {White-box Testing by Combining Deduction-based Specification Extraction and 
                  Black-box Testing},
  booktitle =    {Proceedings, International Conference on Tests and Proofs (TAP 2007), 
                  Z\"urich, Switzerland},
  editor =       {B. Meyer and Y. Gurevich},
  publisher =    {Springer},
  series =       {LNCS 4454},
  year =         {2007}
}