Minimization of incompletely specified finite state machines based on distinction graphs. - Alex D. B. Alberto; Adenilso Simão (LATW, 2009)

Iterative minimization of partial finite state machines. - Alex D. B. Alberto; Adenilso Simão (Central Eur. J. Comput. Sci., 2013)

Formal mutation testing for Circus. - Alex D. B. Alberto; Ana Cavalcanti 001; Marie-Claude Gaudel; Adenilso Simão (Inf. Softw. Technol., 2017)