Inferring better contracts. - Yi Wei 001; Carlo A. Furia; Nikolay Kazmin; Bertrand Meyer 001 (ICSE, 2011)