SemaDiff identifies semantic-changing commits via test execution comparison

SemaDiff distinguishes semantic-preserving refactors from behavior-changing commits by comparing test executions on pre- and post-commit code versions. The method generates synthetic calling methods to facilitate testing of modified code sections that are otherwise difficult to isolate.