Fetching the paper…
Reading the bibliography…
Many modern software systems are enabled by deep learning libraries such as TensorFlow and PyTorch.
Learning regular sets from queries and counterexamples
Dana Angluin · 1987
Earlier work this paper cites.
Queries and concept learning
Dana Angluin · 1988
Earlier work this paper cites.
An empirical study of the reliability of UNIX utilities
Barton P Miller, Louis Fredriksen, and Bryan So · 1990
Earlier work this paper cites.
A user’s guide to gringo, clasp, clingo, and iclingo
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, and Sven Thiele · 2008
Earlier work this paper cites.
Active learning literature survey
Burr Settles · 2009
Earlier work this paper cites.
Taintscope: A checksum-aware directed fuzzing tool for automatic software vulnerability detection
Tielei Wang, Tao Wei, Guofei Gu, and Wei Zou · 2010
Earlier work this paper cites.
Testing and validating machine learning classifiers by metamorphic testing
Xiaoyuan Xie, Joshua WK Ho, Christian Murphy, Gail Kaiser, Baowen Xu, and Tsong Yueh Chen · 2011
Earlier work this paper cites.
Optimizing seed selection for fuzzing
Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley · 2014
Earlier work this paper cites.
Coverage-based greybox fuzzing as markov chain
Marcel Böhme, Van-Thuan Pham, and Abhik Roychoudhury · 2016
Earlier work this paper cites.
Difuze: Interface aware fuzzing for kernel drivers
Jake Corina, Aravind Machiry, Christopher Salls, Yan Shoshitaishvili, Shuang Hao, Christopher Kruegel, and Giovanni Vigna · 2017
Earlier work this paper cites.
Identifying implementation bugs in machine learning based image classifiers using metamorphic testing
Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M Rao, RP Jagadeesh Chandra Bose, Neville Dubash, and Sanjay Podder · 2018
Earlier work this paper cites.
DLFuzz: Differential fuzzing testing of deep learning systems
Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, and Jiaguang Sun · 2018
Earlier work this paper cites.
MoonShine: Optimizing OS fuzzer seed selection with trace distillation
Shankara Pailoor, Andrew Aday, and Suman Jana · 2018
Earlier work this paper cites.
T-fuzz: fuzzing by program transformation
Hui Peng, Yan Shoshitaishvili, and Mathias Payer · 2018
Earlier work this paper cites.
Fudge: fuzz driver generation at scale
Domagoj Babić, Stefan Bucur, Yaohui Chen, Franjo Ivančić, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, and Wei Wang · 2019
Earlier work this paper cites.
Active learning for software engineering
José P Cambronero, Thurston HY Dang, Nikos Vasilakis, Jiasi Shen, Jerry Wu, and Martin C Rinard · 2019
Earlier work this paper cites.
EnFuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers
Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, and Zhuo Su · 2019
Earlier work this paper cites.
DeepStellar: Model-based quantitative analysis of stateful deep learning systems
Xiaoning Du, Xiaofei Xie, Yi Li, Lei Ma, Yang Liu, and Jianjun Zhao · 2019
Earlier work this paper cites.
A comprehensive study on deep learning bug characteristics
Md Johirul Islam, Giang Nguyen, Rangeet Pan, and Hridesh Rajan · 2019
Earlier work this paper cites.
Prada: protecting against dnn model stealing attacks
Mika Juuti, Sebastian Szyller, Samuel Marchal, and N Asokan · 2019
Cited alongside, same era.
Semantic fuzzing with Zest
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, and Yves Le Traon · 2019
Cited alongside, same era.
CRADLE: cross-backend validation to detect and localize bugs in deep learning libraries
Hung Viet Pham, Thibaud Lutellier, Weizhen Qi, and Lin Tan · 2019
Cited alongside, same era.
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks
Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See · 2019
Cited alongside, same era.
Audee: Automated testing for deep learning frameworks
Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, and Chao Shen · 2020
Cited alongside, same era.
FuzzGen: Automatic fuzzer generation
Kyriakos Ispoglou, Daniel Austin, Vishwath Mohan, and Mathias Payer · 2020
Detecting TensorFlow program bugs in real-world industrial environment
Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, and Jingling Xue · 2021
Later among the works it cites.
Dirty road can attack: Security of deep learning based automated lane centering under { \{ Physical-World } \} attack
Takami Sato, Junjie Shen, Ningfei Wang, Yunhan Jia, Xue Lin, and Qi Alfred Chen · 2021
Later among the works it cites.
Active learning for inference and regeneration of applications that access databases
Jiasi Shen and Martin C Rinard · 2021
Later among the works it cites.
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S Păsăreanu · 2021
Later among the works it cites.
Supply-chain vulnerability elimination via active learning and regeneration
Nikos Vasilakis, Achilles Benetopoulos, Shivam Handa, Alizee Schoen, Jiasi Shen, and Martin C Rinard · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
High accuracy and high fidelity extraction of neural networks
Matthew Jagielski, Nicholas Carlini, David Berthelot, Alex Kurakin, and Nicolas Papernot · 2020
Cited alongside, same era.
An empirical study on bugs inside TensorFlow
Li Jia, Hao Zhong, Xiaoyin Wang, Linpeng Huang, and Xuansheng Lu · 2020
Cited alongside, same era.
Static analysis of shape in TensorFlow programs
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, and Yannis Smaragdakis · 2020
Cited alongside, same era.
FANS: Fuzzing Android native system services via automated interface analysis
Baozheng Liu, Chao Zhang, Guang Gong, Yishun Zeng, Haifeng Ruan, and Jianwei Zhuge · 2020
Cited alongside, same era.
The relevance of classic fuzz testing: Have we solved this one?
Barton Miller, Mengxiao Zhang, and Elisa Heymann · 2020
Cited alongside, same era.
Deep learning library testing via effective model generation
Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang · 2020
Cited alongside, same era.
SyzVegas: Beating kernel fuzzing odds with reinforcement learning
Daimeng Wang, Zheng Zhang, Hang Zhang, Zhiyun Qian, Srikanth V Krishnamurthy, and Nael Abu-Ghazaleh · 2021
Later among the works it cites.
APICraft: Fuzz driver generation for closed-source SDK libraries
Cen Zhang, Xingwei Lin, Yuekang Li, Yinxing Xue, Jundong Xie, Hongxu Chen, Xinlei Ying, Jiashui Wang, and Yang Liu · 2021
Later among the works it cites.
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
Later among the works it cites.
https://github.com/google/oss-fuzz, 2022
OSS-Fuzz · 2022
Closest in time.
https://github.com/skipfuzz/skipfuzz, 2022
SkipFuzz’s GitHub repository · 2022
Closest in time.
https://github.com/tensorflow/tensorflow/security/policy , 2022
TensorFlow security policy · 2022
Closest in time.
Fuzzing deep-learning libraries via automated relational API inference
Yinlin Deng, Chenyuan Yang, Anjiang Wei, and Lingming Zhang · 2022
Closest in time.
ExAIS: Executable ai semantics
Richard Schumi and Jun Sun · 2022
Closest in time.
Drifuzz: Harvesting bugs in device drivers from golden seeds
Zekun Shen, Ritik Roongta, and Brendan Dolan-Gavitt · 2022
Closest in time.
Astraea: Grammar-based fairness testing
Ezekiel Soremekun, Sakshi Sunil Udeshi, and Sudipta Chattopadhyay · 2022
Closest in time.
Eagle: Creating equivalent graphs to test deep learning libraries
Jiannan Wang, Thibaud Lutellier, Shangshu Qian, Hung Viet Pham, and Lin Tan · 2022
Closest in time.
Free lunch for testing: Fuzzing deep-learning libraries from open source
Anjiang Wei, Yinlin Deng, Chenyuan Yang, and Lingming Zhang · 2022
Closest in time.
DocTer: documentation-guided fuzzing for testing deep learning api functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W Godfrey · 2022
Closest in time.
An exploratory study of deep learning supply chain
Minghui Zhou Li Zhang Xin Tan, Kai Gao · 2022
Closest in time.