Transition sequence exploration of UML activity diagram using evolutionary algorithm. - Mahesh Shirole; Mounika Kommuri; Rajeev Kumar 004 (ISEC, 2012)