You are here

Event Details

MP Associates, Inc.
TUESDAY October 15, 10:30am - 12:00pm | KC 905/907
EVENT TYPE: REGULAR SESSION
SESSION EM4C
Verification and Testing
Chair:
Renato Mancuso - Boston Univ.
This session will focus on verification and testing of embedded sytems.

4C.1Statistical Verification of Hyperproperties for Cyber-Physical Systems
 Speaker: Yu Wang - Duke Univ.
 Authors: Yu Wang - Duke Univ.
Mojtaba Zarei - Duke Univ.
Borzoo Bonakdarpour - Iowa State Univ.
Miroslav Pajic - Duke Univ.
4C.2Polar: Function Code Aware Fuzz Testing of ICS Protocol
 Speaker: Zhengxiong Luo - Tsinghua Univ.
 Authors: Zhengxiong Luo - Tsinghua Univ.
Feilong Zuo - Tsinghua Univ.
Yu Jiang - Tsinghua Univ.
Jian Gao - Tsinghua Univ.
Xun Jiao - Villanova Univ.
Jiaguang Sun - Tsinghua Univ.
4C.3Structural Test Coverage Criteria for Deep Neural Networks
 Speaker: Youcheng Sun - Univ. of Oxford
 Authors: Youcheng Sun - Univ. of Oxford
Xiaowei Huang - Univ. of Liverpool
Daniel Kroening - Univ. of Oxford
James Sharp - Defence Science and Technology Laboratory
Matthew Hill - Defence Science and Technology Laboratory
Rob Ashmore - Defence Science and Technology Laboratory