Sound and extensible renaming for java

Descriptive names are crucial to understand code. How-ever, good names are notoriously hard to choose and manu-ally changing a globally visible name can be a maintenance nightmare. Hence, tool support for automated renaming is an essential aid for developers and widely supported by popular development environments. This work improves on two limitations in current refac-toring tools: too weak preconditions that lead to unsound-ness where names do not bind to the correct declarations after renaming, and too strong preconditions that prevent re-naming of certain programs. We identify two main reasons for unsoundness: complex name lookup rules make it hard to define sufficient preconditions, and new language features require additional preconditions. We alleviate both problem