{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:00:17Z","timestamp":1784300417565,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"National Key R&D Program of China","award":["2022YFB3103900"],"award-info":[{"award-number":["2022YFB3103900"]}]},{"name":"Strategic Priority Research Program of the CAS","award":["XDCO2030200"],"award-info":[{"award-number":["XDCO2030200"]}]},{"name":"Chinese National Natural Science Foundation","award":["62032010, 62202462"],"award-info":[{"award-number":["62032010, 62202462"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598088","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"690-702","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["ACETest: Automated Constraint Extraction for Testing Deep Learning Operators"],"prefix":"10.1145","author":[{"given":"Jingyi","family":"Shi","sequence":"first","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Xiao","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuekang","family":"Li","sequence":"additional","affiliation":[{"name":"UNSW, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yeting","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongsong","family":"Yu","sequence":"additional","affiliation":[{"name":"Zhongguancun Laboratory, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chendong","family":"Yu","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hui","family":"Su","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yufeng","family":"Chen","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Huo","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering at Chinese Academy of Sciences, China \/ University of Chinese Academy of Sciences, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation, OSDI.","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Z. Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , Manjunath Kudlur , Josh Levenberg , Rajat Monga , Sherry Moore , Derek Gordon Murray , Benoit Steiner , Paul A. Tucker , Vijay Vasudevan , Pete Warden , Martin Wicke , Yuan Yu , and Xiaoqiang Zhang . 2016 . TensorFlow: A system for large-scale machine learning . 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI. Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Z. Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zhang. 2016. TensorFlow: A system for large-scale machine learning. 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI."},{"key":"e_1_3_2_1_2_1","volume-title":"A Transformer-based Approach for Source Code Summarization. ArXiv, abs\/2005.00653","author":"Ahmad Wasi Uddin","year":"2020","unstructured":"Wasi Uddin Ahmad , Saikat Chakraborty , Baishakhi Ray , and Kai-Wei Chang . 2020. A Transformer-based Approach for Source Code Summarization. ArXiv, abs\/2005.00653 ( 2020 ). Wasi Uddin Ahmad, Saikat Chakraborty, Baishakhi Ray, and Kai-Wei Chang. 2020. A Transformer-based Approach for Source Code Summarization. ArXiv, abs\/2005.00653 (2020)."},{"key":"e_1_3_2_1_3_1","volume-title":"2011 33rd International Conference on Software Engineering (ICSE), 1066\u20131071","author":"Cadar Cristian","year":"2011","unstructured":"Cristian Cadar , Patrice Godefroid , Sarfraz Khurshid , Corina S. Pasareanu , Koushik Sen , Nikolai Tillmann , and Willem Visser . 2011 . Symbolic execution for software testing in practice: preliminary assessment . 2011 33rd International Conference on Software Engineering (ICSE), 1066\u20131071 . Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. 2011. Symbolic execution for software testing in practice: preliminary assessment. 2011 33rd International Conference on Software Engineering (ICSE), 1066\u20131071."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.","author":"Cai Yuandao","year":"2022","unstructured":"Yuandao Cai , Chengfeng Ye , Qingkai Shi , and Charles Zhang . 2022 . Peahen: fast and precise static deadlock detection via context reduction . Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Yuandao Cai, Chengfeng Ye, Qingkai Shi, and Charles Zhang. 2022. Peahen: fast and precise static deadlock detection via context reduction. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3101870"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"e_1_3_2_1_7_1","volume-title":"Kemerlis","author":"Christou Neophytos","year":"2022","unstructured":"Neophytos Christou , Di Jin , Vaggelis Atlidakis , Baishakhi Ray , and Vasileios P . Kemerlis . 2022 . IvySyn: Automated Vulnerability Discovery for Deep Learning Frameworks. ArXiv , abs\/2209.14921 (2022). Neophytos Christou, Di Jin, Vaggelis Atlidakis, Baishakhi Ray, and Vasileios P. Kemerlis. 2022. IvySyn: Automated Vulnerability Discovery for Deep Learning Frameworks. ArXiv, abs\/2209.14921 (2022)."},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems.","author":"de Moura Leonardo Mendon\u00e7a","unstructured":"Leonardo Mendon\u00e7a de Moura and Nikolaj S. Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In International Conference on Tools and Algorithms for Construction and Analysis of Systems. Leonardo Mendon\u00e7a de Moura and Nikolaj S. Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In International Conference on Tools and Algorithms for Construction and Analysis of Systems."},{"key":"e_1_3_2_1_9_1","volume-title":"Fuzzing Deep-Learning Libraries via Large Language Models. ArXiv, abs\/2212.14834","author":"Deng Yinlin","year":"2022","unstructured":"Yinlin Deng , Chun Xia , Haoran Peng , Chenyuan Yang , and Lingming Zhang . 2022. Fuzzing Deep-Learning Libraries via Large Language Models. ArXiv, abs\/2212.14834 ( 2022 ). Yinlin Deng, Chun Xia, Haoran Peng, Chenyuan Yang, and Lingming Zhang. 2022. Fuzzing Deep-Learning Libraries via Large Language Models. ArXiv, abs\/2212.14834 (2022)."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.","author":"Deng Yinlin","year":"2022","unstructured":"Yinlin Deng , Chenyuan Yang , Anjiang Wei , and Lingming Zhang . 2022 . Fuzzing deep-learning libraries via automated relational API inference . Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Yinlin Deng, Chenyuan Yang, Anjiang Wei, and Lingming Zhang. 2022. Fuzzing deep-learning libraries via automated relational API inference. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_1_11_1","volume-title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. ArXiv, abs\/1810.04805","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin , Ming-Wei Chang , Kenton Lee , and Kristina Toutanova . 2019 . BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. ArXiv, abs\/1810.04805 (2019). Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. ArXiv, abs\/1810.04805 (2019)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768817050024"},{"key":"e_1_3_2_1_13_1","volume-title":"SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 72\u201382","author":"Fan Gang","year":"2019","unstructured":"Gang Fan , Rongxin Wu , Qingkai Shi , Xiao Xiao , Jinguo Zhou , and Charles Zhang . 2019 . SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 72\u201382 . Gang Fan, Rongxin Wu, Qingkai Shi, Xiao Xiao, Jinguo Zhou, and Charles Zhang. 2019. SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 72\u201382."},{"key":"e_1_3_2_1_14_1","volume-title":"2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 1418\u20131430","author":"Gu Jiatao","year":"2022","unstructured":"Jiatao Gu , Xuchuan Luo , Yangfan Zhou , and Xin Wang . 2022 . Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing . 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 1418\u20131430 . Jiatao Gu, Xuchuan Luo, Yangfan Zhou, and Xin Wang. 2022. Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing. 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 1418\u20131430."},{"key":"e_1_3_2_1_15_1","volume-title":"Audee: Automated Testing for Deep Learning Frameworks. 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 486\u2013498","author":"Guo Qianyu","year":"2020","unstructured":"Qianyu Guo , Xiaofei Xie , Yi Li , Xiaoyu Zhang , Yang Liu , Xiaohong Li , and Chao Shen . 2020 . Audee: Automated Testing for Deep Learning Frameworks. 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 486\u2013498 . Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, and Chao Shen. 2020. Audee: Automated Testing for Deep Learning Frameworks. 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 486\u2013498."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security.","author":"He Jingxuan","unstructured":"Jingxuan He , Gishor Sivanrupan , Petar Tsankov , and Martin T. Vechev . 2021. Learning to Explore Paths for Symbolic Execution . Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Jingxuan He, Gishor Sivanrupan, Petar Tsankov, and Martin T. Vechev. 2021. Learning to Explore Paths for Symbolic Execution. Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security."},{"key":"e_1_3_2_1_17_1","volume-title":"Deep Residual Learning for Image Recognition. 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 770\u2013778","author":"He Kaiming","year":"2016","unstructured":"Kaiming He , X. Zhang , Shaoqing Ren , and Jian Sun . 2016 . Deep Residual Learning for Image Recognition. 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 770\u2013778 . Kaiming He, X. Zhang, Shaoqing Ren, and Jian Sun. 2016. Deep Residual Learning for Image Recognition. 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 770\u2013778."},{"key":"e_1_3_2_1_18_1","volume-title":"FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. In USENIX Annual Technical Conference.","author":"Jeon Yuseok","year":"2020","unstructured":"Yuseok Jeon , Wookhyun Han , Nathan Burow , and Mathias Payer . 2020 . FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. In USENIX Annual Technical Conference. Yuseok Jeon, Wookhyun Han, Nathan Burow, and Mathias Payer. 2020. FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_20_1","volume-title":"International Symposium on Code Generation and Optimization, 2004. CGO 2004., 75\u201386","author":"Lattner Chris","unstructured":"Chris Lattner and Vikram S. Adve . 2004. LLVM: a compilation framework for lifelong program analysis & transformation . International Symposium on Code Generation and Optimization, 2004. CGO 2004., 75\u201386 . Chris Lattner and Vikram S. Adve. 2004. LLVM: a compilation framework for lifelong program analysis & transformation. International Symposium on Code Generation and Optimization, 2004. CGO 2004., 75\u201386."},{"key":"e_1_3_2_1_21_1","volume-title":"Towards Semi-Supervised Deep Facial Expression Recognition with An Adaptive Confidence Margin. 2022 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 4156\u20134165","author":"Li Hangyu","year":"2022","unstructured":"Hangyu Li , N. Wang , Xi Yang , Xiaoyu Wang , and Xinbo Gao . 2022 . Towards Semi-Supervised Deep Facial Expression Recognition with An Adaptive Confidence Margin. 2022 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 4156\u20134165 . Hangyu Li, N. Wang, Xi Yang, Xiaoyu Wang, and Xinbo Gao. 2022. Towards Semi-Supervised Deep Facial Expression Recognition with An Adaptive Confidence Margin. 2022 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 4156\u20134165."},{"key":"e_1_3_2_1_22_1","volume-title":"Ming Wen, and S. C. Cheung.","author":"Li Meiziniu","year":"2022","unstructured":"Meiziniu Li , Jialun Cao , Yongqiang Tian , Tsz On Li , Ming Wen, and S. C. Cheung. 2022 . MEMO : Coverage-guided Model Generation For Deep Learning Library Testing . ArXiv, abs\/2208.01508 (2022). Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, and S. C. Cheung. 2022. MEMO: Coverage-guided Model Generation For Deep Learning Library Testing. ArXiv, abs\/2208.01508 (2022)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509553"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485373"},{"key":"e_1_3_2_1_25_1","first-page":"1800","article-title":"ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking","volume":"48","author":"Liu Shangqing","year":"2019","unstructured":"Shangqing Liu , Cuiyun Gao , Sen Chen , Lun Yiu Nie , and Yang Liu . 2019 . ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking . IEEE Transactions on Software Engineering , 48 (2019), 1800 \u2013 1817 . Shangqing Liu, Cuiyun Gao, Sen Chen, Lun Yiu Nie, and Yang Liu. 2019. ATOM: Commit Message Generation Based on Abstract Syntax Tree and Hybrid Ranking. IEEE Transactions on Software Engineering, 48 (2019), 1800\u20131817.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_26_1","volume-title":"Graph-Based Fuzz Testing for Deep Learning Inference Engines. 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 288\u2013299","author":"Luo Wei","year":"2021","unstructured":"Wei Luo , Dong Chai , Xiaoyue Run , Jiang Wang , Chunrong Fang , and Zhenyu Chen . 2021 . Graph-Based Fuzz Testing for Deep Learning Inference Engines. 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 288\u2013299 . Wei Luo, Dong Chai, Xiaoyue Run, Jiang Wang, Chunrong Fang, and Zhenyu Chen. 2021. Graph-Based Fuzz Testing for Deep Learning Inference Engines. 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), 288\u2013299."},{"key":"e_1_3_2_1_27_1","unstructured":"MITRE. 2022. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/index.html \t\t\t\t  MITRE. 2022. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/index.html"},{"key":"e_1_3_2_1_28_1","volume-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 785\u2013796","author":"Nejadgholi Mahdi","year":"2019","unstructured":"Mahdi Nejadgholi and Jinqiu Yang . 2019 . A Study of Oracle Approximations in Testing Deep Learning Libraries . 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 785\u2013796 . Mahdi Nejadgholi and Jinqiu Yang. 2019. A Study of Oracle Approximations in Testing Deep Learning Libraries. 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 785\u2013796."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis.","author":"Noller Yannic","unstructured":"Yannic Noller , Rody Kersten , and Corina S. Pasareanu . 2018. Badger: complexity analysis with fuzzing and symbolic execution . Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Yannic Noller, Rody Kersten, and Corina S. Pasareanu. 2018. Badger: complexity analysis with fuzzing and symbolic execution. Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis."},{"key":"e_1_3_2_1_30_1","volume-title":"High-Performance Deep Learning Library. Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke , Sam Gross , Francisco Massa , Adam Lerer , James Bradbury , Gregory Chanan , Trevor Killeen , Zeming Lin , Natalia Gimelshein , Luca Antiga , Alban Desmaison , Andreas K\u00f6pf , Edward Yang , Zach DeVito , Martin Raison , Alykhan Tejani , Sasank Chilamkurthy , Benoit Steiner , Lu Fang , Junjie Bai , and Soumith Chintala . 2019 . PyTorch: An Imperative Style , High-Performance Deep Learning Library. Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019. Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas K\u00f6pf, Edward Yang, Zach DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019. PyTorch: An Imperative Style, High-Performance Deep Learning Library. Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019."},{"key":"e_1_3_2_1_31_1","volume-title":"XFL: Naming Functions in Binaries with Extreme Multi-label Learning.","author":"Patrick-Evans James","year":"2021","unstructured":"James Patrick-Evans , Moritz Dannehl , and Johannes Kinder . 2021 . XFL: Naming Functions in Binaries with Extreme Multi-label Learning. James Patrick-Evans, Moritz Dannehl, and Johannes Kinder. 2021. XFL: Naming Functions in Binaries with Extreme Multi-label Learning."},{"key":"e_1_3_2_1_32_1","volume-title":"2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), 605\u2013616","author":"Peng Jiaqi","year":"2019","unstructured":"Jiaqi Peng , Feng Li , Bingchang Liu , Lili Xu , Binghong Liu , Kai Chen , and Wei Huo . 2019 . 1dVul: Discovering 1-Day Vulnerabilities through Binary Patches . 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), 605\u2013616 . Jiaqi Peng, Feng Li, Bingchang Liu, Lili Xu, Binghong Liu, Kai Chen, and Wei Huo. 2019. 1dVul: Discovering 1-Day Vulnerabilities through Binary Patches. 2019 49th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), 605\u2013616."},{"key":"e_1_3_2_1_33_1","volume-title":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 1027\u20131038","author":"Pham Hung Viet","year":"2019","unstructured":"Hung Viet Pham , Thibaud Lutellier , Weizhen Qi , and Lin Tan . 2019 . CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning Libraries . 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 1027\u20131038 . Hung Viet Pham, Thibaud Lutellier, Weizhen Qi, and Lin Tan. 2019. CRADLE: Cross-Backend Validation to Detect and Localize Bugs in Deep Learning Libraries. 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), 1027\u20131038."},{"key":"e_1_3_2_1_34_1","volume-title":"Controllable Natural Language Generation with Contrastive Prefixes. In Findings of the Association for Computational Linguistics: ACL","author":"Qian Jing","year":"2022","unstructured":"Jing Qian , Li Dong , Yelong Shen , Furu Wei , and Weizhu Chen . 2022 . Controllable Natural Language Generation with Contrastive Prefixes. In Findings of the Association for Computational Linguistics: ACL 2022. Jing Qian, Li Dong, Yelong Shen, Furu Wei, and Weizhu Chen. 2022. Controllable Natural Language Generation with Contrastive Prefixes. In Findings of the Association for Computational Linguistics: ACL 2022."},{"key":"e_1_3_2_1_35_1","volume-title":"ACM-SIGPLAN Symposium on Programming Language Design and Implementation.","author":"Sen Koushik","year":"2005","unstructured":"Koushik Sen . 2005 . DART: directed automated random testing . In ACM-SIGPLAN Symposium on Programming Language Design and Implementation. Koushik Sen. 2005. DART: directed automated random testing. In ACM-SIGPLAN Symposium on Programming Language Design and Implementation."},{"key":"e_1_3_2_1_36_1","volume-title":"Agha","author":"Sen Koushik","year":"2005","unstructured":"Koushik Sen , Darko Marinov , and Gul A . Agha . 2005 . CUTE: a concolic unit testing engine for C. In ESEC\/FSE- 13. Koushik Sen, Darko Marinov, and Gul A. Agha. 2005. CUTE: a concolic unit testing engine for C. In ESEC\/FSE-13."},{"key":"e_1_3_2_1_37_1","volume-title":"NEUZZ: Efficient Fuzzing with Neural Program Smoothing. 2019 IEEE Symposium on Security and Privacy (SP), 803\u2013817","author":"She Dongdong","year":"2018","unstructured":"Dongdong She , Kexin Pei , Dave Epstein , Junfeng Yang , Baishakhi Ray , and Suman Sekhar Jana . 2018 . NEUZZ: Efficient Fuzzing with Neural Program Smoothing. 2019 IEEE Symposium on Security and Privacy (SP), 803\u2013817 . Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, and Suman Sekhar Jana. 2018. NEUZZ: Efficient Fuzzing with Neural Program Smoothing. 2019 IEEE Symposium on Security and Privacy (SP), 803\u2013817."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Shikhar Singh and Sarfraz Khurshid. 2020. Parallel Chopped Symbolic Execution. In ICFEM. \t\t\t\t  Shikhar Singh and Sarfraz Khurshid. 2020. Parallel Chopped Symbolic Execution. In ICFEM.","DOI":"10.1007\/978-3-030-63406-3_7"},{"key":"e_1_3_2_1_39_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS.","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens , John Grosen , Christopher Salls , Andrew Dutcher , Ruoyu Wang , Jacopo Corbetta , Yan Shoshitaishvili , Christopher Kr\u00fcgel , and Giovanni Vigna . 2016 . Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS. Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kr\u00fcgel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_41_1","volume-title":"Chopped Symbolic Execution. 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), 350\u2013360","author":"Trabish David","year":"2018","unstructured":"David Trabish , Andrea Mattavelli , Noam Rinetzky , and Cristian Cadar . 2018 . Chopped Symbolic Execution. 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), 350\u2013360 . David Trabish, Andrea Mattavelli, Noam Rinetzky, and Cristian Cadar. 2018. Chopped Symbolic Execution. 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), 350\u2013360."},{"key":"e_1_3_2_1_42_1","volume-title":"Skyfire: Data-Driven Seed Generation for Fuzzing. 2017 IEEE Symposium on Security and Privacy (SP), 579\u2013594","author":"Wang Junjie","year":"2017","unstructured":"Junjie Wang , Bihuan Chen , Lei Wei , and Yang Liu . 2017 . Skyfire: Data-Driven Seed Generation for Fuzzing. 2017 IEEE Symposium on Security and Privacy (SP), 579\u2013594 . Junjie Wang, Bihuan Chen, Lei Wei, and Yang Liu. 2017. Skyfire: Data-Driven Seed Generation for Fuzzing. 2017 IEEE Symposium on Security and Privacy (SP), 579\u2013594."},{"key":"e_1_3_2_1_43_1","volume-title":"2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 798\u2013810","author":"Wang Jiannan","year":"2022","unstructured":"Jiannan Wang , Thibaud Lutellier , Shangshu Qian , Hung Viet Pham , and Lin Tan . 2022 . EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries . 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 798\u2013810 . Jiannan Wang, Thibaud Lutellier, Shangshu Qian, Hung Viet Pham, and Lin Tan. 2022. EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries. 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 798\u2013810."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092724"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering.","author":"Wang Zan","year":"2020","unstructured":"Zan Wang , Ming Yan , Junjie Chen , Shuang Liu , and Dongdi Zhang . 2020 . Deep learning library testing via effective model generation . Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, and Dongdi Zhang. 2020. Deep learning library testing via effective model generation. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_1_46_1","volume-title":"2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 995\u20131007","author":"Wei Anjiang","year":"2022","unstructured":"Anjiang Wei , Y. Deng , Chenyuan Yang , and Lingming Zhang . 2022 . Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source . 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 995\u20131007 . Anjiang Wei, Y. Deng, Chenyuan Yang, and Lingming Zhang. 2022. Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source. 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), 995\u20131007."},{"key":"e_1_3_2_1_47_1","volume-title":"DeepCov: Coverage Guided Deep Learning Framework Fuzzing. 2022 7th IEEE International Conference on Data Science in Cyberspace (DSC), 399\u2013404","author":"Wu Jiawei","year":"2022","unstructured":"Jiawei Wu , Senyi Li , Junqiang Li , Long Luo , Hongfang Yu , and Gang Sun . 2022 . DeepCov: Coverage Guided Deep Learning Framework Fuzzing. 2022 7th IEEE International Conference on Data Science in Cyberspace (DSC), 399\u2013404 . Jiawei Wu, Senyi Li, Junqiang Li, Long Luo, Hongfang Yu, and Gang Sun. 2022. DeepCov: Coverage Guided Deep Learning Framework Fuzzing. 2022 7th IEEE International Conference on Data Science in Cyberspace (DSC), 399\u2013404."},{"key":"e_1_3_2_1_48_1","volume-title":"FUZE: Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities. In USENIX Security Symposium.","author":"Wu Wei","year":"2018","unstructured":"Wei Wu , Yueqi Chen , Jun Xu , Xinyu Xing , Xiaorui Gong , and Wei Zou . 2018 . FUZE: Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities. In USENIX Security Symposium. Wei Wu, Yueqi Chen, Jun Xu, Xinyu Xing, Xiaorui Gong, and Wei Zou. 2018. FUZE: Towards Facilitating Exploit Generation for Kernel Use-After-Free Vulnerabilities. In USENIX Security Symposium."},{"key":"e_1_3_2_1_49_1","volume-title":"USENIX Security Symposium.","author":"Xiao Yang","year":"2020","unstructured":"Yang Xiao , Bihuan Chen , Chendong Yu , Zhengzi Xu , Zimu Yuan , Feng Li , Binghong Liu , Yang Liu , Wei Huo , Wei Zou , and Wenchang Shi . 2020 . MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures . In USENIX Security Symposium. Yang Xiao, Bihuan Chen, Chendong Yu, Zhengzi Xu, Zimu Yuan, Feng Li, Binghong Liu, Yang Liu, Wei Huo, Wei Zou, and Wenchang Shi. 2020. MVP: Detecting Vulnerabilities using Patch-Enhanced Vulnerability Signatures. In USENIX Security Symposium."},{"key":"e_1_3_2_1_50_1","volume-title":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.","author":"Xie Danning","unstructured":"Danning Xie , Yitong Li , Mijung Kim , Hung Viet Pham , Lin Tan , X. Zhang , and Michael W. Godfrey . 2022. DocTer: documentation-guided fuzzing for testing deep learning API functions . Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, X. Zhang, and Michael W. Godfrey. 2022. DocTer: documentation-guided fuzzing for testing deep learning API functions. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis."},{"key":"e_1_3_2_1_51_1","volume-title":"Fuzzing Automatic Differentiation in Deep-Learning Libraries. ArXiv, abs\/2302.04351","author":"Yang Chenyuan","year":"2023","unstructured":"Chenyuan Yang , Yinlin Deng , Jiayi Yao , Yuxing Tu , Hanchi Li , and Lingming Zhang . 2023. Fuzzing Automatic Differentiation in Deep-Learning Libraries. ArXiv, abs\/2302.04351 ( 2023 ). Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, and Lingming Zhang. 2023. Fuzzing Automatic Differentiation in Deep-Learning Libraries. ArXiv, abs\/2302.04351 (2023)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2021.3107165"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464843"},{"key":"e_1_3_2_1_54_1","volume-title":"2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 846\u2013857","author":"Zhang Yufeng","year":"2020","unstructured":"Yufeng Zhang , Zhenbang Chen , Ziqi Shuai , Tianqi Zhang , Kenli Li , and Ji Wang . 2020 . Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once . 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 846\u2013857 . Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, and Ji Wang. 2020. Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. 2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE), 846\u2013857."}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598088","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":54,"alternative-id":["10.1145\/3597926.3598088","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598088","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}