© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Testing refinements of state-based formal specifications
John Derrick and Eerke Boiten
Software Testing, Verification and Reliability, (9):27-50, July 1999. Download publication 301 kbytes (PostScript)Bibtex Record
@article{747,
author = {John Derrick and Eerke Boiten},
title = {Testing Refinements of State-based Formal Specifications},
month = {July},
year = {1999},
pages = {27-50},
keywords = {Formal Specification; Z; Refinement; Finite State Machines; Partition analysis.},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/747},
Number = {9},
journal = {Software Testing, Verification and Reliability},
publisher = {Wiley},
}