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]

Abstract

Abstract is missing.