Feitosa, S., & 		Ribeiro, R.
2024 Sep 30.  Differential Testing using Random Well-Typed Haskell Programs. Proceedings of the Brazilian Symposium on Programming Languages (SBLP). [Online] :