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

28 August 2017

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

27 / 127 papers shown

Title
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 S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 14 13 0 11 Jul 2019
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
A Survey of Autonomous Driving: Common Practices and Emerging Technologies Ekim Yurtsever Jacob Lambert Alexander Carballo K. Takeda 37 1,344 0 12 Jun 2019
Enhancing Gradient-based Attacks with Symbolic Intervals Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana AAML 23 15 0 05 Jun 2019
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
Test Selection for Deep Learning Systems Wei Ma Mike Papadakis Anestis Tsakmalis Maxime Cordy Yves Le Traon OOD 21 91 0 30 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 30 390 0 15 Mar 2019
Simple Physical Adversarial Examples against End-to-End Autonomous Driving Models Adith Boloor Xin He C. Gill Yevgeniy Vorobeychik Xuan Zhang AAML 13 74 0 12 Mar 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 16 15 0 26 Feb 2019
Challenges in Designing Datasets and Validation for Autonomous Driving Michal Uřičář David Hurych P. Krízek S. Yogamani 20 34 0 26 Jan 2019
Input Prioritization for Testing Neural Networks Taejoon Byun Vaibhav Sharma Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer AAML 26 67 0 11 Jan 2019
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 Michael A. Alcorn Melvin Johnson Zhitao Gong Chengfei Wang Long Mai Naveen Ari Stella Laurenzo 30 298 0 28 Nov 2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks Naoto Sato Duong Nguyen Anh M. Kaneko Yuichiroh Nakagawa H. Ogawa Son Hoang Michael J. Butler 8 1 0 09 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou M. Guizani AAML 19 23 0 06 Nov 2018
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 19 67 0 30 Sep 2018
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 Aniya Aggarwal P. Lohia Seema Nagar Kuntal Dey Diptikalyan Saha 13 40 0 10 Sep 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie L. Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 32 40 0 04 Sep 2018
Experimental Resilience Assessment of An Open-Source Driving Agent A. Rubaiyat Yongming Qin H. Alemzadeh 19 44 0 17 Jul 2018
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 Jingyi Wang Jun Sun Peixin Zhang Xinyu Wang AAML 19 41 0 14 May 2018
SdcNet: A Computation-Efficient CNN for Object Recognition Yunlong Ma Chunyan Wang 21 3 0 03 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 20 472 0 28 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016