Executable Conformance Testing Theories: From Theory to Practice and Back. - Gustavo Carvalho; Lucas Santana; Fábio Sobral; Beatriz Souza (SBMF, 2025)