Carvalho, Gustavo, 		Santana, Lucas, 		Sobral, Fábio, E 		Souza, Beatriz.
" Executable Conformance Testing Theories: From Theory to Practice and Back" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)