Test Case Generation using Unified Modeling Language | IEEE Conference Publication | IEEE Xplore