Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. - Padraic Cashin; Carianne Martinez; Westley Weimer; Stephanie Forrest (ASE, 2019)

Digging into Semantics: Where Do Search-Based Software Repair Methods Search? - Hammad Ahmad; Padraic Cashin; Stephanie Forrest; Westley Weimer (PPSN (2), 2022)