ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1705.06640
  4. Cited By
DeepXplore: Automated Whitebox Testing of Deep Learning Systems

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017
Kexin Pei
Yinzhi Cao
Junfeng Yang
Suman Jana
    AAML
ArXivPDFHTML

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

50 / 175 papers shown
Title
Towards Understanding Deep Learning Model in Image Recognition via Coverage Test
Towards Understanding Deep Learning Model in Image Recognition via Coverage Test
Wenkai Li
Xiaoqi Li
Yingjie Mao
Yishun Wang
24
0
0
12 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
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
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
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
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
Path Analysis for Effective Fault Localization in Deep Neural Networks
Soroush Hashemifar
Saeed Parsa
A. Kalaee
AAML
44
0
0
28 Jan 2025
Improving DNN Modularization via Activation-Driven Training
Improving DNN Modularization via Activation-Driven Training
Tuan Ngo
Abid Hassan
Saad Shafiq
Nenad Medvidovic
MoMe
32
0
0
01 Nov 2024
Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
Lam Nguyen Tung
Steven Cho
Xiaoning Du
Neelofar Neelofar
Valerio Terragni
Stefano Ruberto
Aldeida Aleti
150
2
0
30 Oct 2024
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks
DiffGAN: A Test Generation Approach for Differential Testing of Deep Neural Networks
Zohreh Aghababaeyan
Manel Abdellatif
Lionel C. Briand
Ramesh S
DiffM
42
0
0
15 Oct 2024
A3Rank: Augmentation Alignment Analysis for Prioritizing Overconfident
  Failing Samples for Deep Learning Models
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
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
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
53
6
0
12 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition
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
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
23
2
0
26 Feb 2024
MalModel: Hiding Malicious Payload in Mobile Deep Learning Models with
  Black-box Backdoor Attack
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
34
3
0
05 Jan 2024
The Earth is Flat? Unveiling Factual Errors in Large Language Models
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
Efficient Representation of the Activation Space in Deep Neural Networks
Tanya Akumu
C. Cintas
G. Tadesse
Adebayo Oshingbesan
Skyler Speakman
E. McFowland
AAML
36
0
0
13 Dec 2023
Mutation-based Fault Localization of Deep Neural Networks
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
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
27
6
0
20 Jul 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks &
  Defenses
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
40
50
0
18 May 2023
AdvCheck: Characterizing Adversarial Examples via Local Gradient
  Checking
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
An investigation of licensing of datasets for machine learning based on the GQM model
Junyu Chen
Norihiro Yoshida
Hiroaki Takada
33
2
0
24 Mar 2023
Neuron Structure Modeling for Generalizable Remote Physiological
  Measurement
Neuron Structure Modeling for Generalizable Remote Physiological Measurement
Hao Lu
Zitong Yu
Xuesong Niu
Yingke Chen
34
31
0
10 Mar 2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep
  Neural Networks
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks
Zohreh Aghababaeyan
Manel Abdellatif
Mahboubeh Dadkhah
Lionel C. Briand
AAML
34
15
0
08 Mar 2023
Testing the Channels of Convolutional Neural Networks
Testing the Channels of Convolutional Neural Networks
Kang Choi
Donghyun Son
Younghoon Kim
Jiwon Seo
28
1
0
06 Mar 2023
Neuroevolutionary algorithms driven by neuron coverage metrics for
  semi-supervised classification
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
Iterative Assessment and Improvement of DNN Operational Accuracy
Antonio Guerriero
R. Pietrantuono
S. Russo
AI4CE
17
4
0
02 Mar 2023
Convolutional Visual Prompt for Robust Visual Perception
Convolutional Visual Prompt for Robust Visual Perception
Yun-Yun Tsai
Chengzhi Mao
Junfeng Yang
VLM
VPVLM
31
13
0
01 Mar 2023
Metric Learning Improves the Ability of Combinatorial Coverage Metrics
  to Anticipate Classification Error
Metric Learning Improves the Ability of Combinatorial Coverage Metrics to Anticipate Classification Error
Tyler Cody
Laura J. Freeman
OODD
11
2
0
28 Feb 2023
Active Learning with Combinatorial Coverage
Active Learning with Combinatorial Coverage
Sai Prathyush Katragadda
Tyler Cody
Peter A. Beling
Laura J. Freeman
16
6
0
28 Feb 2023
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias
  Alleviation in Neural Networks
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks
Mahum Naseer
B. Prabakaran
Osman Hasan
Muhammad Shafique
24
7
0
24 Feb 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep
  Neural Networks
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
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
26
3
0
10 Jan 2023
FedDebug: Systematic Debugging for Federated Learning Applications
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
AmbieGen: A Search-based Framework for Autonomous Systems Testing
D. Humeniuk
Foutse Khomh
G. Antoniol
24
13
0
01 Jan 2023
When and Why Test Generators for Deep Learning Produce Invalid Inputs:
  an Empirical Study
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
Vincenzo Riccio
Paolo Tonella
AAML
24
29
0
21 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks
QEBVerif: Quantization Error Bound Verification of Neural Networks
Yedi Zhang
Fu Song
Jun Sun
MQ
26
11
0
06 Dec 2022
Efficient Adversarial Input Generation via Neural Net Patching
Efficient Adversarial Input Generation via Neural Net Patching
Tooba Khan
Kumar Madhukar
Subodh Vishnu Sharma
AAML
24
0
0
30 Nov 2022
An Empirical Study of Library Usage and Dependency in Deep Learning
  Frameworks
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
Deep Fake Detection, Deterrence and Response: Challenges and Opportunities
Amin Azmoodeh
Ali Dehghantanha
42
2
0
26 Nov 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via
  Reachability Analysis
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
Kaustav Chakraborty
Somil Bansal
33
11
0
04 Nov 2022
DriveFuzz: Discovering Autonomous Driving Bugs through Driving
  Quality-Guided Fuzzing
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
IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks
Neophytos Christou
Di Jin
Vaggelis Atlidakis
Baishakhi Ray
V. Kemerlis
29
13
0
29 Sep 2022
Toward Certification of Machine-Learning Systems for Low Criticality
  Airborne Applications
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
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
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li
Jialun Cao
Yongqiang Tian
T. Li
Ming Wen
Shing-Chi Cheung
VLM
18
19
0
02 Aug 2022
Differential testing for machine learning: an analysis for
  classification algorithms beyond deep learning
Differential testing for machine learning: an analysis for classification algorithms beyond deep learning
Steffen Herbold
Steffen Tunkel
28
4
0
25 Jul 2022
Guiding the retraining of convolutional neural networks against
  adversarial inputs
Guiding the retraining of convolutional neural networks against adversarial inputs
Francisco Durán
Silverio Martínez-Fernández
Michael Felderer
Xavier Franch
AAML
35
1
0
08 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of
  Neural Networks
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu
Yunhan Xing
Xiaomu Shi
Fu Song
Zhiwu Xu
Zhong Ming
24
10
0
02 Jul 2022
A Search-Based Testing Approach for Deep Reinforcement Learning Agents
A Search-Based Testing Approach for Deep Reinforcement Learning Agents
Amirhossein Zolfagharian
Manel Abdellatif
Lionel C. Briand
M. Bagherzadeh
Ramesh S
45
27
0
15 Jun 2022
1234
Next