{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:48:16Z","timestamp":1782377296528,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3793654.3793744","type":"proceedings-article","created":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:05:18Z","timestamp":1782374718000},"page":"98-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving Deep Learning Library Testing with Machine Learning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2441-1555","authenticated-orcid":false,"given":"Facundo","family":"Molina","sequence":"first","affiliation":[{"name":"Complutense University of Madrid, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3499-5283","authenticated-orcid":false,"given":"M M Abid","family":"Naziri","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9310-0798","authenticated-orcid":false,"given":"Feiran (Alex)","family":"Qin","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6711-3080","authenticated-orcid":false,"given":"Alessandra","family":"Gorla","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1323-8769","authenticated-orcid":false,"given":"Marcelo","family":"d'Amorim","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,25]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"2025. ACETest tool. https:\/\/github.com\/shijy16\/ACETest"},{"key":"e_1_3_3_2_3_2","unstructured":"2025. AutoGluon. https:\/\/auto.gluon.ai"},{"key":"e_1_3_3_2_4_2","unstructured":"2025. FastAI. https:\/\/docs.fast.ai"},{"key":"e_1_3_3_2_5_2","unstructured":"2025. Replication package. https:\/\/sites.google.com\/view\/ml4dllconstraints"},{"key":"e_1_3_3_2_6_2","unstructured":"2025. Scikit-Learn. https:\/\/scikit-learn.org"},{"key":"e_1_3_3_2_7_2","first-page":"265","volume-title":"12th USENIX symposium on operating systems design and implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, et\u00a0al. 2016. { TensorFlow} : a system for { Large-Scale} machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16). 265\u2013283."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1017\/9781316771273"},{"key":"e_1_3_3_2_9_2","unstructured":"AutoGluon. 2024. AutoGluon Tabular : Quick Start. https:\/\/auto.gluon.ai\/stable\/tutorials\/tabular\/tabular-quick-start.html"},{"key":"e_1_3_3_2_10_2","first-page":"180","volume-title":"Proceedings of 22nd Pacific Northwest Software Quality Conference","author":"Bach James","year":"2004","unstructured":"James Bach and Patrick\u00a0J Schroeder. 2004. Pairwise testing: A best practice that isn\u2019t. In Proceedings of 22nd Pacific Northwest Software Quality Conference. Citeseer, 180\u2013196."},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317470"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"e_1_3_3_2_13_2","first-page":"703","volume-title":"Proceedings of the 12th ACM International Conference on Web Search and Data Mining","author":"Cheng Bo","year":"2017","unstructured":"Bo Cheng et\u00a0al. 2017. TensorFlow Serving: Flexible, High-Performance Serving for Machine Learning Models. In Proceedings of the 12th ACM International Conference on Web Search and Data Mining. ACM, 703\u2013704."},{"key":"e_1_3_3_2_14_2","unstructured":"Sharan Chetlur Cliff Woolley Philippe Vandermersch Jonathan Cohen John Tran Bryan Catanzaro and Evan Shelhamer. 2014. cudnn: Efficient primitives for deep learning. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/1410.0759 (2014)."},{"key":"e_1_3_3_2_15_2","first-page":"2383","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Christou Neophytos","year":"2023","unstructured":"Neophytos Christou, Di Jin, Vaggelis Atlidakis, Baishakhi Ray, and Vasileios\u00a0P. Kemerlis. 2023. IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 2383\u20132400. https:\/\/www.usenix.org\/conference\/usenixsecurity23\/presentation\/christou"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598067"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623343"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549085"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680364"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","unstructured":"Ian\u00a0J. Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron\u00a0C. Courville and Yoshua Bengio. 2020. Generative adversarial networks. Commun. ACM 63 11 (2020) 139\u2013144. 10.1145\/3422622","DOI":"10.1145\/3422622"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510092"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510092"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416571"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380395"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","unstructured":"Li Jia Hao Zhong Xiaoyin Wang Linpeng Huang and Xuansheng Lu. 2021. The symptoms causes and repairs of bugs inside a deep learning library. Journal of Systems and Software 177 (2021) 110935. 10.1016\/j.jss.2021.110935","DOI":"10.1016\/j.jss.2021.110935"},{"key":"e_1_3_3_2_26_2","first-page":"3146","volume-title":"Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA","author":"Ke Guolin","year":"2017","unstructured":"Guolin Ke, Qi Meng, Thomas Finley, Taifeng Wang, Wei Chen, Weidong Ma, Qiwei Ye, and Tie-Yan Liu. 2017. LightGBM: A Highly Efficient Gradient Boosting Decision Tree. In Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA, USA, Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna\u00a0M. Wallach, Rob Fergus, S.\u00a0V.\u00a0N. Vishwanathan, and Roman Garnett (Eds.). 3146\u20133154. https:\/\/proceedings.neurips.cc\/paper\/2017\/hash\/6449f44a102fde848669bdd9eb6b76fa-Abstract.html"},{"key":"e_1_3_3_2_27_2","unstructured":"Diederik\u00a0P Kingma and Max Welling. 2022. Auto-Encoding Variational Bayes. arxiv:https:\/\/arXiv.org\/abs\/1312.6114\u00a0[stat.ML] https:\/\/arxiv.org\/abs\/1312.6114"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575707"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575707"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616337"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Frank\u00a0J Massey\u00a0Jr. 1951. The Kolmogorov-Smirnov test for goodness of fit. Journal of the American statistical Association 46 253 (1951) 68\u201378.","DOI":"10.1080\/01621459.1951.10500769"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510120"},{"key":"e_1_3_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00084"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE55969.2022.00054"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.5555\/3294996.3295153"},{"key":"e_1_3_3_2_36_2","unstructured":"Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury Gregory Chanan Trevor Killeen Zeming Lin Natalia Gimelshein Luca Antiga et\u00a0al. 2019. Pytorch: An imperative style high-performance deep learning library. Advances in neural information processing systems 32 (2019)."},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00107"},{"key":"e_1_3_3_2_38_2","first-page":"6639","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr\u00e9al, Canada","author":"Prokhorenkova Liudmila\u00a0Ostroumova","year":"2018","unstructured":"Liudmila\u00a0Ostroumova Prokhorenkova, Gleb Gusev, Aleksandr Vorobev, Anna\u00a0Veronika Dorogush, and Andrey Gulin. 2018. CatBoost: unbiased boosting with categorical features. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr\u00e9al, Canada, Samy Bengio, Hanna\u00a0M. Wallach, Hugo Larochelle, Kristen Grauman, Nicol\u00f2 Cesa-Bianchi, and Roman Garnett (Eds.). 6639\u20136649. https:\/\/proceedings.neurips.cc\/paper\/2018\/hash\/14491b756b3a51daac41c24863285549-Abstract.html"},{"key":"e_1_3_3_2_39_2","unstructured":"Robert Rosenthal Harris Cooper Larry Hedges et\u00a0al. 1994. Parametric measures of effect size. The handbook of research synthesis 621 2 (1994) 231\u2013244."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598088"},{"key":"e_1_3_3_2_41_2","unstructured":"AutoML team. 2024. AutoML. https:\/\/www.automl.org\/automl\/"},{"key":"e_1_3_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386015"},{"key":"e_1_3_3_2_43_2","doi-asserted-by":"publisher","unstructured":"Muhammad Usman Wenxi Wang Kaiyuan Wang Cagdas Yelen Nima Dini and Sarfraz Khurshid. 2020. A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22 5 (2020) 601\u2013615. 10.1007\/S10009-020-00577-W","DOI":"10.1007\/S10009-020-00577-W"},{"key":"e_1_3_3_2_44_2","unstructured":"Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan\u00a0N. Gomez Lukasz Kaiser and Illia Polosukhin. 2023. Attention Is All You Need. arxiv:https:\/\/arXiv.org\/abs\/1706.03762\u00a0[cs.CL] https:\/\/arxiv.org\/abs\/1706.03762"},{"key":"e_1_3_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409761"},{"key":"e_1_3_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510041"},{"key":"e_1_3_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4380-9_16"},{"key":"e_1_3_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534220"}],"event":{"name":"AST '26: 7th ACM\/IEEE International Conference on Automation of Software Test","location":"Rio de Janeiro Brazil","acronym":"AST '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE TCSE"]},"container-title":["Proceedings of the 7th ACM\/IEEE International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793654.3793744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T08:09:50Z","timestamp":1782374990000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793654.3793744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":47,"alternative-id":["10.1145\/3793654.3793744","10.1145\/3793654"],"URL":"https:\/\/doi.org\/10.1145\/3793654.3793744","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-06-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}