Collaborated with:
P.Cashin W.Weimer S.Forrest
Talks about:
understand (1) generat (1) automat (1) symbol (1) invari (1) differ (1) patch (1)
Person: Carianne Martinez
DBLP: Martinez:Carianne
Contributed to:
Wrote 1 papers:
- ASE-2019-CashinMWF #comprehension #difference #invariant
- Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.