Descripción
Procedimientos de decisión automatizados, solucionadores SAT/SMT; ejecución simbólica, algoritmos aleatorios y de búsqueda local; programación evolutiva y genética; optimización multiobjetivo e inspirada en la biología, ingeniería de software basada en búsqueda; aprendizaje automático para ingeniería de software; y estudios de caso de pruebas de software para sistemas ciberfísicos, aprendizaje profundo, conducción autónoma y sistemas de red.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/grad/courses/COMP/