Close

Organization

Dalian Maritime University
Contributors
Shikai Guo
xiaoyu wang
Zixuan Wang
Presentations
Research Manuscript
Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain
2:30pm - 2:45pm PDT Tuesday, June 24 3008, Level 3
Systems
SYS1: Autonomous Systems (Automotive, Robotics, Drones)
SYS2: Design of Cyber-Physical Systems and IoT
Research Manuscript
MAGCS: Multi-Agent Guided Configuration Search for Optimization Fault Detection in Logic Synthesis
5:00pm - 5:15pm PDT Wednesday, June 25 3003, Level 3
EDA
EDA2: Design Verification and Validation