Test adequacy criteria for UML design models | doi.page