Specification Coverage for Testing in Circus

Ana Cavalcanti, Marie-Claude Gaudel

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	1-45
Publication status	Published - 2010

Access to Document

http://dx.doi.org/10.1007/978-3-642-16690-7_1

Other files and links

Link to publication in Scopus

ProCLaws: Programming from Control Laws
CAVALCANTI, A. L. C. (Principal investigator)
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research

Cite this