Enhancing Differential Testing With LLMs For Testing Deep Learning Libraries

Evolutionary algorithms in theory and practice: evolution strategies, evolutionary programming, genetic algorithms

Thomas Back. 1996 · 1996

Earlier work this paper cites.

Strategies for scalable symbolic execution-driven test generation for programs

Saparya Krishnamoorthy, Michael S Hsiao, and Loganathan Lingappan. 2011 · 2011

Earlier work this paper cites.

DeepDriving: Learning Affordance for Direct Perception in Autonomous Driving. In 2015 IEEE International Conference on Computer Vision (ICCV) . IEEE, Santiago, Chile, 2722–2730

Chenyi Chen, Ari Seff, Alain Kornhauser, and Jianxiong Xiao. 2015 · 2015

Earlier work this paper cites.

TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Savannah, GA, USA) (OSDI’16) . USENIX Association, USA, 265–283

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016 · 2016

Earlier work this paper cites.

Identity Mappings in Deep Residual Networks. In Computer Vision – ECCV 2016 , Bastian Leibe, Jiri Matas, Nicu Sebe, and Max Welling (Eds.). Springer International Publishing, Cham, 630–645

Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun. 2016 · 2016

Earlier work this paper cites.

Safe, Multi-Agent, Reinforcement Learning for Autonomous Driving

S. Shalev-Shwartz, Shaked Shammah, and A. Shashua. 2016 · 2016

Earlier work this paper cites.

A survey on deep learning in medical image analysis

Geert Litjens, Thijs Kooi, Babak Ehteshami Bejnordi, Arnaud Arindra Adiyoso Setio, Francesco Ciompi, Mohsen Ghafoorian, Jeroen Awm Van Der Laak, Bram Van Ginneken, and Clara I Sánchez. 2017 · 2017

Earlier work this paper cites.

Deep Reinforcement Learning framework for Autonomous Driving

Ahmad El Sallab, Mohammed Abdou, E. Perot, and S. Yogamani. 2017 · 2017

Earlier work this paper cites.

A Deep Learning Approach to IoT Authentication. In 2018 IEEE International Conference on Communications (ICC) . IEEE, Kansas City, MO, USA, 1–6

Rajshekhar Das, Akshay Gadre, Shanghang Zhang, Swarun Kumar, and Jose M. F. Moura. 2018 · 2018

Earlier work this paper cites.

An empirical study on TensorFlow program bugs. In Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis (Amsterdam, Netherlands) (ISSTA 2018) . Association for Computing Machinery, New York, NY, USA, 129–140

Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, and Lu Zhang. 2018 · 2018

Earlier work this paper cites.

Deep Learning for Signal Authentication and Security in Massive Internet-of-Things Systems

Aidin Ferdowsi and W. Saad. 2019 · 2019

Earlier work this paper cites.

lcov-a graphical GCOV front-end

Peter Oberparleiter et al · 2019

Earlier work this paper cites.

PyTorch: An Imperative Style, High-Performance Deep Learning Library

Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Köpf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019 · 2019

Earlier work this paper cites.

CRADLE: cross-backend validation to detect and localize bugs in deep learning libraries. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) . IEEE, IEEE, Montreal, QC, Canada, 1027–1038

Hung Viet Pham, Thibaud Lutellier, Weizhen Qi, and Lin Tan. 2019 · 2019

Earlier work this paper cites.

Audee: Automated Testing for Deep Learning Frameworks. In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, Melbourne, VIC, Australia, 486–498

Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, and Chao Shen. 2020 · 2020

Earlier work this paper cites.

Discovering Discrepancies in Numerical Libraries. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (Virtual Event, USA) (ISSTA 2020) . Association for Computing Machinery, New York, NY, USA, 488–501

Jackson Vanover, Xuan Deng, and Cindy Rubio-González. 2020 · 2020

Earlier work this paper cites.

Deep Learning Library Testing via Effective Model Generation. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Virtual Event, USA) (ESEC/FSE 2020) . Association for Computing Machinery, New York, NY, USA, 788–799

Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang. 2020 · 2020

Earlier work this paper cites.

coverage.py

Ned Batchelder. 2021 · 2021

Cited alongside, same era.

Graph-Based Fuzz Testing for Deep Learning Inference Engines. In Proceedings of the 43rd International Conference on Software Engineering (ICSE ’21) . IEEE Press, Madrid, Spain, 288–299

Weisi Luo, Dong Chai, Xiaoyue Run, Jiang Wang, Chunrong Fang, and Zhenyu Chen. 2021 · 2021

Cited alongside, same era.

PyCG: Practical Call Graph Generation in Python. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) . 1646–1657

Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, and Dimitris Mitropoulos. 2021 · 2021

Cited alongside, same era.

Silent Bugs in Deep Learning Frameworks: An Empirical Study of Keras and TensorFlow

Florian Tambon, Amin Nikanjam, Le An, Foutse Khomh, and Giuliano Antoniol. 2021 · 2021

Cited alongside, same era.

Predoo: Precision Testing of Deep Learning Operators

Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu, Dong Chai, Jiang Wang, and Zhenyu Chen. 2021 · 2021

Cited alongside, same era.

Generation-based Differential Fuzzing for Deep Learning Libraries

Jiawei Liu, Yuheng Huang, Zhijie Wang, Lei Ma, Chunrong Fang, Mingzheng Gu, Xufan Zhang, and Zhenyu Chen. 2023 · 2023

Later among the works it cites.

ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (Seattle, WA, USA) (ISSTA 2023) . Association for Computing Machinery, New York, NY, USA, 690–702

Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, and Wei Huo. 2023 · 2023

Later among the works it cites.

Fuzzing Automatic Differentiation in Deep-Learning Libraries. In Proceedings of the 45th International Conference on Software Engineering (Melbourne, Victoria, Australia) (ICSE ’23) . IEEE Press, Melbourne, Australia, 1174–1186

Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, and Lingming Zhang. 2023 · 2023

Later among the works it cites.

A github repository maintaining the source code of ACETest

ACETest. Accessed: October, 2024 · 2024

Closest in time.