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
algebraic specificationsunfoldingselection criteriaspecification-based testingconditional rewritingproof tree normalization
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Uses Software
Cites Work
This page was built for publication: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms