Automatic test case generation using unified modeling language (UML) state diagrams. - P. Samuel; Rajib Mall; Ajay Kumar Bothra (IET Softw., 2008)