Generating test data from SOFL specifications
- 1 December 1999
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 49 (1) , 49-62
- https://doi.org/10.1016/s0164-1212(99)00066-7
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- Testing from a Z SpecificationSoftware Testing, Verification and Reliability, 1997
- Test template frameworkACM SIGSOFT Software Engineering Notes, 1993
- State-based model checking of event-driven system requirementsIEEE Transactions on Software Engineering, 1993
- Specification and testing of abstract data typesComputer Languages, 1992
- Automated test case generation for programs specified by relational algebra queriesIEEE Transactions on Software Engineering, 1990
- Automatic generation of test scripts from formal test specificationsACM SIGSOFT Software Engineering Notes, 1989
- Experimental comparison of three system test strategies preliminary reportACM SIGSOFT Software Engineering Notes, 1989
- The category-partition method for specifying and generating fuctional testsCommunications of the ACM, 1988
- Test sets generation from algebraic specifications using logic programmingJournal of Systems and Software, 1986
- The application of error-sensitive testing strategies to debuggingACM SIGPLAN Notices, 1983