Concolic Testing for Deep Neural Networks

30 April 2018

Min Wu

Papers citing "Concolic Testing for Deep Neural Networks"

46 / 46 papers shown

Title
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation Xiaowei Huang Wenjie Ruan Wei Huang Gao Jin Yizhen Dong ... Sihao Wu Peipei Xu Dengyu Wu André Freitas Mustafa A. Mustafa ALM 45 83 0 19 May 2023
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations Maximilian Schlüter Gerrit Nolte Alnis Murtovi Bernhard Steffen 29 6 0 19 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 26 3 0 10 Jan 2023
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 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 19 8 0 05 Aug 2022
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
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Song Dong AAML 23 43 0 24 Jun 2022
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
Hierarchical Distribution-Aware Testing of Deep Learning Wei Huang Xingyu Zhao Alec Banks V. Cox Xiaowei Huang OOD AAML 39 10 0 17 May 2022
Software Testing for Machine Learning D. Marijan A. Gotlieb AAML 22 27 0 30 Apr 2022
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks Xiaofei Xie Tianlin Li Jian-Xun Wang L. Ma Qing Guo Felix Juefei Xu Yang Liu AAML 21 51 0 24 Mar 2022
Neuro-Symbolic Verification of Deep Neural Networks Xuan Xie Kristian Kersting Daniel Neider AAML NAI 27 15 0 02 Mar 2022
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
Sparse Adversarial Video Attacks with Spatial Transformations Ronghui Mu Wenjie Ruan Leandro Soriano Marcolino Q. Ni AAML 30 18 0 10 Nov 2021
AequeVox: Automated Fairness Testing of Speech Recognition Systems Sai Sathiesh Rajan Sakshi Udeshi Sudipta Chattopadhyay 28 15 0 19 Oct 2021
Automated Testing of AI Models Swagatam Haldar Deepak Vijaykeerthy Diptikalyan Saha VLM 21 0 0 07 Oct 2021
Distribution Awareness for AI System Testing David Berend 24 8 0 06 May 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 19 0 0 08 Mar 2021
Uncertainty Quantification by Ensemble Learning for Computational Optical Form Measurements L. Hoffmann I. Fortmeier Clemens Elster UQCV 25 28 0 01 Mar 2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks Muhammad Usman Yannic Noller C. Păsăreanu Youcheng Sun D. Gopinath 32 8 0 27 Feb 2021
Distribution-Aware Testing of Neural Networks Using Generative Models Swaroopa Dola Matthew B. Dwyer M. Soffa 32 52 0 26 Feb 2021
A Software Engineering Perspective on Engineering Machine Learning Systems: State of the Art and Challenges G. Giray 33 120 0 14 Dec 2020
Software engineering for artificial intelligence and machine learning software: A systematic literature review E. Nascimento Anh Nguyen-Duc Ingrid Sundbø T. Conte 10 40 0 07 Nov 2020
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
A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research Cody Watson Nathan Cooper David Nader-Palacio Kevin Moran Denys Poshyvanyk 26 111 0 14 Sep 2020
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty Xiyue Zhang Xiaofei Xie Lei Ma Xiaoning Du Q. Hu Yang Liu Jianjun Zhao Meng Sun AAML 16 76 0 24 Apr 2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks Xingyu Zhao Alec Banks James Sharp Valentin Robu David Flynn Michael Fisher Xiaowei Huang AAML 50 48 0 07 Mar 2020
Testing Monotonicity of Machine Learning Models Arnab Sharma Heike Wehrheim 6 8 0 27 Feb 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 30 98 0 09 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 27 53 0 10 Jan 2020
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 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
Coverage Guided Testing for Recurrent Neural Networks Wei Huang Youcheng Sun Xing-E. Zhao James Sharp Wenjie Ruan Jie Meng Xiaowei Huang AAML 17 47 0 05 Nov 2019
ALERT: Accurate Learning for Energy and Timeliness Chengcheng Wan M. Santriaji E. Rogers H. Hoffmann Michael Maire Shan Lu AI4CE 43 40 0 31 Oct 2019
A Systematic Mapping Study on Testing of Machine Learning Programs S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 24 13 0 11 Jul 2019
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 739 0 19 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
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 32 18 0 19 May 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 21 15 0 26 Feb 2019
Input Prioritization for Testing Neural Networks Taejoon Byun Vaibhav Sharma Abhishek Vijayakumar Sanjai Rayadurgam D. Cofer AAML 29 67 0 11 Jan 2019
Secure Deep Learning Engineering: A Software Quality Assurance Perspective L. Ma Felix Juefei Xu Minhui Xue Q. Hu Sen Chen Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See AAML 27 35 0 10 Oct 2018
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
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 13 111 0 10 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
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,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016