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

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Christoph Gladisch
In:Proceedings, International Conference on Tests and Proofs (TAP 2007), Zürich, Switzerland
Publisher:Springer
Series:LNCS 4454
Year: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}
}