Extended institutions for testing

DOI10.1007/3-540-45499-3_36MaRDI QIDQ2767201zbMATH OpenFDO

Authors Marielle Doche, Virginie Wiels

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_36

zbMATH Keywords

category theoryformal specificationfunctional test generationinstitutions

Mathematics Subject Classification ID

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

Recommendations

• Institutions: abstract model theory for specification and programming
• Institutions: An abstract framework for formal specifications
• scientific article; zbMATH DE number 3864486
• scientific article; zbMATH DE number 3999262
• Testing from formal specifications, a generic approach

Cited in

(1)

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

This page was built for publication: Extended institutions for testing

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