TY  - RPRT
TI  - Automated Fixing of Programs with Contracts
AU  - Yu Pei
AU  - Carlo A. Furia
AU  - Martin Nordio
AU  - Yi Wei
AU  - Bertrand Meyer
AU  - Andreas Zeller
PY  - 2014
DO  - 10.1109/tse.2014.2312918
UR  - https://arxiv.org/abs/1403.1117
ID  - 1403.1117
ER  -