Automatic Test Case Generation from UML Models | IEEE Conference Publication | IEEE Xplore