Automatic Test Case Generation from UML Sequence Diagram | IEEE Conference Publication | IEEE Xplore