CS 439 Automated Program Repair
|
Fundamental ideas and techniques for finding and fixing software defects. Software defects and fault localization: types of software defects, debugging and fault localization techniques, data collection and analysis for defect identification. Program synthesis and transformation: heuristic-based, template-based, constraint-based and learning-based approaches. Patch assessment and validation. Evaluation metrics and benchmarking.
Credit units: 3 ECTS Credit units: 5, Prerequisite:
CS 319.
|
|
|
Bilkent University Main Page
Last regenerated automatically on November 8, 2024 by OAC - Online Academic Catalog Software
|
|