The research on test case generation technology of UML sequence diagram | IEEE Conference Publication | IEEE Xplore