Formal derivation of finite state machines for class testing

Murray, Leesa, Carrington, David, MacColl, Ian, McDonald, Jason and Strooper, Paul (1998) Formal derivation of finite state machines for class testing St Lucia, QLD, Australia: Software Verification Research Centre, School of Information Technology, The University of Queensland

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ286762_fulltext.pdf Author copy application/pdf 343.97KB 0
Author Murray, Leesa
Carrington, David
MacColl, Ian
McDonald, Jason
Strooper, Paul
Title of report Formal derivation of finite state machines for class testing
Publication date 1998-02
Open Access Status File (Publisher version)
Publisher Software Verification Research Centre, School of Information Technology, The University of Queensland
Series Technical Report 98-03
Place of publication St Lucia, QLD, Australia
Total pages 43
Language eng
Subjects 280000 Information, Computing and Communication Sciences
Q-Index Code K1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Wed, 05 Dec 2012, 13:21:43 EST by Dr. Nisansala Yatapanage on behalf of School of Information Technol and Elec Engineering