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, doi: <a href="https://doi.org/10.5753/sblp.2024.3462">https://doi.org/10.5753/sblp.2024.3462</a>.