Baidu
map

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


Baidu
map
Baidu
map
Baidu
map