Formal Approaches to Software Testing

DOI10.1007/b106767zbMath1081.68672OpenAlexW2502633158MaRDI QIDQ5710649

Achim D. Brucker, Burkhart Wolff

Publication date: 2 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106767

zbMATH Keywords

theorem provingIsabelle/HOLblack box testingsymbolic test case generations

Mathematics Subject Classification ID

Related Items (2)

On theorem prover-based testing ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Uses Software

• HOL-OCL
• QuickCheck
• Java PathFinder

This page was built for publication: Formal Approaches to Software Testing