الوصف
إجراءات القرار الآلي، محولات SAT/SMT؛ التنفيذ الرمزي، خوارزميات البحث العشوائي والمحلي؛ البرمجة التطورية والجينية؛ التحسين متعدد الأهداف والملهم من الأحياء، هندسة البرمجيات المعتمدة على البحث؛ التعلم الآلي لهندسة البرمجيات؛ ودراسات حالة اختبار البرمجيات للأنظمة السيبر-فيزيائية، التعلم العميق، القيادة الذاتية، وأنظمة الشبكات.
نص المرجع بلغته الأصلية
Automated decision procedures, SAT/SMT solvers; symbolic execution, random and local search algorithms; evolutionary and genetic programming; multi-objective and bio-inspired optimization, search-based software engineering; machine learning for software engineering; and software testing case studies for cyber-physical, deep learning, autonomous driving, and network systems.
المصادر والمراجع
يتم الاحتفاظ بالتواريخ والمصادر لمساعدتك في التحقق من المعلومات. تُعرض ترجمات لتسهيل القراءة؛ المصدر الرسمي هو المرجع للشروط والمتطلبات.
مرجع المصدر : https://calendar.carleton.ca/grad/courses/COMP/