Unit testing for CASL architectural specifications

DOI10.1007/3-540-45687-2_42MaRDI QIDQ4708599zbMATH OpenFDO

Authors Patricia D. L. Machado, Donald Sannella

Publication date 18 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2420/24200506.htm

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Architectural specifications in CASL
• Verifying generative Casl architectural specifications.
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Specification-Based Testing for CoCasl’s Modal Specifications
• Verifying architectural specifications

Cited in

(2)

• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Proof-guided test selection from first-order specifications with equality

Describes a project that uses

Uses Software

• CASL

This page was built for publication: Unit testing for CASL architectural specifications

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