Test adequacy criteria for UML design models

This publication has 11 references indexed in Scilit:

• Incremental Testing Of Object-Oriented Class Structures†
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A UML-Based Approach to System Testing
  Published by Springer Nature ,2001
• Using UML Collaboration Diagrams for Static Checking and Test Generation
  Published by Springer Nature ,2000
• Generating Tests from UML Specifications
  Published by Springer Nature ,1999
• State-based model checking of event-driven system requirements
  IEEE Transactions on Software Engineering, 1993
• Case studies on testing object-oriented programs
  Published by Association for Computing Machinery (ACM) ,1991
• Analysis and refinement of software test data adequacy properties
  IEEE Transactions on Software Engineering, 1991
• The cost of data flow testing: an empirical study
  IEEE Transactions on Software Engineering, 1990
• The category-partition method for specifying and generating fuctional tests
  Communications of the ACM, 1988
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975