@article{MANSKY202051,
title = "Safety of a Smart Classes-Used Regression Test Selection Algorithm",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "351",
pages = "51--73",
year = "2020",
note = "Proceedings of LSFA 2020, the 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2020)",
issn = "1571-0661",
doi = "https://doi.org/10.1016/j.entcs.2020.08.004",
url = "http://www.sciencedirect.com/science/article/pii/S1571066120300402",
author = "Susannah Mansky and Elsa L. Gunter",
keywords = "interactive theorem proving, regression test selection, small-step semantics, Java"
}

@phdthesis{mansky2020verified,
  title={Verified collection-based regression test selection via an extended Jinja semantics},
  author={Mansky, Susannah Elizabeth},
  year={2020},
  school={University of Illinois at Urbana-Champaign}
}