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