ASSURING THE CORRECTNESS, TESTING AND VERIFICATION OF COMPILER DESIGN BY INTEGRATING COMMUNICATING STREAM X-MACHINE WITH MACHINE LEARNING ALGORITHMS

---

Tezin Türü: Doktora

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

Tezin Onay Tarihi: 2025

Tezin Dili: İngilizce

Öğrenci: Bashir Sanusi

Danışman: Mehmet Emin Aydın