Verified collection-based regression test selection via an extended Jinja semantics

Susannah Mansky. Verified collection-based regression test selection via an extended Jinja semantics. PhD thesis, University of Illinois Urbana-Champaign, USA, 2020. [doi]

Abstract

Abstract is missing.