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:
Houssam Abbas - Oregon State Univ.
This session will focus on verification and testing of embedded sytems.

4C.1*Statistical 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.2*Polar: 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


* Indicates Best Paper Candidate