説明
自動決定手続き、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/