systematic-testing.com

Specification-based Testing

This page contains papers related to the topic of specification-based testing. In particular, the automatic generation of test cases based on formal and graphical specifications.

Much of this work was carried out at the University of York with the support of Rolls-Royce Plc.