(3 units). Automated decision procedures, SAT/SMT solvers; symbolic execution and testing; random and local search algorithms; evolutionary computation; genetic programming; multi-objective optimization; bio-inspired algorithms; an overview of search-based software engineering; general machine learning for software engineering; and reviews of various software testing case studies, including testing methods for cyber-physical systems, deep learning systems, autonomous driving systems, and network systems. Course Component: Lecture
(3 units). Automated decision procedures, SAT/SMT solvers; symbolic execution and testing; random and local search algorithms; evolutionary computation; genetic programming; multi-objective optimization; bio-inspired algorithms; an overview of search-based software engineering; general machine learning for software engineering; and reviews of various software testing case studies, including testing methods for cyber-physical systems, deep learning systems, autonomous driving systems, and network systems. Course Component: Lecture
