Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. Property-based testing for lambda expressions semantics in featherweight Java. In Carlos Camarão, Martin Sulzmann, editors, Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018. pages 43-50, ACM, 2018. [doi]
Abstract is missing.