A comparative study of algorithms for generating switch cover test sets. - Matheus Monteiro Mariano; Érica Ferreira de Souza; André Takeshi Endo; Nandamudi L. Vijaykumar (SBQS, 2016)

Identifying approaches to generate test cases in model-based testing: a systematic mapping. - Matheus Monteiro Mariano; Érica Ferreira de Souza; André Takeshi Endo; Nandamudi Vijaykumar (CIbSE, 2019)

Analyzing graph-based algorithms employed to generate test cases from finite state machines. - Matheus Monteiro Mariano; Érica Ferreira de Souza; André Takeshi Endo; Nandamudi L. Vijaykumar (LATS, 2019)

Comparing Graph-Based Algorithms to Generate Test Cases from Finite State Machines. - Matheus Monteiro Mariano; Érica Ferreira de Souza; André Takeshi Endo; Nandamudi Lankalapalli Vijaykumar (J. Electron. Test., 2019)