GENERATING TEST CASES FROM FORMAL SPECIFICATIONS
- 1 July 1996
- journal article
- se processes-and-method-paper
- Published by Wiley in INCOSE International Symposium
- Vol. 6 (1) , 463-470
- https://doi.org/10.1002/j.2334-5837.1996.tb02040.x
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- 6.4.1 Industrialization Of Formal Methods Through Process DefinitionINCOSE International Symposium, 1995
- Automated testing from object modelsCommunications of the ACM, 1994
- Experiences with cluster and class testingCommunications of the ACM, 1994
- TAOS: Testing with Analysis and Oracle SupportPublished by Association for Computing Machinery (ACM) ,1994
- S: A machine readable specification notation based on higher order logicPublished by Springer Nature ,1994
- Higher Order Logic Theorem Proving and Its ApplicationsPublished by Springer Nature ,1994
- An International Survey of Industrial Applications of Formal MethodsPublished by Springer Nature ,1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986