Beskrivelse
Automatiserte beslutningsprosedyrer, SAT/SMT‑løsere; symbolsk eksekvering, tilfeldige og lokale søkealgoritmer; evolusjons- og genetisk programmering; multi‑objektiv og bio‑inspirert optimalisering, søkbasert programvareingeniørfag; maskinlæring for programvareingeniørfag; og programvaretestingscasestudier for cyber‑fysiske systemer, dyp læring, autonom kjøring og nettverkssystemer.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/COMP/