Deskripsi
Prosedur keputusan otomatis, solver SAT/SMT; eksekusi simbolik, algoritma pencarian acak dan lokal; pemrograman evolusioner dan genetik; optimisasi multi-obyektif dan terinspirasi biologi, pencarian berbasis rekayasa perangkat lunak; pembelajaran mesin untuk rekayasa perangkat lunak; dan studi kasus pengujian perangkat lunak untuk siber-fisik, pembelajaran mendalam, mengemudi otonom, dan sistem jaringan.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/grad/courses/COMP/