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

DOI10.1007/11759744_14zbMath1183.68175OpenAlexW1515279132MaRDI QIDQ3434613

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

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 specificationsunfoldingselection criteriaspecification-based testingconditional rewritingproof tree normalization

Mathematics Subject Classification ID

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

Related Items (3)

Some general results about proof normalization ⋮ Proof-guided test selection from first-order specifications with equality ⋮ Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Uses Software

• Haskell
• GATeL
• QuickCheck

Cites Work

• Behavioural and abstractor specifications
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item

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