Generating Random Well-Typed Featherweight Java Programs Using QuickCheck

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. Generating Random Well-Typed Featherweight Java Programs Using QuickCheck. Electronic Notes in Theoretical Computer Science, 342:3-20, 2019. [doi]

Abstract

Abstract is missing.