Using data mining techniques to generate test cases from graph transformation systems specifications. - Asgari Araghi, Maryam; Rafe, Vahid; Khendek, Ferhat (Automated Software Engineering, 2024)