Testing from structured algebraic specifications: the \textsc{Veritas} case study

MaRDI QIDQ2848448zbMATH OpenFDO

Authors Patricia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002239

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Testing from structured algebraic specifications
• The rôle of normalisation in testing from structured algebraic specifications
• A testing perspective on algebraic, denotational, and operational semantics
• Testing-based formal verification for theorems and its application in software specification verification
• Testing algebraic data types and processes: A unifying theory
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Testing from formal specifications, a generic approach
• A first step in the design of a formally verified constraint-based testing tool: FocalTest

Cited in

(10)

• A testing perspective on algebraic, denotational, and operational semantics
• The rôle of normalisation in testing from structured algebraic specifications
• Testing from structured algebraic specifications
• Testing-based formal verification for theorems and its application in software specification verification
• Towards property oriented testing
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Specification-Based Testing for CoCasl’s Modal Specifications
• Optimising enabling tests and unfoldings of algebraic system nets
• Unit testing for CASL architectural specifications
• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications

This page was built for publication: Testing from structured algebraic specifications: the \textsc{Veritas} case study

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