A human study of patch maintainability
Automated atomicity-violation fixing