Testing Methods for Circus: a combination of Z and

Cavalcanti, Ana Lucia Caneca (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/11/06 → 31/10/08

Funding

THE ROYAL SOCIETY: £12,000.00

1 Article

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