@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}
}
