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. 1708.08559
  4. Cited By
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous
  Cars

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

28 August 2017
Yuchi Tian
Kexin Pei
Suman Jana
Baishakhi Ray
    AAML
ArXivPDFHTML

Papers citing "DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars"

50 / 151 papers shown
Title
Semantic Robustness of Models of Source Code
Semantic Robustness of Models of Source Code
Goutham Ramakrishnan
Jordan Henkel
Zi Wang
Aws Albarghouthi
S. Jha
Thomas W. Reps
SILM
AAML
41
97
0
07 Feb 2020
A Little Fog for a Large Turn
A Little Fog for a Large Turn
Harshitha Machiraju
V. Balasubramanian
AAML
15
9
0
16 Jan 2020
ReluDiff: Differential Verification of Deep Neural Networks
ReluDiff: Differential Verification of Deep Neural Networks
Brandon Paulsen
Jingbo Wang
Chao Wang
27
53
0
10 Jan 2020
Automated Testing for Deep Learning Systems with Differential Behavior
  Criteria
Automated Testing for Deep Learning Systems with Differential Behavior Criteria
Yuan Gao
Yiqiang Han
9
2
0
31 Dec 2019
Arachne: Search Based Repair of Deep Neural Networks
Arachne: Search Based Repair of Deep Neural Networks
Jeongju Sohn
Sungmin Kang
S. Yoo
KELM
30
46
0
28 Dec 2019
Metamorphic Testing for Object Detection Systems
Metamorphic Testing for Object Detection Systems
Shuai Wang
Z. Su
34
23
0
19 Dec 2019
Deep Neural Network Fingerprinting by Conferrable Adversarial Examples
Deep Neural Network Fingerprinting by Conferrable Adversarial Examples
Nils Lukas
Yuxuan Zhang
Florian Kerschbaum
MLAU
FedML
AAML
36
144
0
02 Dec 2019
Distortion and Faults in Machine Learning Software
Distortion and Faults in Machine Learning Software
S. Nakajima
12
4
0
25 Nov 2019
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning
Samet Demir
Hasan Ferit Eniser
A. Sen
AAML
11
28
0
24 Nov 2019
There is Limited Correlation between Coverage and Robustness for Deep
  Neural Networks
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
Algorithmic decision-making in AVs: Understanding ethical and technical
  concerns for smart cities
Algorithmic decision-making in AVs: Understanding ethical and technical concerns for smart cities
H. S. M. Lim
Araz Taeihagh
24
82
0
29 Oct 2019
Design, Benchmarking and Explainability Analysis of a Game-Theoretic
  Framework towards Energy Efficiency in Smart Infrastructure
Design, Benchmarking and Explainability Analysis of a Game-Theoretic Framework towards Energy Efficiency in Smart Infrastructure
Ioannis C. Konstantakopoulos
Hari Prasanna Das
Andrew R. Barkan
Shiying He
Tanya Veeravalli
Huihan Liu
Aummul Baneen Manasawala
Yu-Wen Lin
C. Spanos
27
21
0
16 Oct 2019
Attacking Vision-based Perception in End-to-End Autonomous Driving
  Models
Attacking Vision-based Perception in End-to-End Autonomous Driving Models
Adith Boloor
Karthik Garimella
Xin He
C. Gill
Yevgeniy Vorobeychik
Xuan Zhang
AAML
19
106
0
02 Oct 2019
An Empirical Study towards Characterizing Deep Learning Development and
  Deployment across Different Frameworks and Platforms
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
FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized
  Fake Faces
FakeSpotter: A Simple yet Robust Baseline for Spotting AI-Synthesized Fake Faces
Run Wang
Felix Juefei Xu
Lei Ma
Xiaofei Xie
Yihao Huang
Jian-Xun Wang
Yang Liu
AAML
CVBM
23
54
0
13 Sep 2019
Structure-Invariant Testing for Machine Translation
Structure-Invariant Testing for Machine Translation
Pinjia He
Clara Meister
Z. Su
27
104
0
19 Jul 2019
Metamorphic Testing of a Deep Learning based Forecaster
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
A Systematic Mapping Study on Testing of Machine Learning Programs
A Systematic Mapping Study on Testing of Machine Learning Programs
S. Sherin
Muhammad Uzair Khan
Muhammad Zohaib Z. Iqbal
30
13
0
11 Jul 2019
PhysGAN: Generating Physical-World-Resilient Adversarial Examples for
  Autonomous Driving
