Mô tả
Các thủ tục quyết định tự động, bộ giải SAT/SMT; thực thi ký hiệu, thuật toán tìm kiếm ngẫu nhiên và cục bộ; lập trình tiến hóa và di truyền; tối ưu đa mục tiêu và cảm hứng sinh học, kỹ thuật phần mềm dựa trên tìm kiếm; học máy cho kỹ thuật phần mềm; và các nghiên cứu trường hợp kiểm thử phần mềm cho hệ thống cyber-physical, học sâu, lái xe tự động và mạng.
Văn bản tham chiếu bằng ngôn ngữ gốc
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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/COMP/