Semantic patch inference - Andersen, J. (2013)
10.1145/2351676.2351753