PhysGAN: Generating Physical-World-Resilient Adversarial Examples for Autonomous Driving
Zelun Kong
Junfeng Guo
Ang Li
Cong Liu
AAML
36
126
0
09 Jul 2019
Machine Learning Testing: Survey, Landscapes and Horizons
Machine Learning Testing: Survey, Landscapes and Horizons
Jie M. Zhang
Mark Harman
Lei Ma
Yang Liu
VLM
AILaw
39
739
0
19 Jun 2019
A Survey of Autonomous Driving: Common Practices and Emerging
  Technologies
A Survey of Autonomous Driving: Common Practices and Emerging Technologies
Ekim Yurtsever
Jacob Lambert
Alexander Carballo
K. Takeda
52
1,345
0
12 Jun 2019
Enhancing Gradient-based Attacks with Symbolic Intervals
Enhancing Gradient-based Attacks with Symbolic Intervals
Shiqi Wang
Yizheng Chen
Ahmed Abdou
Suman Jana
AAML
28
15
0
05 Jun 2019
Securing Connected & Autonomous Vehicles: Challenges Posed by
  Adversarial Machine Learning and The Way Forward
Securing Connected & Autonomous Vehicles: Challenges Posed by Adversarial Machine Learning and The Way Forward
A. Qayyum
Muhammad Usama
Junaid Qadir
Ala I. Al-Fuqaha
AAML
21
187
0
29 May 2019
Testing DNN Image Classifiers for Confusion & Bias Errors
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
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and
  Challenges
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
Rob Ashmore
R. Calinescu
Colin Paterson
AI4TS
27
116
0
10 May 2019
Test Selection for Deep Learning Systems
Test Selection for Deep Learning Systems
Wei Ma
Mike Papadakis
Anestis Tsakmalis
Maxime Cordy
Yves Le Traon
OOD
21
92
0
30 Apr 2019
Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural
  Networks for Steering Angle Prediction
Are Self-Driving Cars Secure? Evasion Attacks against Deep Neural Networks for Steering Angle Prediction
Alesia Chernikova
Alina Oprea
Cristina Nita-Rotaru
Baekgyu Kim
AAML
11
72
0
15 Apr 2019
Algorithms for Verifying Deep Neural Networks
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
Simple Physical Adversarial Examples against End-to-End Autonomous
  Driving Models
Simple Physical Adversarial Examples against End-to-End Autonomous Driving Models
Adith Boloor
Xin He
C. Gill
Yevgeniy Vorobeychik
Xuan Zhang
AAML
21
74
0
12 Mar 2019
Grammar Based Directed Testing of Machine Learning Systems
Grammar Based Directed Testing of Machine Learning Systems
Sakshi Udeshi
Sudipta Chattopadhyay
21
15
0
26 Feb 2019
Challenges in Designing Datasets and Validation for Autonomous Driving
Challenges in Designing Datasets and Validation for Autonomous Driving
Michal Uřičář
David Hurych
P. Krízek
S. Yogamani
22
34
0
26 Jan 2019
Input Prioritization for Testing Neural Networks
Input Prioritization for Testing Neural Networks
Taejoon Byun
Vaibhav Sharma
Abhishek Vijayakumar
Sanjai Rayadurgam
D. Cofer
AAML
29
67
0
11 Jan 2019
Rigorous Agent Evaluation: An Adversarial Approach to Uncover
  Catastrophic Failures
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
Junhui Yin
Jiayan Qiu
Csaba Szepesvári
Siqing Zhang
Avraham Ruderman
Jiyang Xie
Krishnamurthy Dvijotham
Zhanyu Ma
N. Heess
Pushmeet Kohli
AAML
15
80
0
04 Dec 2018
Strike (with) a Pose: Neural Networks Are Easily Fooled by Strange Poses
  of Familiar Objects
