Ueda, et al.. Devreplay: Automatic Repair with Editable Fix Pattern. 22 May 2020.