Testing Deep Neural Networks

10 March 2018

Papers citing "Testing Deep Neural Networks"

35 / 35 papers shown

Title
Towards Understanding Deep Learning Model in Image Recognition via Coverage Test Wenkai Li Xiaoqi Li Yingjie Mao Yishun Wang 29 0 0 12 May 2025
Path Analysis for Effective Fault Localization in Deep Neural Networks Soroush Hashemifar Saeed Parsa A. Kalaee AAML 49 0 0 28 Jan 2025
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 57 6 0 12 Apr 2024
Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep Learning Projects Han Wang Sijia Yu Chunyang Chen Burak Turhan Xiaodong Zhu ELM MLAU 28 2 0 26 Feb 2024
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 52 83 0 19 May 2023
D-Score: A White-Box Diagnosis Score for CNNs Based on Mutation Operators Xin Zhang Yuqi Song Xiang Wang Fei Zuo MedIm DiffM 20 2 0 03 Apr 2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks Zohreh Aghababaeyan Manel Abdellatif Mahboubeh Dadkhah Lionel C. Briand AAML 34 16 0 08 Mar 2023
Testing the Channels of Convolutional Neural Networks Kang Choi Donghyun Son Younghoon Kim Jiwon Seo 33 1 0 06 Mar 2023
A Search-Based Testing Approach for Deep Reinforcement Learning Agents Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand M. Bagherzadeh Ramesh S 50 27 0 15 Jun 2022
Software Testing for Machine Learning D. Marijan A. Gotlieb AAML 24 27 0 30 Apr 2022
Fixed-Point Code Synthesis For Neural Networks Hanane Benmaghnia M. Martel Yassamine Seladji MQ 23 5 0 04 Feb 2022
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion Yuanyuan Yuan Qi Pang Shuai Wang 43 22 0 03 Dec 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 31 31 0 09 Jun 2021
Distribution-Aware Testing of Neural Networks Using Generative Models Swaroopa Dola Matthew B. Dwyer M. Soffa 32 52 0 26 Feb 2021
Increasing the Confidence of Deep Neural Networks by Coverage Analysis Giulio Rossolini Alessandro Biondi Giorgio Buttazzo AAML 26 13 0 28 Jan 2021
Optimizing Information Loss Towards Robust Neural Networks Philip Sperl Konstantin Böttinger AAML 21 3 0 07 Aug 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
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 32 98 0 09 Feb 2020
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 16 13 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
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 741 0 19 Jun 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 37 18 0 19 May 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 38 394 0 15 Mar 2019
Input Prioritization for Testing Neural Networks Taejoon Byun Vaibhav Sharma Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer AAML 29 67 0 11 Jan 2019
DeepSaucer: Unified Environment for Verifying Deep Neural Networks Naoto Sato Duong Nguyen Anh M. Kaneko Yuichiroh Nakagawa H. Ogawa Son Hoang Michael J. Butler 13 1 0 09 Nov 2018
Automated Test Generation to Detect Individual Discrimination in AI Models Aniya Aggarwal P. Lohia Seema Nagar Kuntal Dey Diptikalyan Saha 15 40 0 10 Sep 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie Lei Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 43 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
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 31 334 0 30 Apr 2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm Wenjie Ruan Min Wu Youcheng Sun Xiaowei Huang Daniel Kroening Marta Kwiatkowska AAML 27 38 0 16 Apr 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016