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