Matheus Monteiro Mariano, Érica Ferreira de Souza, André Takeshi Endo, Nandamudi Lankalapalli Vijaykumar. Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines. J. Electronic Testing, 35(6):867-885, 2019. [doi]
Abstract is missing.