Specification Coverage for Testing in Circus
From MaRDI portal
Publication:3055737
DOI10.1007/978-3-642-16690-7_1zbMath1309.68040OpenAlexW13548387MaRDI QIDQ3055737
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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Specification Coverage for Testing in Circus