The Grainger College of Engineering
Thesis Title: Verified Collection-Based Regression Test Selection Via an Extended Jinja Semantics
Committee: Elsa Gunter; Chair/Director of Research
Grigore Rosu
Darko Marinov
Andreas Lochbihler; Digital Asset GmbH