Text this: Using data mining techniques to generate test cases from graph transformation systems specifications.