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 / 160 papers shown
Title
Software Testing for Machine Learning
Software Testing for Machine Learning
D. Marijan
A. Gotlieb
AAML
22
27
0
30 Apr 2022
Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a
  Pedestrian Automatic Emergency Brake System
Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System
Markus Borg
Jens Henriksson
Kasper Socha
Olof Lennartsson
Elias Sonnsjo Lonegren
T. Bui
Piotr Tomaszewski
S. Sathyamoorthy
Sebastian Brink
M. H. Moghadam
22
23
0
16 Apr 2022
LaF: Labeling-Free Model Selection for Automated Deep Neural Network
  Reusing
LaF: Labeling-Free Model Selection for Automated Deep Neural Network Reusing
Qiang Hu
Yuejun Guo
Maxime Cordy
Xiaofei Xie
Mike Papadakis
Yves Le Traon
21
5
0
08 Apr 2022
Testing Feedforward Neural Networks Training Programs
Testing Feedforward Neural Networks Training Programs
Houssem Ben Braiek
Foutse Khomh
AAML
11
14
0
01 Apr 2022
SoK: On the Semantic AI Security in Autonomous Driving
SoK: On the Semantic AI Security in Autonomous Driving
Junjie Shen
Ningfei Wang
Ziwen Wan
Yunpeng Luo
Takami Sato
...
Zhenyu Zhong
Kang Li
Ziming Zhao
Chunming Qiao
Qi Alfred Chen
AAML
15
39
0
10 Mar 2022
Testing Deep Learning Models: A First Comparative Study of Multiple
  Testing Techniques
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
M. K. Ahuja
A. Gotlieb
Helge Spieker
AAML
11
4
0
24 Feb 2022
Excitement Surfeited Turns to Errors: Deep Learning Testing Framework
  Based on Excitable Neurons
Excitement Surfeited Turns to Errors: Deep Learning Testing Framework Based on Excitable Neurons
Haibo Jin
Ruoxi Chen
Haibin Zheng
Jinyin Chen
Yao Cheng
Yue Yu
Xianglong Liu
AAML
22
6
0
12 Feb 2022
Systematic Training and Testing for Machine Learning Using Combinatorial
  Interaction Testing
Systematic Training and Testing for Machine Learning Using Combinatorial Interaction Testing
Tyler Cody
Erin Lanus
Daniel D. Doyle
Laura J. Freeman
11
24
0
28 Jan 2022
Security for Machine Learning-based Software Systems: a survey of
  threats, practices and challenges
Security for Machine Learning-based Software Systems: a survey of threats, practices and challenges
Huaming Chen
Muhammad Ali Babar
AAML
31
21
0
12 Jan 2022
Mind the Gap! A Study on the Transferability of Virtual vs
  Physical-world Testing of Autonomous Driving Systems
