A human study of patch maintainability
Compilers: Principles, Techniques, and Tools