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

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]

Abstract

Abstract is missing.