CS 439 tackles the question of whether software can fix its own bugs: given a failing program, how do you automatically locate the defect and synthesize a patch that actually works? You'll move through fault localization, then the major repair paradigms, heuristic, template, constraint-based, and learning-based synthesis, culminating in a project where you build and benchmark a repair tool against real buggy programs. It sits at the intersection of software engineering, program analysis, and increasingly ML, and assumes you're comfortable enough with compilers and testing to reason about programs as data rather than just write them.
→ STARS müfredatı (resmi syllabus)
İzlencede 1 midterm var, ağırlığı %35. Kalan %65 dersin öteki kalemlerinde. Tam dağılım aşağıda.
Evet. Bilkent kataloğuna göre ön koşulu: CS 319.
İzlencede önerilen kitap: The Debugging, Book Tools and Techniques for Automated Software Debugging, Andreas Zeller, 2023.
3 Bilkent kredisi, 5 AKTS.
| Kalem | Ağırlık | Notun (100 üzerinden) |
|---|---|---|
| Midterm | %35 | |
| Term project | %40 | |
| In-class participation | %5 | |
| Papers(s)/Reports | %5 | |
| Paper Review | %15 |
Ağırlıklar CS 439 izlencesinden. Hocanın bu dönemki dağılımı farklı olabilir; bağlayıcı olan ders izlencesidir. Harf notu sınırlarını hoca belirliyor, o yüzden hedefi sen giriyorsun. İzlencede FZ şartı var, sayfanın sonundaki kutuda.
https://w3.bilkent.edu.tr/bilkent/generative-artificial-intelligence-genai-guideline/
İlk dosyayı sen atarsan: not, slayt, geçmiş sınav, çözüm, cheat-sheet, ne varsa. defter ekibi öğrenci paylaşımlarından bu dersin notlarını yazar. Drive linki / PDF / ZIP, hepsi olur.
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.
Bu ders 2 programın seçmeli havuzunda.
Havuz listesi bölümün QME müfredatından; en küçük havuzlar önce yazılıyor, çünkü büyük "serbest seçmeli" havuzunda olmak dersi anlatmıyor. Seçmeli havuzunda olmak o dersi alabileceğin anlamına gelmez: ön koşul ve kontenjan ayrıca geçerli.