DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017

Papers citing "DeepXplore: Automated Whitebox Testing of Deep Learning Systems"

50 / 159 papers shown

Title
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation Sungmin Kang R. Feldt S. Yoo AAML 24 32 0 19 May 2020
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices Ruitao Feng Sen Chen Xiaofei Xie Guozhu Meng Shang-Wei Lin Yang Liu 28 102 0 11 May 2020
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty Xiyue Zhang Xiaofei Xie Lei Ma Xiaoning Du Q. Hu Yang Liu Jianjun Zhao Meng Sun AAML 8 76 0 24 Apr 2020
A Survey of End-to-End Driving: Architectures and Training Methods Ardi Tampuu Maksym Semikin Naveed Muhammad D. Fishman Tambet Matiisen 3DV 23 228 0 13 Mar 2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 50 48 0 07 Mar 2020
The Automated Inspection of Opaque Liquid Vaccines Gregory Palmer Benjamin Schnieders Rahul Savani K. Tuyls J. Fossel H. Flore MedIm 27 7 0 21 Feb 2020
Manifold-based Test Generation for Image Classifiers Taejoon Byun Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer 10 9 0 15 Feb 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 25 97 0 09 Feb 2020
Manifold for Machine Learning Assurance Taejoon Byun Sanjai Rayadurgam 41 29 0 08 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 22 53 0 10 Jan 2020
Arachne: Search Based Repair of Deep Neural Networks Jeongju Sohn Sungmin Kang S. Yoo KELM 22 44 0 28 Dec 2019
Distortion and Faults in Machine Learning Software S. Nakajima 12 4 0 25 Nov 2019
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning Samet Demir Hasan Ferit Eniser A. Sen AAML 11 28 0 24 Nov 2019
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks Yizhen Dong Peixin Zhang Jingyi Wang Shuang Liu Jun Sun Jianye Hao Xinyu Wang Li Wang J. Dong Ting Dai OOD AAML 19 32 0 14 Nov 2019
Coverage Guided Testing for Recurrent Neural Networks Wei Huang Youcheng Sun Xing-E. Zhao James Sharp Wenjie Ruan Jie Meng Xiaowei Huang AAML 17 47 0 05 Nov 2019
ALERT: Accurate Learning for Energy and Timeliness Chengcheng Wan M. Santriaji E. Rogers H. Hoffmann Michael Maire Shan Lu AI4CE 32 40 0 31 Oct 2019
Towards Quality Assurance of Software Product Lines with Adversarial Configurations Paul Temple M. Acher Gilles Perrouin Battista Biggio J. Jézéquel Fabio Roli AAML 14 11 0 16 Sep 2019
An Empirical Study towards Characterizing Deep Learning Development and Deployment across Different Frameworks and Platforms Qianyu Guo Sen Chen Xiaofei Xie Lei Ma Q. Hu Hongtao Liu Yang Liu Jianjun Zhao Xiaohong Li 33 122 0 15 Sep 2019
Structure-Invariant Testing for Machine Translation Pinjia He Clara Meister Z. Su 24 104 0 19 Jul 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 25 28 0 17 Jul 2019
Metamorphic Testing of a Deep Learning based Forecaster Anurag Dwarakanath Manish Ahuja Sanjay Podder Silja Vinu Arijit Naskar M. Koushik AI4TS 11 9 0 13 Jul 2019
ML-based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection Saurabh Jha Subho Sankar Banerjee Timothy Tsai S. Hari Michael B. Sullivan Zbigniew T. Kalbarczyk S. Keckler R. Iyer 27 120 0 01 Jul 2019
Enhancing Gradient-based Attacks with Symbolic Intervals Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana AAML 17 15 0 05 Jun 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 24 52 0 20 May 2019
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 29 18 0 19 May 2019
Test Selection for Deep Learning Systems Wei Ma Mike Papadakis Anestis Tsakmalis Maxime Cordy Yves Le Traon OOD 21 91 0 30 Apr 2019
Adversarial Defense Through Network Profiling Based Path Extraction Yuxian Qiu Jingwen Leng Cong Guo Quan Chen C. Li M. Guo Yuhao Zhu AAML 24 50 0 17 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 30 390 0 15 Mar 2019
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives Insu Yun D. Kapil Taesoo Kim 17 39 0 01 Mar 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 11 15 0 26 Feb 2019
Challenges in Designing Datasets and Validation for Autonomous Driving Michal Uřičář David Hurych P. Krízek S. Yogamani 20 34 0 26 Jan 2019
Towards Testing of Deep Learning Systems with Training Set Reduction Helge Spieker A. Gotlieb 15 9 0 14 Jan 2019
Input Prioritization for Testing Neural Networks Taejoon Byun Vaibhav Sharma Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer AAML 26 67 0 11 Jan 2019
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures Junhui Yin Jiayan Qiu Csaba Szepesvári Siqing Zhang Avraham Ruderman Jiyang Xie Krishnamurthy Dvijotham Zhanyu Ma N. Heess Pushmeet Kohli AAML 15 80 0 04 Dec 2018
The Art, Science, and Engineering of Fuzzing: A Survey Valentin J. M. Manès HyungSeok Han Choongwoo Han S. Cha Manuel Egele Edward J. Schwartz Maverick Woo AI4CE 11 449 0 01 Dec 2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks Naoto Sato Duong Nguyen Anh M. Kaneko Yuichiroh Nakagawa H. Ogawa Son Hoang Michael J. Butler 8 1 0 09 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou M. Guizani AAML 19 23 0 06 Nov 2018
Secure Deep Learning Engineering: A Software Quality Assurance Perspective L. Ma Felix Juefei Xu Minhui Xue Q. Hu Sen Chen Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See AAML 21 35 0 10 Oct 2018
Deep Neural Networks for Pattern Recognition Kyongsik Yun Alexander Huyen Thomas Lu 18 30 0 25 Sep 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 34 245 0 25 Sep 2018
Automated Test Generation to Detect Individual Discrimination in AI Models Aniya Aggarwal P. Lohia Seema Nagar Kuntal Dey Diptikalyan Saha 11 40 0 10 Sep 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie L. Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 32 40 0 04 Sep 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 Rick Salay Krzysztof Czarnecki 17 69 0 05 Aug 2018
Experimental Resilience Assessment of An Open-Source Driving Agent A. Rubaiyat Yongming Qin H. Alemzadeh 16 44 0 17 Jul 2018
Testing Untestable Neural Machine Translation: An Industrial Case Wujie Zheng Wenyu Wang Dian Liu Changrong Zhang Qinsong Zeng Yuetang Deng Wei Yang Pinjia He Tao Xie 4 24 0 06 Jul 2018
Visualizing and Understanding Deep Neural Networks in CTR Prediction Lin Guo Hui Ye Wenbo Su He Liu Kai Sun Hang Xiang FAtt HAI 10 7 0 22 Jun 2018
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing Jingyi Wang Jun Sun Peixin Zhang Xinyu Wang AAML 19 41 0 14 May 2018
Explainable Recommendation: A Survey and New Perspectives Yongfeng Zhang Xu Chen XAI LRM 32 865 0 30 Apr 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 20 472 0 28 Apr 2018
Deep Neural Networks Motivated by Partial Differential Equations Lars Ruthotto E. Haber AI4CE 25 483 0 12 Apr 2018