Improving software tests using Z Specifications

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 152-166
https://doi.org/10.1007/3-540-60271-2_118

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Automating the generation and sequencing of test cases from model-based specifications
Published by Springer Nature ,2005
Compilation of Z specifications into C for automatic test result evaluation
Published by Springer Nature ,1995
A tale of two paradigms: Formal methods and software testing
Published by Springer Nature ,1994
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology, 1993
Specifications are not (necessarily) executable
Software Engineering Journal, 1989
Test case selection using VDM
Published by Springer Nature ,1988