Matheus Monteiro Mariano, Érica Ferreira de Souza, André Takeshi Endo, Nandamudi L. Vijaykumar. Analyzing graph-based algorithms employed to generate test cases from finite state machines. In IEEE Latin American Test Symposium, LATS 2019, Santiago, Chile, March 11-13, 2019. pages 1-6, IEEE, 2019. [doi]
Abstract is missing.