Automating formal specification-based testing
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 833-847
- https://doi.org/10.1007/bfb0030644
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Automating the generation and sequencing of test cases from model-based specificationsPublished by Springer Nature ,2005
- GENERATING TEST CASES FROM FORMAL SPECIFICATIONSINCOSE International Symposium, 1996
- Steam-boiler control specification problemPublished by Springer Nature ,1996
- VDM specification of the steam-boiler control using RSL notationPublished by Springer Nature ,1996
- A steam-boiler control specification with statecharts and ZPublished by Springer Nature ,1996
- 6.4.1 Industrialization Of Formal Methods Through Process DefinitionINCOSE International Symposium, 1995
- Testing can be formal, tooPublished by Springer Nature ,1995
- S: A machine readable specification notation based on higher order logicPublished by Springer Nature ,1994
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986