Dynamic class initialization semantics: a jinja extension. - Susannah Mansky; Elsa L. Gunter (CPP, 2019)

Safety of a Smart Classes-Used Regression Test Selection Algorithm. - Susannah Mansky; Elsa L. Gunter (LSFA, 2020)

Verified collection-based regression test selection via an extended Jinja semantics - Susannah Mansky (2020)

JinjaDCI: a Java semantics with dynamic class initialization. - Susannah Mansky (Arch. Formal Proofs, 2021)

Regression Test Selection. - Susannah Mansky (Arch. Formal Proofs, 2021)