TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing

28 July 2018

Papers citing "TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing"

50 / 50 papers shown

Title
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 50 0 0 02 May 2025
Towards Assessing Deep Learning Test Input Generators Seif Mzoughi Ahmed Hajyahmed Mohamed Elshafei Foutse Khomh anb Diego Elias Costa D. Costa AAML 42 0 0 03 Apr 2025
Precision Guided Approach to Mitigate Data Poisoning Attacks in Federated Learning Naveen Kumar Krishna Mohan Aravind Machiry AAML 42 1 0 05 Apr 2024
Preemptively Pruning Clever-Hans Strategies in Deep Neural Networks Lorenz Linhardt Klaus-Robert Muller G. Montavon AAML 31 7 0 12 Apr 2023
Machine Learning with Requirements: a Manifesto Eleonora Giunchiglia F. Imrie M. Schaar Thomas Lukasiewicz AI4TS OffRL VLM 45 5 0 07 Apr 2023
Testing the Channels of Convolutional Neural Networks Kang Choi Donghyun Son Younghoon Kim Jiwon Seo 33 1 0 06 Mar 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 31 3 0 10 Jan 2023
FedDebug: Systematic Debugging for Federated Learning Applications Waris Gill A. Anwar Muhammad Ali Gulzar FedML 34 11 0 09 Jan 2023
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 26 11 0 06 Dec 2022
Deep Fake Detection, Deterrence and Response: Challenges and Opportunities Amin Azmoodeh Ali Dehghantanha 45 2 0 26 Nov 2022
IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks Neophytos Christou Di Jin Vaggelis Atlidakis Baishakhi Ray V. Kemerlis 29 13 0 29 Sep 2022
COMET: Coverage-guided Model Generation For Deep Learning Library Testing Meiziniu Li Jialun Cao Yongqiang Tian T. Li Ming Wen Shing-Chi Cheung VLM 26 19 0 02 Aug 2022
Generating and Detecting True Ambiguity: A Forgotten Danger in DNN Supervision Testing Michael Weiss A. Gómez Paolo Tonella AAML 18 6 0 21 Jul 2022
Software Testing for Machine Learning D. Marijan A. Gotlieb AAML 24 27 0 30 Apr 2022
LaF: Labeling-Free Model Selection for Automated Deep Neural Network Reusing Qiang Hu Yuejun Guo Maxime Cordy Xiaofei Xie Mike Papadakis Yves Le Traon 23 5 0 08 Apr 2022
Testing Feedforward Neural Networks Training Programs Houssem Ben Braiek Foutse Khomh AAML 18 14 0 01 Apr 2022
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks Xiaofei Xie Tianlin Li Jian-Xun Wang Lei Ma Qing Guo Felix Juefei Xu Yang Liu AAML 29 51 0 24 Mar 2022
Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation Jiawei Liu Yuxiang Wei Sen Yang Yinlin Deng Lingming Zhang 41 41 0 21 Feb 2022
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 33 6 0 12 Feb 2022
Security for Machine Learning-based Software Systems: a survey of threats, practices and challenges Huaming Chen Muhammad Ali Babar AAML 42 22 0 12 Jan 2022
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion Yuanyuan Yuan Qi Pang Shuai Wang 43 22 0 03 Dec 2021
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 Hua Qi Zhijie Wang Qing Guo Jianlang Chen Felix Juefei Xu Lei Ma Jianjun Zhao AAML AI4CE 35 17 0 26 Nov 2021
AequeVox: Automated Fairness Testing of Speech Recognition Systems Sai Sathiesh Rajan Sakshi Udeshi Sudipta Chattopadhyay 28 15 0 19 Oct 2021
ML4ML: Automated Invariance Testing for Machine Learning Models Zukang Liao Pengfei Zhang Min Chen VLM 26 3 0 27 Sep 2021
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection Yan Liang Ziqi Zhang Bingyan Liu Ziyue Yang Yunxin Liu 21 53 0 11 Jun 2021
Distribution Awareness for AI System Testing David Berend 24 8 0 06 May 2021
Software Engineering for AI-Based Systems: A Survey Silverio Martínez-Fernández Justus Bogner Xavier Franch Marc Oriol Julien Siebert Adam Trendowicz Anna Maria Vollmer Stefan Wagner 27 211 0 05 May 2021
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing Dongning Ma Jianmin Guo Yu Jiang Xun Jiao AAML 30 25 0 15 Mar 2021
Distribution-Aware Testing of Neural Networks Using Generative Models Swaroopa Dola Matthew B. Dwyer M. Soffa 32 52 0 26 Feb 2021
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 Philip Sperl Konstantin Böttinger AAML 21 3 0 07 Aug 2020
DeepSonar: Towards Effective and Robust Detection of AI-Synthesized Fake Voices Run Wang Felix Juefei Xu Yihao Huang Qing Guo Xiaofei Xie Lei Ma Yang Liu AAML 32 105 0 28 May 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
Model Assertions for Monitoring and Improving ML Models Daniel Kang Deepti Raghavan Peter Bailis Matei A. Zaharia 19 58 0 03 Mar 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 32 98 0 09 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 30 53 0 10 Jan 2020
Metamorphic Testing for Object Detection Systems Shuai Wang Z. Su 34 24 0 19 Dec 2019
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 37 47 0 05 Nov 2019
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
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 741 0 19 Jun 2019
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 27 187 0 29 May 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
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges Rob Ashmore R. Calinescu Colin Paterson AI4TS 32 116 0 10 May 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 27 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
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie Lei Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 43 40 0 04 Sep 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017