Automated memory leak diagnosis by regression testing
LeakChecker: Practical Static Memory Leak Detection for Managed Languages