Panthi, Vikas (2017) Generation and Prioritization of Test Scenarios for Object-Oriented Software using UML State Machines. PhD thesis.