G. Carvalho, L. Santana, F. Sobral, and B. Souza.
" Executable Conformance Testing Theories: From Theory to Practice and Back", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 119-137.