Semantics-aware trace analysis
JDiff: A differencing technique and tool for object-oriented programs