SANTIAGO JÚNIOR, Valdivino Alexandre de; SILVA, Felipe Elias Costa da.
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. In: SIMPÓSIO BRASILEIRO DE TESTES DE SOFTWARE SISTEMÁTICO E AUTOMATIZADO (SAST), 2. , 2017, Fortaleza/CE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2017
.
p. 11-20.