References
- Chiu , F.P. 1994 . Formal specification of VLSI, MPhil Thesis , U.K. : University of Sheffield .
- Chow , T.S. 1978 . Testing software design modelled by finite state machines . IEEE Transactions on Software Engineering , 4 ( 3 ) : 178 – 187 .
- Eilenberg , S. Automata, languages and machines , Vol. A. , Academic Press .
- Fairtlough , M. , Holcombe , M. , Ipate , F. , Jordan , C. , Laycock , G. and Duan , Z. 1995 . Using an X-machine to Model a Video Cassette Recorder . Current issues in electronic modelling , 3 : 141 – 161 .
- Fujiwara , S. , Bochmann , G. , Khendek , F. , Amalou , M. and Ghedamsi , A. 1991 . Test selection based on finite state models . IEEE Transactions on Software Engineering , 17 ( 6 ) : 591 – 603 .
- Holcombe , M. 1988 . X-machines as a basis for dynamic system specification . Software Engineering Journal , 3 ( 2 ) : 69 – 76 .
- Holcombe M. Duan Z. Traceable X-machines as models for describing User Interfaces Departmental Report, Department of Computer Science, University of Sheffield 1990
- Ipate , F. 1995 . Theory of X-machines and Applications in Specification and Testing, Ph.D thesis , U.K. : University of Sheffield .
- Laycock , G.T. 1995 . The theory and practice of specification based testing, Ph.D. thesis , U.K. : University of Sheffield .