Collaborated with:
C.Martinez W.Weimer S.Forrest
Talks about:
understand (1) generat (1) automat (1) symbol (1) invari (1) differ (1) patch (1)
Person: Padraic Cashin
DBLP: Cashin:Padraic
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.