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

@InProceedings{BeckertGladisch2007,
  author    =    {Bernhard Beckert and Christoph Gladisch},
  title     =    {White-box Testing by Combining Deduction-based Specification Extraction and 
                  Black-box Testing},
  booktitle =    {First International Conference on Tests and Proofs ({TAP} 2007), Revised Papers},
  editor    =    {Bertrand Meyer and Yuri Gurevich},
  publisher =    {Springer},
  venue     =    {Z{\"u}rich, Switzerland},
  series    =    {LNCS},
  volume    =    {4454},
  eventdate =    {2007-02-12/2007-02-13},
  month     =    feb,
  year      =    {2007},
  doi       =    {10.1007/978-3-540-73770-4_12}
}