Automated Fixing of Programs with Contracts

Cite this paper

@article{Wei2010AutomatedFO, title={Automated Fixing of Programs with Contracts}, author={Yi Wei and Yu Pei and Carlo A. Furia and Lucas Serpa Silva and Stefan Buchholz and Bertrand Meyer and Andreas Zeller}, journal={IEEE Transactions on Software Engineering}, year={2010}, volume={40}, pages={427-449} }