課程說明
自動決策程序、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/