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