LSDiffLSDiff first extracts structural facts from each of the two program versions, then use set differencing to construct a list of changes, or deltas. Structural facts include subtyping facts about the class hierarchy as well as declarations of field and method class members. LSDiff also captures calls and field accesses relationships betwe a method and its target method or field. LSDiff infer rules u
