Feitosa, Samuel, E Ribeiro, Rodrigo. " Differential Testing using Random Well-Typed Haskell Programs" Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP) [Online], (30 setembro 2024)