DocTer: documentation-guided fuzzing for testing deep learning API functions-Reference-Cited by-同舟云学术

DocTer: documentation-guided fuzzing for testing deep learning API functions

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Xie Danning¹,Li Yitong²,Kim Mijung³,Pham Hung Viet²,Tan Lin¹,Zhang Xiangyu¹,Godfrey Michael W.²

Affiliation:

1. Purdue University, USA

2. University of Waterloo, Canada

3. Ulsan National Institute of Science and Technology, South Korea

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3534220

Reference62 articles.

1. 1999. The Java Modeling Language (JML). "https://www.cs.ucf.edu/~leavens/JML/examples.shtml" 1999. The Java Modeling Language (JML). "https://www.cs.ucf.edu/~leavens/JML/examples.shtml"

2. 2004. Beautiful Soup. https://www.crummy.com/software/BeautifulSoup/bs4/doc/ 2004. Beautiful Soup. https://www.crummy.com/software/BeautifulSoup/bs4/doc/

3. 2013. American Fuzzy Lop. http://lcamtuf.coredump.cx/afl/ 2013. American Fuzzy Lop. http://lcamtuf.coredump.cx/afl/

4. 2014. Universal Dependencies. https://universaldependencies.org/ 2014. Universal Dependencies. https://universaldependencies.org/

5. 2015. libFuzzer – a library for coverage-guided fuzz testing.. http://llvm.org/docs/LibFuzzer.html 2015. libFuzzer – a library for coverage-guided fuzz testing.. http://llvm.org/docs/LibFuzzer.html

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Practitioners’ Expectations on Automated Test Generation;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. UPBEAT: Test Input Checks of Q# Quantum Libraries;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. History-Driven Fuzzing For Deep Learning Libraries;ACM Transactions on Software Engineering and Methodology;2024-08-16