The plastic surgery hypothesis
Automated concurrency-bug fixing