defter*
defter / katalog / CS 439
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.

Credit3
ECTS5
BölümComputer Engineering
FacultyFaculty of Engineering
PrereqCS 319

Hocalar 1 bu dönem · 0 geçmiş

Bu dönem (2025-2026 Spring) · 1 section
Anıl Koyuncu

→ STARS müfredatı / syllabus

Materyal — 0 dosya

Bu derste henüz materyal yok.

İlk dosyayı sen ekleyebilirsin — notlar, geçmiş finaller, çözümler, cheat-sheet, ne varsa. Drive linki / PDF / ZIP / fotoğraf, hepsi olur.

Şu an: mail at, ben düzenleyip yayına alayım. Form/upload UX yakında geliyor (Kimya tasarlıyor).

↑ konuya CS 439 yaz

Müfredat detayı STARS syllabus

⚠️ FZ engelleyen şartlar

There is no final exam for this course, however, any one of the following will directly result in an F grade: (1) not submitting the term project or a survey paper, (2) being absent in the midterm, (3) being absent in the term project presentation.

🤖 GenAI politikası

https://w3.bilkent.edu.tr/bilkent/generative-artificial-intelligence-genai-guideline/

📅 Haftalık müfredat

Introduction to automated program repair Software defects and fault localization overview Types of software defects Debugging and fault localization techniques Data collection and analysis for defect identification Program synthesis and transformation overview Heuristic-based approaches Template-based approaches Constraint-based approaches Learning-based approaches Patch assessment and validation Midterm Evaluation metrics and benchmarking Project final presentations ECTS - Workload Table: Activities Number Hours Workload Total Workload: 0 Total Workload / 30: 0 / 30 0 ECTS Credits of the Course: 5 Type of Course: Lecture - Project Course Material: LMS (Moodle, etc) Teaching Methods: Assignment - Lecturing - Independent study - Presentations