Test Data Generation for Event-B Models Using Genetic Algorithms. - Ionut Dinca; Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICSECS (3), 2011)

Learn and Test for Event-B - A Rodin Plugin. - Ionut Dinca; Florentin Ipate; Laurentiu Mierla; Alin Stefanescu (ABZ, 2012)

Model Learning and Test Generation for Event-B Decomposition. - Ionut Dinca; Florentin Ipate; Alin Stefanescu (ISoLA (1), 2012)

Implementing Realistic Asynchronous Automata. - S. Akshay 001; Ionut Dinca; Blaise Genest; Alin Stefanescu (FSTTCS, 2013)

Model Learning and Test Generation Using Cover Automata. - Florentin Ipate; Alin Stefanescu; Ionut Dinca (Comput. J., 2015)