A type-directed algorithm to generate random well-typed Java 8 programs

Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. A type-directed algorithm to generate random well-typed Java 8 programs. Science of Computer Programming, 196:102494, 2020. [doi]

@article{FeitosaRB20,
  title = {A type-directed algorithm to generate random well-typed Java 8 programs},
  author = {Samuel da Silva Feitosa and Rodrigo Geraldo Ribeiro and André Rauber Du Bois},
  year = {2020},
  doi = {10.1016/j.scico.2020.102494},
  url = {https://doi.org/10.1016/j.scico.2020.102494},
  researchr = {https://researchr.org/publication/FeitosaRB20},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {196},
  pages = {102494},
}