설명
자동화된 결정 절차, SAT/SMT 솔버; 상징적 실행, 무작위 및 국소 탐색 알고리즘; 진화적 및 유전 프로그래밍; 다목적 및 생체영감 최적화, 검색 기반 소프트웨어 공학; 소프트웨어 공학을 위한 기계학습; 사이버 물리, 딥러닝, 자율주행 및 네트워크 시스템에 대한 소프트웨어 테스트 사례 연구.
원문 참조 텍스트
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.
출처 및 참고문헌
날짜와 출처는 정보를 확인하는 데 도움이 되도록 보관됩니다. 번역은 읽기 편의를 위해 제공되며 조건과 요건은 공식 출처가 기준입니다.
출처 참조 : https://calendar.carleton.ca/grad/courses/COMP/