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]
@article{FeitosaRB19,
title = {Generating Random Well-Typed Featherweight Java Programs Using QuickCheck},
author = {Samuel da Silva Feitosa and Rodrigo Geraldo Ribeiro and André Rauber Du Bois},
year = {2019},
doi = {10.1016/j.entcs.2019.04.002},
url = {https://doi.org/10.1016/j.entcs.2019.04.002},
researchr = {https://researchr.org/publication/FeitosaRB19},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {342},
pages = {3-20},
}