scientific article
From MaRDI portal
Publication:2722044
zbMATH Open0966.68139MaRDI QIDQ2722044
Publication date: 11 July 2001
Title of this publication is not available (Why is that?)
Related Items (6)
Title not available (Why is that?) ⋮ A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications ⋮ A testing perspective on algebraic, denotational, and operational semantics ⋮ Theorem Proving in Higher Order Logics ⋮ Testing from structured algebraic specifications: the \textsc{Veritas} case study ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
Recommendations
- Testing algebraic data types and processes: A unifying theory 👍 👎
- A testing perspective on algebraic, denotational, and operational semantics 👍 👎
- Testing from structured algebraic specifications: the \textsc{Veritas} case study 👍 👎
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2722044)
