White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.

Bernhard Beckert, Christoph Gladisch

Browse the full TAP paper archive.