{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T09:35:31Z","timestamp":1787564131540,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Natural Science Foundation of China","award":["61932012"],"award-info":[{"award-number":["61932012"]}]},{"name":"National Natural Science Foundation of China","award":["62372228"],"award-info":[{"award-number":["62372228"]}]},{"name":"National Natural Science Foundation of China","award":["62141215"],"award-info":[{"award-number":["62141215"]}]},{"name":"Science, Technology, and Innovation Commission of Shenzhen Municipality","award":["CJGJZD20200617103001003"],"award-info":[{"award-number":["CJGJZD20200617103001003"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691620.3695523","type":"proceedings-article","created":{"date-parts":[[2024,10,18]],"date-time":"2024-10-18T11:39:19Z","timestamp":1729251559000},"page":"1533-1544","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1816-2246","authenticated-orcid":false,"given":"Yanzhou","family":"Mu","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5017-8016","authenticated-orcid":false,"given":"Juan","family":"Zhai","sequence":"additional","affiliation":[{"name":"Manning College of Information and Computer, University of Massachusetts Amherst, Amherst, Massachusetts, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9930-7111","authenticated-orcid":false,"given":"Chunrong","family":"Fang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1180-3891","authenticated-orcid":false,"given":"Xiang","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Artificial Intelligence and Computer Science, Nantong University, Nantong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6810-7608","authenticated-orcid":false,"given":"Zhixiang","family":"Cao","sequence":"additional","affiliation":[{"name":"School of Zhang Jian, Nantong University, Nantong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8242-9543","authenticated-orcid":false,"given":"Peiran","family":"Yang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9375-7417","authenticated-orcid":false,"given":"Yinglong","family":"Zou","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3736-4604","authenticated-orcid":false,"given":"Tao","family":"Zheng","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9592-7022","authenticated-orcid":false,"given":"Zhenyu","family":"Chen","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"accuracy defect1 Accessed: 2023. accuracy defect1. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I6B308."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Peter Auer Nicol\u00f2 Cesa-Bianchi and Paul Fischer. 2002. Finite-time Analysis of the Multiarmed Bandit Problem.","DOI":"10.1137\/S0097539701398375"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Steve Brooks Andrew Gelman Galin Jones and Xiao-Li Meng (Eds.). 2011. Handbook of Markov Chain Monte Carlo. Chapman and Hall\/CRC.","DOI":"10.1201\/b10905"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/9780511811487"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2234"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.10.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786835"},{"key":"e_1_3_2_1_10_1","unstructured":"CNTK Accessed: 2023. CNTK. https:\/\/www.tutorialspoint.com\/microsoft_cognitive_toolkit\/index.htm."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"R\u00e9mi Coulom. 2006. Efficient Selectivity and Backup Operators in Monte-Carlo Tree Search. In Computers and Games. https:\/\/api.semanticscholar.org\/CorpusID:16724115","DOI":"10.1007\/978-3-540-75538-8_7"},{"key":"e_1_3_2_1_12_1","unstructured":"crash defect1 Accessed: 2023. crash defect1. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I6NS9V."},{"key":"e_1_3_2_1_13_1","unstructured":"crash defect2 Accessed: 2023. crash defect2. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I7HZT8."},{"key":"e_1_3_2_1_14_1","unstructured":"devmuttest Accessed: 2023. DevMuttest. https:\/\/e.gitee.com\/mind_spore\/repos\/mind_spore\/net-sv\/sources."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1986.1663273"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/262793.262798"},{"key":"e_1_3_2_1_17_1","unstructured":"GPU Accessed: 2024. NVIDIA GPU. https:\/\/www.nvidia.com\/en-us\/data-center\/gpu-accelerated-applications\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510092"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416571"},{"key":"e_1_3_2_1_20_1","volume-title":"Advances in neural information processing systems 23","author":"Hasselt Hado","year":"2010","unstructured":"Hado Hasselt. 2010. Double Q-learning. Advances in neural information processing systems 23 (2010)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00126"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464825"},{"key":"e_1_3_2_1_24_1","unstructured":"JAX Accessed: 2018. JAX. https:\/\/jax.readthedocs.io\/en\/latest\/."},{"key":"e_1_3_2_1_25_1","volume-title":"Jos\u00e9 Cl\u00e1udio Faria, and Ivan Bezerra Allaman","author":"Jelihovschi Enio G","year":"2014","unstructured":"Enio G Jelihovschi, Jos\u00e9 Cl\u00e1udio Faria, and Ivan Bezerra Allaman. 2014. ScottKnott: a package for performing the Scott-Knott clustering algorithm in R. TEMA (S\u00e3o Carlos) 15 (2014), 3--17."},{"key":"e_1_3_2_1_26_1","unstructured":"Jittor Accessed: 2022. Jittor. https:\/\/cg.cs.tsinghua.edu.cn\/jittor\/."},{"key":"e_1_3_2_1_27_1","unstructured":"Keras Accessed: 2020. Keras. http:\/\/keras.io\/."},{"key":"e_1_3_2_1_28_1","volume-title":"Ming Wen*, and Shing-Chi Cheung*.","author":"Li Meiziniu","year":"2023","unstructured":"Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen*, and Shing-Chi Cheung*. 2023. COMET: Coverage-guided Model Generation For Deep Learning Library Testing. ACM Transactions on Software Engineering and Methodology (2023)."},{"key":"e_1_3_2_1_29_1","first-page":"1","article-title":"Generation-based Differential Fuzzing for Deep Learning Libraries","volume":"33","author":"Liu Jiawei","year":"2023","unstructured":"Jiawei Liu, Yuheng Huang, Zhijie Wang, Lei Ma, Chunrong Fang, Mingzheng Gu, Xufan Zhang, and Zhenyu Chen. 2023. Generation-based Differential Fuzzing for Deep Learning Libraries. ACM Transactions on Software Engineering and Methodology 33, 2 (2023), 1--28.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"e_1_3_2_1_30_1","volume-title":"Neuri: Diversifying dnn generation via inductive rule inference. arXiv preprint arXiv:2302.02261","author":"Liu Jiawei","year":"2023","unstructured":"Jiawei Liu, Jinjun Peng, Yuyao Wang, and Lingming Zhang. 2023. Neuri: Diversifying dnn generation via inductive rule inference. arXiv preprint arXiv:2302.02261 (2023)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00037"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"e_1_3_2_1_33_1","unstructured":"MindSpore Accessed: 2020. MindSpore. https:\/\/www.mindspore.cn\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Volodymyr Mnih Koray Kavukcuoglu David Silver Andrei A Rusu Joel Veness Marc G Bellemare Alex Graves Martin Riedmiller Andreas K Fidjeland Georg Ostrovski et al. 2015. Human-level control through deep reinforcement learning. nature 518 7540 (2015) 529--533.","DOI":"10.1038\/nature14236"},{"key":"e_1_3_2_1_35_1","unstructured":"Motivating Example Accessed: 2023. Motivating Example. https:\/\/github.com\/pytorch\/pytorch\/issues\/93357."},{"key":"e_1_3_2_1_36_1","volume-title":"Information retrieval for music and motion","author":"M\u00fcller Meinard","unstructured":"Meinard M\u00fcller. 2007. Dynamic time warping. In Information retrieval for music and motion. Springer, 69--84."},{"key":"e_1_3_2_1_37_1","unstructured":"NPU Accessed: 2024. Apple Neural Engine. https:\/\/www.apple.com."},{"key":"e_1_3_2_1_38_1","volume-title":"Predicting the future---big data, machine learning, and clinical medicine. The New England journal of medicine 375, 13","author":"Obermeyer Ziad","year":"2016","unstructured":"Ziad Obermeyer and Ezekiel J Emanuel. 2016. Predicting the future---big data, machine learning, and clinical medicine. The New England journal of medicine 375, 13 (2016), 1216."},{"key":"e_1_3_2_1_39_1","unstructured":"Performance defect1 Accessed: 2023. Performance defect1. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I8ICVU."},{"key":"e_1_3_2_1_40_1","unstructured":"Performance defect2 Accessed: 2023. Performance defect2. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I6AQUE."},{"key":"e_1_3_2_1_41_1","unstructured":"Performance defect3 Accessed: 2023. Performance defect3. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I73B3G."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00107"},{"key":"e_1_3_2_1_43_1","unstructured":"PyTorch Accessed: 2019. Pytorch. https:\/\/pytorch.org\/."},{"key":"e_1_3_2_1_44_1","volume-title":"Faster r-cnn: Towards real-time object detection with region proposal networks. Advances in neural information processing systems 28","author":"Ren Shaoqing","year":"2015","unstructured":"Shaoqing Ren, Kaiming He, Ross Girshick, and Jian Sun. 2015. Faster r-cnn: Towards real-time object detection with region proposal networks. Advances in neural information processing systems 28 (2015)."},{"key":"e_1_3_2_1_45_1","unstructured":"Resource defect1 Accessed: 2023. Resource defect1. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I6AQUE."},{"key":"e_1_3_2_1_46_1","unstructured":"Resource defect2 Accessed: 2023. Resource defect2. https:\/\/gitee.com\/mindspore\/mindspore\/issues\/I73Z8B."},{"key":"e_1_3_2_1_47_1","unstructured":"sharelink Accessed: 2024. Data Avaiable. https:\/\/github.com\/Wayne-coding\/DevMuT."},{"key":"e_1_3_2_1_48_1","volume-title":"Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556","author":"Simonyan Karen","year":"2014","unstructured":"Karen Simonyan and Andrew Zisserman. 2014. Very deep convolutional networks for large-scale image recognition. arXiv preprint arXiv:1409.1556 (2014)."},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings, Part I 13","author":"Sun Min","year":"2014","unstructured":"Min Sun, Ali Farhadi, and Steve Seitz. 2014. Ranking domain-specific highlights by analyzing edited videos. In Computer Vision-ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6--12, 2014, Proceedings, Part I 13. Springer, 787--802."},{"key":"e_1_3_2_1_50_1","unstructured":"Tensorflow Accessed: 2019. Tensorflow. https:\/\/www.tensorflow.org\/."},{"key":"e_1_3_2_1_51_1","unstructured":"teslanews Accessed: 2023. teslanews. https:\/\/www.tesladeaths.com\/."},{"key":"e_1_3_2_1_52_1","unstructured":"TPU Accessed: 2024-04-27. Google TPU. https:\/\/cloud.google.com\/tpu."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2955129.2955178"},{"key":"e_1_3_2_1_54_1","volume-title":"Deep learning for computer vision: A brief review. Computational intelligence and neuroscience 2018","author":"Voulodimos Athanasios","year":"2018","unstructured":"Athanasios Voulodimos, Nikolaos Doulamis, Anastasios Doulamis, and Eftychios Protopapadakis. 2018. Deep learning for computer vision: A brief review. Computational intelligence and neuroscience 2018 (2018)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510165"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409761"},{"key":"e_1_3_2_1_57_1","unstructured":"XIAO Xiong. 2023. Fundamentals of speech recognition. (2023)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111681"}],"event":{"name":"ASE '24: 39th IEEE\/ACM International Conference on Automated Software Engineering","location":"Sacramento CA USA","acronym":"ASE '24","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695523","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3691620.3695523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:09:39Z","timestamp":1750280979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691620.3695523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":58,"alternative-id":["10.1145\/3691620.3695523","10.1145\/3691620"],"URL":"https:\/\/doi.org\/10.1145\/3691620.3695523","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}