Carvalho, G., 		Santana, L., 		Sobral, F., & 		Souza, B.
(2025).
 Executable Conformance Testing Theories: From Theory to Practice and Back.
In <em>Proceedings of the 28th Brazilian Symposium on Formal Methods</em>, (pp. 119-137). Porto Alegre: SBC.