Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

DOI10.1007/11759744_14MaRDI QIDQ3434613zbMATH OpenOpenAlexFDO

Authors Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre

Publication date 2 May 2007

Published in Formal Approaches to Software Testing (Search for Journal in Brave)

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

zbMATH Keywords

algebraic specificationsconditional rewritingproof tree normalizationselection criteriaspecification-based testingunfolding

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1696911
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Testing algebraic data types and processes: A unifying theory
• scientific article; zbMATH DE number 1617313
• A testing perspective on algebraic, denotational, and operational semantics
• A formal notion of program-based test data adequacy
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• scientific article; zbMATH DE number 1706341

Cites work

• Behavioural and abstractor specifications
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1696910 (Why is no real title available?)
• scientific article; zbMATH DE number 1696911 (Why is no real title available?)
• scientific article; zbMATH DE number 1929964 (Why is no real title available?)
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Cited in

(8)

• Testing algebraic data types and processes: A unifying theory
• Some general results about proof normalization
• scientific article; zbMATH DE number 1617313 (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
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• scientific article; zbMATH DE number 1755148 (Why is no real title available?)
• Proof-guided test selection from first-order specifications with equality

Describes a project that uses

Uses Software

• Haskell
• GATeL
• QuickCheck

This page was built for publication: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

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