Program Repair with Static Insights

Project: Research

Project Details

AcronymINSIGHT
StatusFinished
Effective start/end date01/09/2018 → 31/08/2023

Collaborative partners

Funding

  • Independent Research Fund Denmark: DKK5,896,558.00

Keywords

  • Program repair
  • Program analysis
  • Linux kernel