Masatomo Hashimoto, Akira Mori, Tomonori Izumida: Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes. ESEC/SIGSOFT FSE 2018: 598-609