| Formal mutation testing for Circus A Alberto, A Cavalcanti, MC Gaudel, A Simão Information and Software Technology 81, 131-153, 2017 | 18 | 2017 |
| Iterative minimization of partial finite state machines ADB Alberto, A Simao Central European Journal of Computer Science 3, 91-103, 2013 | 9 | 2013 |
| Minimization of incompletely specified finite state machines based on distinction graphs A Alberto, A Simao 2009 10th Latin American Test Workshop, 1-6, 2009 | 3 | 2009 |
| Uma estratégia para a minimização de máquinas de estados finitos parciais ADB Alberto Universidade de São Paulo, 2009 | 2 | 2009 |
| Formal mutation testing in Circus process algebra ADB Alberto Universidade de São Paulo, 2018 | 1 | 2018 |
| Defining the Circus operational semantics in the K-framework A Alberto, MC Gaudel LRI-CNRS, University Paris-Sud; ICMC, University of Sao Paulo, 2017 | | 2017 |
