Leesa Murray, David A. Carrington, Ian MacColl, Jason McDonald, Paul A. Strooper. Formal Derivation of Finite State Machines for Class Testing. In Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, editors, ZUM 98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings. Volume 1493 of Lecture Notes in Computer Science, pages 42-59, Springer, 1998.
@inproceedings{MurrayCMMS98,
title = {Formal Derivation of Finite State Machines for Class Testing},
author = {Leesa Murray and David A. Carrington and Ian MacColl and Jason McDonald and Paul A. Strooper},
year = {1998},
tags = {testing, state machines},
researchr = {https://researchr.org/publication/MurrayCMMS98},
cites = {0},
citedby = {0},
pages = {42-59},
booktitle = {ZUM 98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings},
editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey},
volume = {1493},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65070-9},
}