Using UML Sequence Diagrams and State Machines for Test Input Generation | IEEE Conference Publication | IEEE Xplore