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

DOI10.1007/978-3-540-73770-4_12MaRDI QIDQ5423871zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Christoph D. Gladisch

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

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

Recommendations

• Test specification based on trace description
• scientific article; zbMATH DE number 2090141
• Testing can be formal, too
• Specification-Based Testing for CoCasl’s Modal Specifications
• scientific article; zbMATH DE number 2084350

Cited in

(3)

• scientific article; zbMATH DE number 5734815 (Why is no real title available?)
• Could We Have Chosen a Better Loop Invariant or Method Contract?
• KeY: A Formal Method for Object-Oriented Systems

Describes a project that uses

Uses Software

• Daikon
• Symstra
• Korat
• KeY

This page was built for publication: White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423871)