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

zbMATH Open1272.68283MaRDI QIDQ2848448FDOQ2848448

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Testing-based formal verification for theorems and its application in software specification verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)