Alex D. B. Alberto

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Mutation Testing

Finite State Machines

Testing Process

Top Venues

Inf. Softw. Technol.

Central Eur. J. Comput. Sci.

Publications

Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
Formal mutation testing for Circus. Inf. Softw. Technol. 81 (2017)
Alex D. B. Alberto, Adenilso Simão
Iterative minimization of partial finite state machines. Central Eur. J. Comput. Sci. 3 (2) (2013)
Alex D. B. Alberto, Adenilso Simão
Minimization of incompletely specified finite state machines based on distinction graphs. LATW (2009)