Feitosa, Samuel, AND 		Ribeiro, Rodrigo.
" Differential Testing using Random Well-Typed Haskell Programs" <em>Proceedings of the Brazilian Symposium on Programming Languages (SBLP)</em> [Online], (30 September 2024)