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