CS 5720 - Program Debugging and Repair

Credits: (3)
Typically Taught Summer Semester: Full Sem
Typically Taught Fall Semester: Full Sem
Typically Taught Spring Semester: Full Sem
Description: Introduction to software testing as a precursor of debugging and repair. Understanding the cognitive process behind debugging and an introduction to scientific debugging. Introduction to automated debugging techniques like Fault Localization and Delta Debugging. Understanding the intuition behind Automatic Program Repair (APR). Introduction to APR techniques and tools. Introduction to recent advances in program debugging and repair. Understanding challenges and opportunities associated with automated program debugging and repair.
Pre-requisite(s): CS 3280 or CS 3230 or Instructor Approval