Carvalho, G., 		Santana, L., 		Sobral, F., & 		Souza, B.
(2025).
 Executable Conformance Testing Theories: From Theory to Practice and Back.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 119-137). Porto Alegre: SBC.