RobOT: Robustness-Oriented Testing for Deep Learning SystemsTechnical Track
Wed 26 May 2021 23:40 - 00:00 at Blended Sessions Room 2 - 2.1.2. Deep Neural Networks: Quality Assurance
Recently, there has been a significant growth of interest in applying software engineering techniques for the quality assurance of deep learning (DL) systems. One popular direction is deep learning testing, where adversarial examples (a.k.a.~bugs) of DL systems are found either by fuzzing or guided search with the help of certain testing metrics. However, recent studies have revealed that the commonly used neuron coverage metrics by existing DL testing approaches are not correlated to model robustness. It is also not an effective measurement on the confidence of the model robustness after testing. In this work, we address this gap by proposing a novel testing framework called \emph{Rob}ustness-\emph{O}riented \emph{T}esting (RobOT). A key part of RobOT is a quantitative measurement on 1) the value of each test case in improving model robustness (often via retraining), and 2) the convergence quality of the model robustness improvement. RobOT utilizes the proposed metrics to automatically generate test cases valuable for improving model robustness. The proposed metrics are also a strong indicator on how well robustness improvement has converged through testing. Experiments on multiple benchmark datasets confirm the effectiveness and efficiency of RobOT in improving DL model robustness, with 67.02% increase on the adversarial robustness that is 50.65% higher than the state-of-the-art work DeepGini.
Wed 26 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:20 - 12:20 | 2.1.2. Deep Neural Networks: Quality AssuranceTechnical Track at Blended Sessions Room 2 +12h Chair(s): Gregorio Robles Universidad Rey Juan Carlos | ||
11:20 20mPaper | Graph-based Fuzz Testing for Deep Learning Inference EnginesTechnical Track Technical Track Weisi Luo I&V Dept of Kirin Solution Dept, HS, Huawei, Xiaoyue Run I&V Dept of Kirin Solution Dept, HS, Huawei, Dong Chai I&V Dept of Kirin Solution Dept, HS, Huawei, Jiang Wang I&V Dept of Kirin Solution Dept, HS, Huawei, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University Pre-print Media Attached File Attached | ||
11:40 20mPaper | RobOT: Robustness-Oriented Testing for Deep Learning SystemsTechnical Track Technical Track Jingyi Wang Zhejiang University, Jialuo Chen Zhejiang University, Youcheng Sun Queen's University Belfast, UK, Xingjun Ma Deakin University, Dongxia Wang Zhejiang University, Jun Sun Singapore Management University, Singapore, Peng Cheng Zhejiang University Pre-print Media Attached | ||
12:00 20mPaper | Scalable Quantitative Verification For Deep Neural NetworksTechnical Track Technical Track Teodora Baluta National University of Singapore, Zheng Leong Chua Independent Researcher, Kuldeep S. Meel National University of Singapore, Prateek Saxena National University of Singapore Pre-print Media Attached |
23:20 - 00:20 | |||
23:20 20mPaper | Graph-based Fuzz Testing for Deep Learning Inference EnginesTechnical Track Technical Track Weisi Luo I&V Dept of Kirin Solution Dept, HS, Huawei, Xiaoyue Run I&V Dept of Kirin Solution Dept, HS, Huawei, Dong Chai I&V Dept of Kirin Solution Dept, HS, Huawei, Jiang Wang I&V Dept of Kirin Solution Dept, HS, Huawei, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University Pre-print Media Attached File Attached | ||
23:40 20mPaper | RobOT: Robustness-Oriented Testing for Deep Learning SystemsTechnical Track Technical Track Jingyi Wang Zhejiang University, Jialuo Chen Zhejiang University, Youcheng Sun Queen's University Belfast, UK, Xingjun Ma Deakin University, Dongxia Wang Zhejiang University, Jun Sun Singapore Management University, Singapore, Peng Cheng Zhejiang University Pre-print Media Attached | ||
00:00 20mPaper | Scalable Quantitative Verification For Deep Neural NetworksTechnical Track Technical Track Teodora Baluta National University of Singapore, Zheng Leong Chua Independent Researcher, Kuldeep S. Meel National University of Singapore, Prateek Saxena National University of Singapore Pre-print Media Attached |