Automated testing of refactoring engines
Automatic Testing of Software with Structurally Complex Inputs