Learn&Fuzz: Machine learning for input fuzzing
Automated testing of refactoring engines