Dex: a semantic-graph differencing tool for studying changes in large code bases
On the editing distance between unordered labeled trees