Rodrigo José Sarmento Peixoto, Leandro Dias da Silva, Angelo Perkusich. Model-based testing of software for automation systems using heuristics and coverage criterion. Software and Systems Modeling, 18(2):797-823, 2019. [doi]
@article{PeixotoSP19,
title = {Model-based testing of software for automation systems using heuristics and coverage criterion},
author = {Rodrigo José Sarmento Peixoto and Leandro Dias da Silva and Angelo Perkusich},
year = {2019},
doi = {10.1007/s10270-018-0690-5},
url = {https://doi.org/10.1007/s10270-018-0690-5},
researchr = {https://researchr.org/publication/PeixotoSP19},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {18},
number = {2},
pages = {797-823},
}