Monadic Sequence Testing and Explicit Test-Refinements

DOI10.1007/978-3-319-41135-4_2zbMath1348.68216OpenAlexW2352263148MaRDI QIDQ2827440

Achim D. Brucker, Burkhart Wolff

Publication date: 19 October 2016

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

Full work available at URL: http://eprints.whiterose.ac.uk/99230/1/brucker.ea-monadic-sequence-testing-2016.pdf

zbMATH Keywords

HOL-TestGenmonadic sequence testing framework

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Uses Software

• Isabelle/HOL
• ETPS
• Symbolic automata
• HOL-TestGen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On theorem prover-based testing
• Foundations of set theory
• An introduction to mathematical logic and type theory: To truth through proof.
• Symbolic Automata: The Toolkit
• Conformance Relations for Labeled Event Structures
• Comprehending monads
• Symbolic Model-based Test Selection
• Minimization of symbolic automata
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• FM 2005: Formal Methods
• A formulation of the simple theory of types

This page was built for publication: Monadic Sequence Testing and Explicit Test-Refinements