Final Defense of Susannah Mansky

Event Type

Meeting

Sponsor

Department of Computer Science

Virtual

Date

May 13, 2020   10:00 am  

Views

92

Originating Calendar

Computer Science Graduate Calendar

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