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

DOI10.1007/978-3-540-73770-4_12zbMath1196.68125OpenAlexW1556995871MaRDI QIDQ5423871

Christoph D. Gladisch, Bernhard Beckert

Publication date: 31 October 2007

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73770-4_12

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

KeY: A Formal Method for Object-Oriented Systems, Could We Have Chosen a Better Loop Invariant or Method Contract?

Uses Software

• Symstra
• Daikon
• Korat
• KeY