Descrição
Procedimentos de decisão automatizados, solucionadores SAT/SMT; execução simbólica, algoritmos de busca aleatória e local; programação evolutiva e genética; otimização multiobjetivo e bio-inspirada, engenharia de software baseada em busca; aprendizado de máquina para engenharia de software; e estudos de caso de testes de software para sistemas ciber-físicos, deep learning, condução autônoma e sistemas de rede.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/grad/courses/COMP/