Description
Procédures de décision automatisées, solveurs SAT/SMT ; exécution symbolique, algorithmes de recherche aléatoire et locale ; programmation évolutionnaire et génétique ; optimisation multi-objectifs et bio-inspirée, ingénierie logicielle basée sur la recherche ; apprentissage automatique pour l'ingénierie logicielle ; et études de cas de tests logiciels pour systèmes cyber-physiques, apprentissage profond, conduite autonome et systèmes réseau.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/COMP/