S. Feitosa and R. Ribeiro.
" Differential Testing using Random Well-Typed Haskell Programs", in <em>Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação</em>, Curitiba/PR, 2024, pp. 26-34.