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.
- Simon Burton, Automated Generation of High Integrity Tests from Graphical Specifications, PhD Thesis, University of York, December 2001.
- Simon Burton, John Clark and John McDermid, Automated generation of tests from statechart specifications, Proceedings of formal approaches to testing software (FATES), August 2001.
- Simon Burton, John Clark, And Galloway and John McDermid, Automated V&V for high integrity systems: A targeted formal methods approach, Proceedings of the 5th NASA Langley formal methods workshop, Juni 2000.
- Simon Burton, John Clark and John McDermid Testing, proof and automation. An Integrated approach, Proceedings of the 1st international workshop on automated program analysis, testing and verification, Juni 2000.