Strike (with) a Pose: Neural Networks Are Easily Fooled by Strange Poses of Familiar Objects
Michael A. Alcorn
Melvin Johnson
Zhitao Gong
Chengfei Wang
Long Mai
Naveen Ari
Stella Laurenzo
47
299
0
28 Nov 2018
Adversarial Learning-Based On-Line Anomaly Monitoring for Assured
  Autonomy
Adversarial Learning-Based On-Line Anomaly Monitoring for Assured Autonomy
Naman Patel
Apoorva Nandini Saridena
A. Choromańska
Prashanth Krishnamurthy
Farshad Khorrami
12
18
0
12 Nov 2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks
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
MixTrain: Scalable Training of Verifiably Robust Neural Networks
MixTrain: Scalable Training of Verifiably Robust Neural Networks
Yue Zhang
Yizheng Chen
Ahmed Abdou
Mohsen Guizani
AAML
21
23
0
06 Nov 2018
Procedural Noise Adversarial Examples for Black-Box Attacks on Deep
  Convolutional Networks
Procedural Noise Adversarial Examples for Black-Box Attacks on Deep Convolutional Networks
Kenneth T. Co
Luis Muñoz-González
Sixte de Maupeou
Emil C. Lupu
AAML
22
67
0
30 Sep 2018
Vision-based Navigation of Autonomous Vehicle in Roadway Environments
  with Unexpected Hazards
Vision-based Navigation of Autonomous Vehicle in Roadway Environments with Unexpected Hazards
Mhafuzul Islam
M. Chowdhury
Hongda Li
Hongxin Hu
AAML
16
12
0
27 Sep 2018
Automated Test Generation to Detect Individual Discrimination in AI
  Models
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
Metamorphic Relation Based Adversarial Attacks on Differentiable Neural
  Computer
Metamorphic Relation Based Adversarial Attacks on Differentiable Neural Computer
Alvin Chan
Lei Ma
Felix Juefei Xu
Xiaofei Xie
Yang Liu
Yew-Soon Ong
OOD
AAML
14
17
0
07 Sep 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided
  Fuzzing
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
Experimental Resilience Assessment of An Open-Source Driving Agent
Experimental Resilience Assessment of An Open-Source Driving Agent
A. Rubaiyat
Yongming Qin
H. Alemzadeh
27
44
0
17 Jul 2018
Testing Untestable Neural Machine Translation: An Industrial Case
Testing Untestable Neural Machine Translation: An Industrial Case
Wujie Zheng
Wenyu Wang
Dian Liu
Changrong Zhang
Qinsong Zeng
Yuetang Deng
Wei Yang
Pinjia He
Tao Xie
4
24
0
06 Jul 2018
Detecting Adversarial Samples for Deep Neural Networks through Mutation
  Testing
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing
Jingyi Wang
Jun Sun
Peixin Zhang
Xinyu Wang
AAML
21
41
0
14 May 2018
SdcNet: A Computation-Efficient CNN for Object Recognition
SdcNet: A Computation-Efficient CNN for Object Recognition
Yunlong Ma
Chunyan Wang
21
3
0
03 May 2018
Concolic Testing for Deep Neural Networks
Concolic Testing for Deep Neural Networks
Youcheng Sun
Min Wu
Wenjie Ruan
Xiaowei Huang
Marta Kwiatkowska
Daniel Kroening
20
333
0
30 Apr 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals
Formal Security Analysis of Neural Networks using Symbolic Intervals
Shiqi Wang
Kexin Pei
Justin Whitehouse
Junfeng Yang
Suman Jana
AAML
25
473
0
28 Apr 2018
Global Robustness Evaluation of Deep Neural Networks with Provable
  Guarantees for the $L_0$ Norm
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the L0L_0L0​ Norm
Wenjie Ruan
Min Wu
Youcheng Sun
Xiaowei Huang
Daniel Kroening
Marta Kwiatkowska
AAML
11
38
0
16 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
249
1,842
0
03 Feb 2017
Previous
1234
Next