Dey, Nupur (2017) Generation of Test Cases using StateChart Diagram and Sequence Diagram. MTech thesis.