Program Repair with Static Insights

Wasowski, Andrzej (PI)
Cruz, Alfredo (CoI)
Varshosaz, Mahsa (CoI)

Software Quality Research

Project: Research

Acronym	INSIGHT
Status	Finished
Effective start/end date	01/09/2018 → 31/08/2023

Collaborative partners

IT University of Copenhagen (lead)
Carnegie Mellon University

Funding

Independent Research Fund Denmark: DKK5,896,558.00

Keywords

Program repair
Program analysis
Linux kernel