DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017

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

33 / 183 papers shown

Title
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 19 15 0 26 Feb 2019
Dynamic-Weighted Simplex Strategy for Learning Enabled Cyber Physical Systems Shreyas Ramakrishna Charles Hartsell Matthew P. Burruss G. Karsai A. Dubey 13 14 0 06 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 29 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 450 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 10 1 0 09 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen 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 27 35 0 10 Oct 2018
Deep Neural Networks for Pattern Recognition Kyongsik Yun Alexander Huyen Thomas Lu 21 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 42 246 0 25 Sep 2018
Automated Test Generation to Detect Individual Discrimination in AI Models Aniya Aggarwal P. Lohia Seema Nagar Kuntal Dey Diptikalyan Saha 13 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 37 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 25 69 0 05 Aug 2018
Experimental Resilience Assessment of An Open-Source Driving Agent A. Rubaiyat Yongming Qin H. Alemzadeh 19 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 21 41 0 14 May 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 14 333 0 30 Apr 2018
Explainable Recommendation: A Survey and New Perspectives Yongfeng Zhang Xu Chen XAI LRM 52 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 22 472 0 28 Apr 2018
Deep Neural Networks Motivated by Partial Differential Equations Lars Ruthotto E. Haber AI4CE 27 484 0 12 Apr 2018
TBD: Benchmarking and Analyzing Deep Neural Network Training Hongyu Zhu Mohamed Akrout Bojian Zheng Andrew Pelegris Amar Phanishayee Bianca Schroeder Gennady Pekhimenko 23 80 0 16 Mar 2018
Verifying Controllers Against Adversarial Examples with Bayesian Optimization Shromona Ghosh Felix Berkenkamp G. Ranade S. Qadeer Ashish Kapoor AAML 25 45 0 23 Feb 2018
Wild Patterns: Ten Years After the Rise of Adversarial Machine Learning Battista Biggio Fabio Roli AAML 23 1,388 0 08 Dec 2017
Generating Natural Adversarial Examples Zhengli Zhao Dheeru Dua Sameer Singh GAN AAML 38 596 0 31 Oct 2017
Deep Learning Techniques for Music Generation -- A Survey Jean-Pierre Briot Gaëtan Hadjeres F. Pachet MGen 34 297 0 05 Sep 2017
Failing to Learn: Autonomously Identifying Perception Failures for Self-driving Cars M. Ramanagopal Cyrus Anderson Ram Vasudevan Matthew Johnson-Roberson 27 104 0 30 Jun 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé S. Seshia AAML 26 230 0 02 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Deep Reinforcement Learning: An Overview Yuxi Li OffRL VLM 104 1,503 0 25 Jan 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016