The rôle of normalisation in testing from structured algebraic specifications

DOI10.1007/978-3-540-44616-3_26MaRDI QIDQ2722044zbMATH OpenFDO

Authors Patricia D. L. Machado

Publication date 11 July 2001

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

Full work available at URL https://doi.org/10.1007/978-3-540-44616-3_26

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1696911
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• A testing perspective on algebraic, denotational, and operational semantics
• scientific article; zbMATH DE number 1706341
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Testing algebraic data types and processes: A unifying theory
• scientific article; zbMATH DE number 1755148

Cited in

(9)

• On normal forms for structured specifications with generating constraints
• A testing perspective on algebraic, denotational, and operational semantics
• scientific article; zbMATH DE number 1696911 (Why is no real title available?)
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• 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
• Theorem Proving in Higher Order Logics

This page was built for publication: The rôle of normalisation in testing from structured algebraic specifications

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