Department of Computer Science

Testing for Circus

Over more than a decade now, we have explored the possibility of using Circus models as a basis for automatic test generation. Work has covered testing from CSP as a basis to study the more complex Circus context. In all cases, our conformance relation is some form of refinement, and a particular challenge has been the treatment of inputs and outputs in CSP that capture their differentiated causality.

Publications:

(Top of the page)

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599