Susannah Mansky

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Selection Algorithm

Selection Criteria

Support Vector Regression

Regression Problems

Top Venues

Arch. Formal Proofs

Publications

Susannah Mansky
JinjaDCI: a Java semantics with dynamic class initialization. Arch. Formal Proofs 2021 (2021)
Susannah Mansky
Regression Test Selection. Arch. Formal Proofs 2021 (2021)
Susannah Mansky, Elsa L. Gunter
Safety of a Smart Classes-Used Regression Test Selection Algorithm. LSFA (2020)
Susannah Mansky, Elsa L. Gunter
Dynamic class initialization semantics: a jinja extension. CPP (2019)