Rodrigo José Sarmento Peixoto

Model-based testing of software for automation systems using heuristics and coverage criterion

Angelo Perkusich, Leandro Dias da Silva, Rodrigo José Sarmento Peixoto, 2018, Software & Systems Modeling.