Açıklama
Otomatik karar prosedürleri, SAT/SMT çözücüler; sembolik yürütme, rastgele ve yerel arama algoritmaları; evrimsel ve genetik programlama; çok amaçlı ve biyolojik esinli optimizasyon, arama tabanlı yazılım mühendisliği; yazılım mühendisliği için makine öğrenimi; siber-fiziksel, derin öğrenme, otonom sürüş ve ağ sistemleri için yazılım test vaka çalışmaları.
Kaynak metin orijinal dilinde
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.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/grad/courses/COMP/