Описание
Автоматизированные процедуры принятия решений, 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/