Model-based Testing for refinement, state and interaction

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	25/03/12 → 24/03/14

Test-Data Generation for Control Coverage by Proof
Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014, In: Formal Aspects of Computing. 26, 4, p. 795-823 29 p.
Research output: Contribution to journal › Article › peer-review
Conformance Relations for Distributed Testing based on CSP
Cavalcanti, A. L. C., 2011, IFIP International Conference on Testing Software and Systems. Vol. 7019 LNCS. p. 48-63 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details