Mind the Gap! A Study on the Transferability of Virtual vs Physical-world Testing of Autonomous Driving Systems
Andrea Stocco
Brian Pulfer
Paolo Tonella
27
67
0
21 Dec 2021
Black-Box Testing of Deep Neural Networks Through Test Case Diversity
Black-Box Testing of Deep Neural Networks Through Test Case Diversity
Zohreh Aghababaeyan
Manel Abdellatif
Lionel C. Briand
Ramesh S
M. Bagherzadeh
AAML
37
44
0
20 Dec 2021
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and
  Distribution-Aware Criterion
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
Yuanyuan Yuan
Qi Pang
Shuai Wang
35
21
0
03 Dec 2021
Understanding Performance Problems in Deep Learning Systems
Understanding Performance Problems in Deep Learning Systems
Junming Cao
Bihuan Chen
Chao Sun
Longjie Hu
Shuai Wu
Xin Peng
30
27
0
03 Dec 2021
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural
  Networks
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks
Hua Qi
Zhijie Wang
Qing-Wu Guo
Jianlang Chen
Felix Juefei Xu
L. Ma
Jianjun Zhao
AAML
AI4CE
22
16
0
26 Nov 2021
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Logically Sound Arguments for the Effectiveness of ML Safety Measures
Chih-Hong Cheng
Tobias Schuster
Simon Burton
AAML
25
6
0
04 Nov 2021
Data Synthesis for Testing Black-Box Machine Learning Models
Data Synthesis for Testing Black-Box Machine Learning Models
Diptikalyan Saha
Aniya Aggarwal
Sandeep Hans
17
4
0
03 Nov 2021
AequeVox: Automated Fairness Testing of Speech Recognition Systems
AequeVox: Automated Fairness Testing of Speech Recognition Systems
Sai Sathiesh Rajan
Sakshi Udeshi
Sudipta Chattopadhyay
20
15
0
19 Oct 2021
Finding Critical Scenarios for Automated Driving Systems: A Systematic
  Literature Review
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review
Xinhai Zhang
Jianbo Tao
Kaige Tan
Martin Törngren
José Manuel Gaspar Sánchez
...
Magnus Gyllenhammar
F. Wotawa
N. Mohan
Mihai Nica
Hermann Felbinger
32
39
0
16 Oct 2021
Trustworthy AI: From Principles to Practices
Trustworthy AI: From Principles to Practices
Bo-wen Li
Peng Qi
Bo Liu
Shuai Di
Jingen Liu
Jiquan Pei
Jinfeng Yi
Bowen Zhou
119
355
0
04 Oct 2021
ML4ML: Automated Invariance Testing for Machine Learning Models
ML4ML: Automated Invariance Testing for Machine Learning Models
Zukang Liao
Pengfei Zhang
Min Chen
VLM
21
3
0
27 Sep 2021
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation
  Score
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score
Vincenzo Riccio
Nargiz Humbatova
Gunel Jahangirova
Paolo Tonella
12
36
0
15 Sep 2021
Efficient Out-of-Distribution Detection Using Latent Space of
  $β$-VAE for Cyber-Physical Systems
Efficient Out-of-Distribution Detection Using Latent Space of βββ-VAE for Cyber-Physical Systems
Shreyas Ramakrishna
Zahra Rahiminasab
G. Karsai
Arvind Easwaran
Abhishek Dubey
OODD
19
27
0
26 Aug 2021
Robust Semantic Segmentation with Superpixel-Mix
Robust Semantic Segmentation with Superpixel-Mix
Gianni Franchi
Nacim Belkhir
Mai Lan Ha
Yufei Hu
Andrei Bursuc
V. Blanz
Angela Yao
UQCV
33
22
0
02 Aug 2021
How to Certify Machine Learning Based Safety-critical Systems? A
  Systematic Literature Review
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review
Florian Tambon
Gabriel Laberge
Le An
Amin Nikanjam
Paulina Stevia Nouwou Mindom
Y. Pequignot
Foutse Khomh
G. Antoniol
E. Merlo
François Laviolette
25
65
0
26 Jul 2021
On Robustness of Lane Detection Models to Physical-World Adversarial
  Attacks in Autonomous Driving
On Robustness of Lane Detection Models to Physical-World Adversarial Attacks in Autonomous Driving
Takami Sato
Qi Alfred Chen
AAML
ELM
35
6
0
06 Jul 2021
Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion
  based Perception in Autonomous Driving Under Physical-World Attacks
Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks
Yulong Cao*
Ningfei Wang*
Chaowei Xiao
Dawei Yang
Jin Fang
Ruigang Yang
Qi Alfred Chen
Mingyan D. Liu
Bo-wen Li
AAML
24
217
0
17 Jun 2021
Exposing Previously Undetectable Faults in Deep Neural Networks
Exposing Previously Undetectable Faults in Deep Neural Networks
Isaac Dunn
Hadrien Pouget
Daniel Kroening
T. Melham
AAML
26
28
0
01 Jun 2021
Distribution Awareness for AI System Testing
Distribution Awareness for AI System Testing
David Berend
21
8
0
06 May 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement
  Learning
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning
Zikang Xiong
Suresh Jagannathan
19
6
0
20 Apr 2021
Performance Analysis of Out-of-Distribution Detection on Various Trained
  Neural Networks
