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.
Abstract is missing.