Feitosa, Samuel, and Rodrigo Geraldo Ribeiro.
" Differential Testing using Random Well-Typed Haskell Programs." <em>Proceedings of the 28th Brazilian Symposium on Programming Languages,
Curitiba/PR, 2024</em>. SBC, 2024,  
pp.26-34.