Test-Data Generation for Control Coverage by Proof

A. L. C. Cavalcanti, S. King, C. O'Halloran, J. C. P. Woodcock

Computer Science

Research output: Contribution to journal › Article › peer-review

4 results

Finished

Wolfson Research Merit Award - Ana Cavalcanti
Cavalcanti, A. L. C.
THE ROYAL SOCIETY
1/10/12 → 30/09/17
Project: Research project (funded) › Research
Model-based Testing for refinement, state and interaction
Cavalcanti, A. L. C.
THE ROYAL SOCIETY
25/03/12 → 24/03/14
Project: Research project (funded) › Research
ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C.
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research
Testing Methods for Circus: a combination of Z and
Cavalcanti, A. L. C.
THE ROYAL SOCIETY
1/11/06 → 31/10/08
Project: Research project (funded) › Research