DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017

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

50 / 160 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 45 0 0 02 May 2025
FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection Shiwen Song Xiaofei Xie Ruitao Feng Qi Guo Sen Chen AAML 45 0 0 28 Apr 2025
Towards Assessing Deep Learning Test Input Generators Seif Mzoughi Ahmed Hajyahmed Mohamed Elshafei Foutse Khomh anb Diego Elias Costa D. Costa AAML 37 0 0 03 Apr 2025
MetaSel: A Test Selection Approach for Fine-tuned DNN Models Amin Abbasishahkoo Mahboubeh Dadkhah Lionel C. Briand Dayi Lin 49 0 0 21 Mar 2025
Path Analysis for Effective Fault Localization in Deep Neural Networks Soroush Hashemifar Saeed Parsa A. Kalaee AAML 39 0 0 28 Jan 2025
Improving DNN Modularization via Activation-Driven Training Tuan Ngo Abid Hassan Saad Shafiq Nenad Medvidovic MoMe 27 0 0 01 Nov 2024
Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers Lam Nguyen Tung Steven Cho Xiaoning Du Neelofar Neelofar Valerio Terragni Stefano Ruberto Aldeida Aleti 145 2 0 30 Oct 2024
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks Zohreh Aghababaeyan Manel Abdellatif Lionel C. Briand Ramesh S DiffM 39 0 0 15 Oct 2024
A3Rank: Augmentation Alignment Analysis for Prioritizing Overconfident Failing Samples for Deep Learning Models Zhengyuan Wei Haipeng Wang Qili Zhou William Chan 34 0 0 19 Jul 2024
Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification Ruben Grewal Paolo Tonella Andrea Stocco 48 12 0 29 Apr 2024
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 48 6 0 12 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 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 18 2 0 26 Feb 2024
MalModel: Hiding Malicious Payload in Mobile Deep Learning Models with Black-box Backdoor Attack Jiayi Hua Kailong Wang Meizhen Wang Guangdong Bai Xiapu Luo Haoyu Wang AAML 32 3 0 05 Jan 2024
The Earth is Flat? Unveiling Factual Errors in Large Language Models Wenxuan Wang Juluan Shi Zhaopeng Tu Youliang Yuan Jen-tse Huang Wenxiang Jiao Michael R. Lyu KELM HILM SyDa 47 1 0 01 Jan 2024
Efficient Representation of the Activation Space in Deep Neural Networks Tanya Akumu C. Cintas G. Tadesse Adebayo Oshingbesan Skyler Speakman E. McFowland AAML 28 0 0 13 Dec 2023
Mutation-based Fault Localization of Deep Neural Networks Ali Ghanbari Deepak-George Thomas Muhammad Arbab Arshad Hridesh Rajan 11 12 0 10 Sep 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 24 6 0 20 Jul 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses Joana Cabral Costa Tiago Roxo Hugo Manuel Proença Pedro R. M. Inácio AAML 37 49 0 18 May 2023
AdvCheck: Characterizing Adversarial Examples via Local Gradient Checking Ruoxi Chen Haibo Jin Jinyin Chen Haibin Zheng AAML 14 0 0 25 Mar 2023
An investigation of licensing of datasets for machine learning based on the GQM model Junyu Chen Norihiro Yoshida Hiroaki Takada 31 2 0 24 Mar 2023
Neuron Structure Modeling for Generalizable Remote Physiological Measurement Hao Lu Zitong Yu Xuesong Niu Yingke Chen 31 31 0 10 Mar 2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks Zohreh Aghababaeyan Manel Abdellatif Mahboubeh Dadkhah Lionel C. Briand AAML 28 15 0 08 Mar 2023
Testing the Channels of Convolutional Neural Networks Kang Choi Donghyun Son Younghoon Kim Jiwon Seo 20 1 0 06 Mar 2023
Neuroevolutionary algorithms driven by neuron coverage metrics for semi-supervised classification Roberto Santana Ivan Hidalgo-Cenalmor Unai Garciarena A. Mendiburu Jose A. Lozano 27 2 0 05 Mar 2023
Iterative Assessment and Improvement of DNN Operational Accuracy Antonio Guerriero R. Pietrantuono S. Russo AI4CE 12 4 0 02 Mar 2023
Convolutional Visual Prompt for Robust Visual Perception Yun-Yun Tsai Chengzhi Mao Junfeng Yang VLM VPVLM 31 13 0 01 Mar 2023
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks Mahum Naseer B. Prabakaran Osman Hasan Muhammad Shafique 16 7 0 24 Feb 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz M. Zhang AAML 37 5 0 27 Jan 2023
Understanding the Complexity and Its Impact on Testing in ML-Enabled Systems Junming Cao Bihuan Chen Longjie Hu Jie Ying Gao Kaifeng Huang Xin Peng 16 3 0 10 Jan 2023
FedDebug: Systematic Debugging for Federated Learning Applications Waris Gill A. Anwar Muhammad Ali Gulzar FedML 31 11 0 09 Jan 2023
AmbieGen: A Search-based Framework for Autonomous Systems Testing D. Humeniuk Foutse Khomh G. Antoniol 22 13 0 01 Jan 2023
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study Vincenzo Riccio Paolo Tonella AAML 18 29 0 21 Dec 2022
Efficient Adversarial Input Generation via Neural Net Patching Tooba Khan Kumar Madhukar Subodh Vishnu Sharma AAML 11 0 0 30 Nov 2022
An Empirical Study of Library Usage and Dependency in Deep Learning Frameworks Mohamed Raed El aoun L. Tidjon Ben Rombaut Foutse Khomh Ahmed E. Hassan 22 5 0 28 Nov 2022
Deep Fake Detection, Deterrence and Response: Challenges and Opportunities Amin Azmoodeh Ali Dehghantanha 34 2 0 26 Nov 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 30 11 0 04 Nov 2022
DriveFuzz: Discovering Autonomous Driving Bugs through Driving Quality-Guided Fuzzing Seulbae Kim Major Liu J. Rhee Yuseok Jeon Yonghwi Kwon C. Kim 27 42 0 25 Oct 2022
IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks Neophytos Christou Di Jin Vaggelis Atlidakis Baishakhi Ray V. Kemerlis 24 13 0 29 Sep 2022
Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications Konstantin Dmitriev J. Schumann F. Holzapfel 13 20 0 28 Sep 2022
An Overview of Structural Coverage Metrics for Testing Neural Networks Muhammad Usman Youcheng Sun D. Gopinath R. Dange Luca Manolache C. Păsăreanu 17 8 0 05 Aug 2022
COMET: Coverage-guided Model Generation For Deep Learning Library Testing Meiziniu Li Jialun Cao Yongqiang Tian T. Li Ming Wen S. Cheung VLM 18 19 0 02 Aug 2022
Differential testing for machine learning: an analysis for classification algorithms beyond deep learning Steffen Herbold Steffen Tunkel 23 4 0 25 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 16 10 0 02 Jul 2022
A Search-Based Testing Approach for Deep Reinforcement Learning Agents Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand M. Bagherzadeh Ramesh S 37 27 0 15 Jun 2022
Hierarchical Distribution-Aware Testing of Deep Learning Wei Huang Xingyu Zhao Alec Banks V. Cox Xiaowei Huang OOD AAML 34 10 0 17 May 2022
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation Chih-Hong Cheng Changshun Wu Emmanouil Seferis Saddek Bensalem 26 3 0 16 May 2022
AEON: A Method for Automatic Evaluation of NLP Test Cases Jen-tse Huang Jianping Zhang Wenxuan Wang Pinjia He Yuxin Su Michael R. Lyu 32 23 0 13 May 2022
Search-Based Testing of Reinforcement Learning Martin Tappler Filip Cano Córdoba B. Aichernig Bettina Könighofer ELM OffRL 21 23 0 07 May 2022
Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study) Michael Weiss Paolo Tonella AAML 10 49 0 02 May 2022