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

Jiasi Shen, Martin C. Rinard

Browse the full PLDI paper archive.