Testing from structured algebraic specifications

DOI10.1007/3-540-45499-3_37MaRDI QIDQ2767202zbMATH OpenFDO

Authors Patricia D. L. Machado

Publication date 28 January 2002

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

Full work available at URL https://doi.org/10.1007/3-540-45499-3_37

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• The rôle of normalisation in testing from structured algebraic specifications
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Testing from formal specifications, a generic approach
• Testing can be formal, too
• Testing algebraic data types and processes: A unifying theory

Cited in

(13)

• Testing algebraic data types and processes: A unifying theory
• A testing perspective on algebraic, denotational, and operational semantics
• The rôle of normalisation in testing from structured algebraic specifications
• Testing from formal specifications, a generic approach
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Integration Testing from Structured First-Order Specifications via Deduction Modulo
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• scientific article; zbMATH DE number 1755148 (Why is no real title available?)
• Testing can be formal, too
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Theoretical Aspects of Computing - ICTAC 2004
• Proof-guided test selection from first-order specifications with equality
• Algebraic method for generation of locally trivial tests

This page was built for publication: Testing from structured algebraic specifications

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