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]
No references recorded for this publication.
No citations of this publication recorded.