Using UML Collaboration Diagrams for Static Checking and Test Generation
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 383-395
- https://doi.org/10.1007/3-540-40011-7_28
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Criteria for generating specification-based testsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A Formal Approach to Collaborations in the Unified Modeling LanguagePublished by Springer Nature ,1999
- UML Collaboration Diagrams and Their Transformation to JavaPublished by Springer Nature ,1999
- Generating Tests from UML SpecificationsPublished by Springer Nature ,1999
- Software unit test coverage and adequacyACM Computing Surveys, 1997
- Object-oriented specification of coordinated collaborationPublished by Springer Nature ,1996
- Control flow and data flow oriented integration testing methodsSoftware Testing, Verification and Reliability, 1992
- An applicable family of data flow testing criteriaIEEE Transactions on Software Engineering, 1988