Feitosa, S., & 		Ribeiro, R.
2024 set 30.  Differential Testing using Random Well-Typed Haskell Programs. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :