Generating test sequences from UML use-case diagrams | IEEE Conference Publication | IEEE Xplore