DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017

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

50 / 183 papers shown

Title
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Muhammad Shafique Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
ROBY: Evaluating the Robustness of a Deep Model by its Decision Boundaries Jinyin Chen Zhen Wang Haibin Zheng Jun Xiao Zhaoyan Ming AAML 19 5 0 18 Dec 2020
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) Fitash Ul Haq Donghwan Shin Lionel C. Briand Thomas Stifter Jun Wang AAML 21 19 0 11 Dec 2020
Software engineering for artificial intelligence and machine learning software: A systematic literature review E. Nascimento Anh Nguyen-Duc Ingrid Sundbø T. Conte 8 40 0 07 Nov 2020
Characterizing and Taming Model Instability Across Edge Devices Eyal Cidon Evgenya Pergament Zain Asgar Asaf Cidon Sachin Katti 14 7 0 18 Oct 2020
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 29 97 0 13 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Optimizing Information Loss Towards Robust Neural Networks Philip Sperl Konstantin Böttinger AAML 18 3 0 07 Aug 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
ConFoc: Content-Focus Protection Against Trojan Attacks on Neural Networks Miguel Villarreal-Vasquez B. Bhargava AAML 17 38 0 01 Jul 2020
Robust Federated Learning: The Case of Affine Distribution Shifts Amirhossein Reisizadeh Farzan Farnia Ramtin Pedarsani Ali Jadbabaie FedML OOD 32 162 0 16 Jun 2020
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices Run Wang Felix Juefei Xu Yihao Huang Qing Guo Xiaofei Xie L. Ma Yang Liu AAML 25 104 0 28 May 2020
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation Sungmin Kang R. Feldt S. Yoo AAML 26 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 36 103 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 16 76 0 24 Apr 2020
TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications Zitao Chen Niranjhana Narayanan Bo Fang Guanpeng Li Karthik Pattabiraman Nathan Debardeleben 14 66 0 03 Apr 2020
A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction Zitao Chen Guanpeng Li Karthik Pattabiraman AAML AI4CE 28 17 0 30 Mar 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
Testing Monotonicity of Machine Learning Models Arnab Sharma Heike Wehrheim 6 8 0 27 Feb 2020
The Automated Inspection of Opaque Liquid Vaccines Gregory Palmer Benjamin Schnieders Rahul Savani K. Tuyls J. Fossel H. Flore MedIm 29 7 0 21 Feb 2020
Manifold-based Test Generation for Image Classifiers Taejoon Byun Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer 18 9 0 15 Feb 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 30 98 0 09 Feb 2020
Manifold for Machine Learning Assurance Taejoon Byun Sanjai Rayadurgam 44 29 0 08 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 24 53 0 10 Jan 2020
Exploring Adversarial Attack in Spiking Neural Networks with Spike-Compatible Gradient Ling Liang Xing Hu Lei Deng Yujie Wu Guoqi Li Yufei Ding Peng Li Yuan Xie AAML 22 60 0 01 Jan 2020
Arachne: Search Based Repair of Deep Neural Networks Jeongju Sohn Sungmin Kang S. Yoo KELM 30 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
On Functional Test Generation for Deep Neural Network IPs Bo Luo Yu LI Lingxiao Wei Qiang Xu AAML 14 12 0 23 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 21 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 43 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 16 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 38 122 0 15 Sep 2019
Structure-Invariant Testing for Machine Translation Pinjia He Clara Meister Z. Su 27 104 0 19 Jul 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 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
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 18 104 0 25 Jun 2019
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 739 0 19 Jun 2019
Enhancing Gradient-based Attacks with Symbolic Intervals Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana AAML 25 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 32 18 0 19 May 2019
Test Selection for Deep Learning Systems Wei Ma Mike Papadakis Anestis Tsakmalis Maxime Cordy Yves Le Traon OOD 21 92 0 30 Apr 2019
Understanding Neural Networks via Feature Visualization: A survey Anh Nguyen J. Yosinski Jeff Clune FAtt 13 160 0 18 Apr 2019
Adversarial Defense Through Network Profiling Based Path Extraction Yuxian Qiu Jingwen Leng Cong Guo Quan Chen Chong 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 36 392 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