A human study of patch maintainability
Synthesizing API usage examples