Using formal specifications to support software testing
- 1 December 1995
- journal article
- research article
- Published by Springer Nature in Software Quality Journal
- Vol. 4 (4) , 309-327
- https://doi.org/10.1007/bf00402650
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Automating the generation and sequencing of test cases from model-based specificationsPublished by Springer Nature ,2005
- Compilation of Z specifications into C for automatic test result evaluationPublished by Springer Nature ,1995
- Improving software tests using Z SpecificationsPublished by Springer Nature ,1995
- A tale of two paradigms: Formal methods and software testingPublished by Springer Nature ,1994
- Classification trees for partition testingSoftware Testing, Verification and Reliability, 1993
- Experimental results from an automatic test case generatorACM Transactions on Software Engineering and Methodology, 1993
- Test case selection using VDMPublished by Springer Nature ,1988