A Repair: A Repair Framework for Alloy

Wang, KY; Sullivan, A; Khurshid, S

Wang, KY (reprint author), Google Inc, Mountain View, CA 94043 USA.

2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019; (): 103

Abstract

Researchers have proposed many automated program repair techniques for imperative languages, e.g. Java. However, little work has been done to repair p......

Full Text Link