คำอธิบาย
กระบวนการตัดสินใจอัตโนมัติ, ตัวแก้ปัญหา SAT/SMT; การประมวลผลเชิงสัญลักษณ์, อัลกอริทึมการค้นหาเชิงสุ่มและเชิงโลคัล; การวิวัฒนาการและการเขียนโปรแกรมเชิงพันธุกรรม; การเพิ่มประสิทธิภาพเชิงหลายวัตถุประสงค์และที่ได้แรงบันดาลใจจากชีวภาพ, การค้นหาพื้นฐานซอฟต์แวร์ (search-based software engineering); การเรียนรู้ของเครื่องสำหรับวิศวกรรมซอฟต์แวร์; และกรณีศึกษาการทดสอบซอฟต์แวร์สำหรับระบบไซเบอร์-กายภาพ, การเรียนรู้เชิงลึก, การขับขี่อัตโนมัติ, และระบบเครือข่าย.
ข้อความอ้างอิงในภาษาต้นฉบับ
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/