Test adequacy assessment for UML design model testing | IEEE Conference Publication | IEEE Xplore