Derrick, John, Boiten, Eerke Albert (1999) Testing Refinements of State-based Formal Specifications. Software Testing, Verification and Reliability, 9 (1). pp. 27-50. (doi:10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2) (KAR id:21805)
|
PDF
Language: English |
|
|
Download this file (PDF/242kB) |
![[thumbnail of testing_refinements_of_state-based_derrick.pdf]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png) |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
|
Postscript
Language: English |
|
|
Download this file (Postscript/308kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: https://doi.org/10.1002/(sici)1099-1689(199903)9:1... |
|
| Item Type: | Article |
|---|---|
| DOI/Identification number: | 10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2 |
| Uncontrolled keywords: | Formal Specification; Z; Refinement; Finite State Machines; Partition analysis. |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
|
| Depositing User: | Eerke Boiten |
| Date Deposited: | 09 Oct 2009 17:09 UTC |
| Last Modified: | 20 May 2025 10:10 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21805 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Derrick, John.
| Creator's ORCID: | |
|---|---|
| CReDIT Contributor Roles: |
Boiten, Eerke Albert.
| Creator's ORCID: |
 https://orcid.org/0000-0002-9184-8968
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
