Test Criteria Definition for B Models
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 509-528
- https://doi.org/10.1007/3-540-48119-2_29
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Well defined BPublished by Springer Nature ,1998
- Testing from a Z SpecificationSoftware Testing, Verification and Reliability, 1997
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- Towards Correct Executable Semantics for ZPublished by Springer Nature ,1994
- A standard representation of imperative language programs for data collection and software measures specificationJournal of Systems and Software, 1988