"Using active learning to synthesize models of applications that access ..."

Jiasi Shen, Martin C. Rinard (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics