Specification-Based Testing for CoCasl’s Modal Specifications

DOI10.1007/978-3-540-73859-6_24MaRDI QIDQ3612500zbMATH OpenOpenAlexFDO

Authors Delphine Longuet, Marc Aiguier

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_24

zbMATH Keywords

axiom unfoldingcoalgebraic specificationsCoCaslmodal logicspecification-based testing

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1706341
• scientific article; zbMATH DE number 2084350
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Specification for Testing
• Symbolic Model-based Test Selection

Cited in

(5)

• Some general results about proof normalization
• scientific article; zbMATH DE number 2084350 (Why is no real title available?)
• scientific article; zbMATH DE number 1487947 (Why is no real title available?)
• scientific article; zbMATH DE number 1929964 (Why is no real title available?)
• White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

Describes a project that uses

Uses Software

• CoCasl

This page was built for publication: Specification-Based Testing for CoCasl’s Modal Specifications

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