A testing perspective on algebraic, denotational, and operational semantics

DOI10.1007/978-3-030-31038-7_2MaRDI QIDQ2296283zbMATH OpenOpenAlexFDO

Authors Bernhard K. Aichernig

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-31038-7_2

zbMATH Keywords

model-based testingquickchecksemanticsSMT solvingsymbolic executiontest-case generationUnifying Theories of Programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1696911
• Testing algebraic data types and processes: A unifying theory
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Mathematical Foundations of Computer Science 2003
• scientific article; zbMATH DE number 1617313
• Decidability of logic program semantics and applications to testing
• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• Foundations of declarative testing in arbitrary logic programming

Cited in

(6)

• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• scientific article; zbMATH DE number 1617313 (Why is no real title available?)
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• scientific article; zbMATH DE number 1755148 (Why is no real title available?)
• Applying formal verification to an open-source real-time operating system

This page was built for publication: A testing perspective on algebraic, denotational, and operational semantics

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