Alex D. B. Alberto

According to our database, Alex D. B. Alberto authored at least 3 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Formal mutation testing for Circus.

Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão

Inf. Softw. Technol., 2017

2013

Iterative minimization of partial finite state machines.

Alex D. B. Alberto, Adenilso Simão

Central Eur. J. Comput. Sci., 2013

2009

Minimization of incompletely specified finite state machines based on distinction graphs.

Alex D. B. Alberto, Adenilso Simão

Proceedings of the 10th Latin American Test Workshop, 2009