Specification coverage for testing in Circus

DOI10.1007/978-3-642-16690-7_1MaRDI QIDQ3055737zbMATH OpenOpenAlexFDO

Authors Ana Cavalcanti, Marie-Claude Gaudel

Publication date 9 November 2010

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16690-7_1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Testing for refinement in \textsf{Circus}
• A UTP semantics for \textsf{Circus}
• FM 2005: Formal Methods
• Test selection for traces refinement
• A note on traces refinement and the conf relation in the unifying theories of programming

Cited in

(2)

• A note on traces refinement and the conf relation in the unifying theories of programming
• Test selection for traces refinement

This page was built for publication: Specification coverage for testing in Circus

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