%0 Journal Article %1 journals/corr/abs-1102-1059 %A Pei, Yu %A Wei, Yi %A Furia, Carlo A. %A Nordio, Martin %A Meyer, Bertrand %D 2011 %J CoRR %K contracts inference repair synthesis %T Evidence-Based Automated Program Fixing %U http://dblp.uni-trier.de/db/journals/corr/corr1102.html#abs-1102-1059 %V abs/1102.1059

@article{journals/corr/abs-1102-1059, added-at = {2014-03-22T17:46:54.000+0100}, author = {Pei, Yu and Wei, Yi and Furia, Carlo A. and Nordio, Martin and Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/28f14c1d98ae087924366bd03aa208973/kaptoxic}, ee = {http://arxiv.org/abs/1102.1059}, interhash = {17efa84cf778aadbdb24df4d1344bb5f}, intrahash = {8f14c1d98ae087924366bd03aa208973}, journal = {CoRR}, keywords = {contracts inference repair synthesis}, timestamp = {2014-03-22T17:46:54.000+0100}, title = {Evidence-Based Automated Program Fixing}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1102.html#abs-1102-1059}, volume = {abs/1102.1059}, year = 2011 }