A tool-supported approach to testing UML design models | IEEE Conference Publication | IEEE Xplore