Generating Tests from UML Specifications
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 416-429
- https://doi.org/10.1007/3-540-46852-8_30
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Criteria for generating specification-based testsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Deriving mode invariants from SCR specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Generating test data from SOFL specificationsJournal of Systems and Software, 1999
- Software unit test coverage and adequacyACM Computing Surveys, 1997
- A formal model of program dependences and its implications for software testing, debugging, and maintenanceIEEE Transactions on Software Engineering, 1990
- Approaches to specification-based testingPublished by Association for Computing Machinery (ACM) ,1989