Gustavo Carvalho, Lucas Santana, Fábio Sobral, and Beatriz Souza. 2025.
 Executable Conformance Testing Theories: From Theory to Practice and Back. In <em>Proceedings of the 28th Brazilian Symposium on Formal Methods</em>, December 03, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 119-137.