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.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599