An Active Learning Approach to Synthesizing Program Contracts.

Sandip Ghosal, Bengt Jonsson, Philipp Rmmer

Browse the full SEFM paper archive.