Error-type Metrics in Risk Categorisation Software Fault Prediction through Integration of Formal Methods and Machine Learning

---

Tezin Türü: Doktora

Tezin Yürütüldüğü Kurum: University of the West of England, Bristol, İngiltere

Tezin Onay Tarihi: 2025

Öğrenci: Khoa Phung

Danışman: MEHMET EMİN AYDIN