Performance Analysis of Out-of-Distribution Detection on Various Trained Neural Networks
Jens Henriksson
C. Berger
Markus Borg
Lars Tornberg
S. Sathyamoorthy
Cristofer Englund
OODD
20
17
0
29 Mar 2021
StyleLess layer: Improving robustness for real-world driving
StyleLess layer: Improving robustness for real-world driving
Julien Rebut
Andrei Bursuc
P. Pérez
22
5
0
25 Mar 2021
Multi-Label Classification Neural Networks with Hard Logical Constraints
Multi-Label Classification Neural Networks with Hard Logical Constraints
Eleonora Giunchiglia
Thomas Lukasiewicz
AILaw
23
42
0
24 Mar 2021
Testing Autonomous Systems with Believed Equivalence Refinement
Testing Autonomous Systems with Believed Equivalence Refinement
Chih-Hong Cheng
Rongjie Yan
14
0
0
08 Mar 2021
Test Automation with Grad-CAM Heatmaps -- A Future Pipe Segment in MLOps
  for Vision AI?
Test Automation with Grad-CAM Heatmaps -- A Future Pipe Segment in MLOps for Vision AI?
Markus Borg
Ronald Jabangwe
Simon Åberg
Arvid Ekblom
Ludwig Hedlund
August Lidfeldt
11
18
0
02 Mar 2021
Neuron Coverage-Guided Domain Generalization
Neuron Coverage-Guided Domain Generalization
Chris Xing Tian
Haoliang Li
Xiaofei Xie
Yang Liu
Shiqi Wang
23
35
0
27 Feb 2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks
Muhammad Usman
Yannic Noller
C. Păsăreanu
Youcheng Sun
D. Gopinath
19
8
0
27 Feb 2021
Distribution-Aware Testing of Neural Networks Using Generative Models
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
Increasing the Confidence of Deep Neural Networks by Coverage Analysis
Giulio Rossolini
Alessandro Biondi
Giorgio Buttazzo
AAML
26
13
0
28 Jan 2021
DeepPayload: Black-box Backdoor Attack on Deep Learning Models through
  Neural Payload Injection
DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection
Yuanchun Li
Jiayi Hua
Haoyu Wang
Chunyang Chen
Yunxin Liu
FedML
SILM
86
75
0
18 Jan 2021
Explainability of deep vision-based autonomous driving systems: Review
  and challenges
Explainability of deep vision-based autonomous driving systems: Review and challenges
Éloi Zablocki
H. Ben-younes
P. Pérez
Matthieu Cord
XAI
37
169
0
13 Jan 2021
Robust Machine Learning Systems: Challenges, Current Trends,
  Perspectives, and the Road Ahead
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
75
100
0
04 Jan 2021
Automatic Test Suite Generation for Key-Points Detection DNNs using
  Many-Objective Search (Experience Paper)
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
Characterizing and Taming Model Instability Across Edge Devices
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
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
27
97
0
13 Oct 2020
Deep Learning & Software Engineering: State of Research and Future
  Directions
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
Optimizing Information Loss Towards Robust Neural Networks
Optimizing Information Loss Towards Robust Neural Networks
Philip Sperl
Konstantin Böttinger
AAML
13
3
0
07 Aug 2020
Scaling Polyhedral Neural Network Verification on GPUs
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
ConFoc: Content-Focus Protection Against Trojan Attacks on Neural Networks
Miguel Villarreal-Vasquez
B. Bhargava
AAML
6
38
0
01 Jul 2020
Robust Federated Learning: The Case of Affine Distribution Shifts
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
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices
Run Wang
Felix Juefei Xu
Yihao Huang
Qing-Wu Guo
Xiaofei Xie
L. Ma
Yang Liu
AAML
17
104
0
28 May 2020
Previous
1234
Next