رساله های دکتری

1. رویکردی جهت استفاده از بازی های هدفمند در آزمون و اشکال زدایی برنامه ها
   شرمین موسوی 1402
2. ارائه یک رهیافت مبتنی بر معماری برای مدلسازی سامانه‌های رایانش حیاتی
   علی طریحی 1400
3. ارائه رویکردی جدید برای مکان یابی خطاهای نرم افزاری مبتنی بر تولید هدفمند داده های آزمون
   محمد نصرتی مقدم طالمی 1399
4. تولید کارای داده های آزمون کارآمد با استفاده از اطلاعات ایستای برنامه
   عطیه منعمی بیدگلی 1399
5. ارائه روشی کارا برای تولید موارد آزمون کارآمد در برنامه‌های همروند
   سیدمحسن میرحسینی 1399
6. مدلی برای زیرگراف کاوی در گراف های حجیم
   مهدی عالمی 1398
7. بهبود سیستم های توصیه گر پالایش همکارانه با بهره گیری از شبکه اعتماد ضمنی
   فائزه سادات گوهری 1397