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

• scientific article; zbMATH DE number 1696911
• scientific article; zbMATH DE number 1617313
• 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
• scientific article; zbMATH DE number 1706341
• A first step in the design of a formally verified constraint-based testing tool: FocalTest

Cited in

(10)

• A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• scientific article; zbMATH DE number 1617313 (Why is no real title available?)
• Testing-based formal verification for theorems and its application in software specification verification
• scientific article; zbMATH DE number 1696911 (Why is no real title available?)
• scientific article; zbMATH DE number 1929964 (Why is no real title available?)
• scientific article; zbMATH DE number 1755148 (Why is no real title available?)
• A testing perspective on algebraic, denotational, and operational semantics
• Towards property oriented testing
• Specification-Based Testing for CoCasl’s Modal 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)