Defining and implementing preconditions are non-trivial tasks. As a result, even mainstream refactoring engines contain critical bugs. We propose an automated approach for testing of Java refactoring engines. It has been useful for identifying more than 100 bugs in state-of-the-art industrial and academic refactoring engines.