描述
自动化决策程序、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/