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

Öğrenci: Bashir Sanusi

Danışman: MEHMET EMİN AYDIN