Discern: Towards the Automatic Discovery of Software Contracts. - Yishai A. Feldman; Leon Gendler (SEFM, 2006)