{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T16:09:55Z","timestamp":1772726995200,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,11]],"date-time":"2022-06-11T00:00:00Z","timestamp":1654905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CCF-Huawei Innovation Research Plan"},{"name":"Supported by the Fundamental ResearchFunds for the Central Universities","award":["2022300156"],"award-info":[{"award-number":["2022300156"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,11]]},"DOI":"10.1145\/3545258.3545261","type":"proceedings-article","created":{"date-parts":[[2022,9,15]],"date-time":"2022-09-15T16:09:39Z","timestamp":1663258179000},"page":"137-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Detecting Defects in Deep Learning Systems: a Survey"],"prefix":"10.1145","author":[{"given":"Shangyu","family":"Xing","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junjie","family":"Zhou","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fukang","family":"Zhu","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaowen","family":"Yang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,15]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation","author":"Abadi Mart\u00edn","unstructured":"Mart\u00edn Abadi and Barham et al.2016. TensorFlow: A System for Large-Scale Machine Learning . In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation ( Savannah, GA, USA) (OSDI\u201916). USENIX Association, USA, 265\u2013283. Mart\u00edn Abadi and Barham et al.2016. TensorFlow: A System for Large-Scale Machine Learning. In Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation (Savannah, GA, USA) (OSDI\u201916). USENIX Association, USA, 265\u2013283."},{"key":"e_1_3_2_2_2_1","unstructured":"Rami Al-Rfou and Guillaume\u00a0Alain el al.2016. Theano: A Python framework for fast computation of mathematical expressions. CoRR abs\/1605.02688(2016). arXiv:1605.02688http:\/\/arxiv.org\/abs\/1605.02688  Rami Al-Rfou and Guillaume\u00a0Alain el al.2016. Theano: A Python framework for fast computation of mathematical expressions. CoRR abs\/1605.02688(2016). arXiv:1605.02688http:\/\/arxiv.org\/abs\/1605.02688"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13174-017-0055-2"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2018.00094"},{"key":"e_1_3_2_2_5_1","first-page":"1249","article-title":"Deadlocks in distributed systems","volume":"1","author":"Bhatia Yogesh","year":"2014","unstructured":"Yogesh Bhatia and Sanjeev Verma . 2014 . Deadlocks in distributed systems . International Journal of Research 1 , 9 (2014), 1249 \u2013 1252 . Yogesh Bhatia and Sanjeev Verma. 2014. Deadlocks in distributed systems. International Journal of Research 1, 9 (2014), 1249\u20131252.","journal-title":"International Journal of Research"},{"key":"e_1_3_2_2_6_1","unstructured":"Wadii Boulila Maha Driss Mohammed Al-Sarem Faisal Saeed and Moez Krichen. 2021. Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives. CoRR abs\/2102.07004(2021). arXiv:2102.07004https:\/\/arxiv.org\/abs\/2102.07004  Wadii Boulila Maha Driss Mohammed Al-Sarem Faisal Saeed and Moez Krichen. 2021. Weight Initialization Techniques for Deep Learning Algorithms in Remote Sensing: Recent Trends and Future Perspectives. CoRR abs\/2102.07004(2021). arXiv:2102.07004https:\/\/arxiv.org\/abs\/2102.07004"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2018.07.011"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2019.00137"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW52544.2021.00022"},{"key":"e_1_3_2_2_10_1","unstructured":"Tianqi Chen Mu Li Yutian Li Min Lin Naiyan Wang Minjie Wang Tianjun Xiao Bing Xu Chiyuan Zhang and Zheng Zhang. 2015. MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems. arxiv:1512.01274\u00a0[cs.DC]  Tianqi Chen Mu Li Yutian Li Min Lin Naiyan Wang Minjie Wang Tianjun Xiao Bing Xu Chiyuan Zhang and Zheng Zhang. 2015. MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems. arxiv:1512.01274\u00a0[cs.DC]"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250789"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243176.3243194"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115662"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.3390\/app10228005"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409754"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134321"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9474045"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380395"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338955"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCEECS48394.2020.32"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430475.2430494"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654889"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568311"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00108"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13321-017-0226-y"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190553"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1096000.1096004"},{"key":"e_1_3_2_2_29_1","unstructured":"Changwen Li Chih-Hong Cheng Tiantian Sun Yuhang Chen and Rongjie Yan. 2021. ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. arxiv:2110.00761\u00a0[cs.RO]  Changwen Li Chih-Hong Cheng Tiantian Sun Yuhang Chen and Rongjie Yan. 2021. ComOpT: Combination and Optimization for Testing Autonomous Driving Systems. arxiv:2110.00761\u00a0[cs.RO]"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCC51575.2020.9345026"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884784"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238202"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3361566"},{"key":"e_1_3_2_2_34_1","volume-title":"James Lee\u00a0Wei Shung, and Roshan Vijay","author":"Piazzoni Andrea","year":"2021","unstructured":"Andrea Piazzoni , Jim Cherian , Mohamed Azhar , Jing\u00a0Yew Yap , James Lee\u00a0Wei Shung, and Roshan Vijay . 2021 . ViSTA: a Framework for Virtual Scenario-based Testing of Autonomous Vehicles. CoRR abs\/2109.02529(2021). arXiv:2109.02529https:\/\/arxiv.org\/abs\/2109.02529 Andrea Piazzoni, Jim Cherian, Mohamed Azhar, Jing\u00a0Yew Yap, James Lee\u00a0Wei Shung, and Roshan Vijay. 2021. ViSTA: a Framework for Virtual Scenario-based Testing of Autonomous Vehicles. CoRR abs\/2109.02529(2021). arXiv:2109.02529https:\/\/arxiv.org\/abs\/2109.02529"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328704"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368235.3369370"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS50736.2021.00019"},{"key":"e_1_3_2_2_38_1","volume-title":"Operating Systems (7th.ed.). Pearson Education","author":"Stallings William","unstructured":"William Stallings . 2012. Operating Systems (7th.ed.). Pearson Education , Inc, Prentice Hall , 1 Lake Street, Upper Saddle River, New Jersey. William Stallings. 2012. Operating Systems (7th.ed.). Pearson Education, Inc, Prentice Hall, 1 Lake Street, Upper Saddle River, New Jersey."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2017.41"},{"key":"e_1_3_2_2_40_1","unstructured":"Baidu\u00a0Apollo Team. 2021. Apollo. Retrieved Feb 1 2022 from https:\/\/github.com\/ApolloAuto\/apollo  Baidu\u00a0Apollo Team. 2021. Apollo. Retrieved Feb 1 2022 from https:\/\/github.com\/ApolloAuto\/apollo"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Comma\u00a0AI Team. 2022. Openpilot. Retrieved Feb 1 2022 from https:\/\/github.com\/commaai\/openpilot  Comma\u00a0AI Team. 2022. Openpilot. Retrieved Feb 1 2022 from https:\/\/github.com\/commaai\/openpilot","DOI":"10.1155\/2022\/2085225"},{"key":"e_1_3_2_2_42_1","volume-title":"The codeSonar static checker. Retrieved","author":"Team Grammatech","year":"2022","unstructured":"Grammatech Team . 2022. The codeSonar static checker. Retrieved Feb 1, 2022 from https:\/\/www.grammatech.com\/products\/codesonar Grammatech Team. 2022. The codeSonar static checker. Retrieved Feb 1, 2022 from https:\/\/www.grammatech.com\/products\/codesonar"},{"key":"e_1_3_2_2_43_1","volume-title":"The klocwork static checker. Retrieved","author":"Team Klocwork","year":"2022","unstructured":"Klocwork Team . 2022. The klocwork static checker. Retrieved Feb 1, 2022 from https:\/\/www.klocwork.com\/products-services\/klocwork Klocwork Team. 2022. The klocwork static checker. Retrieved Feb 1, 2022 from https:\/\/www.klocwork.com\/products-services\/klocwork"},{"key":"e_1_3_2_2_44_1","volume-title":"The fortify static checker. Retrieved","author":"Team Microfocus","year":"2022","unstructured":"Microfocus Team . 2022. The fortify static checker. Retrieved Feb 1, 2022 from https:\/\/www.microfocus.com\/en-us\/products\/static-code-analysis-sast\/overview Microfocus Team. 2022. The fortify static checker. Retrieved Feb 1, 2022 from https:\/\/www.microfocus.com\/en-us\/products\/static-code-analysis-sast\/overview"},{"key":"e_1_3_2_2_45_1","unstructured":"PaddlePaddle Team. 2022. Paddle. Retrieved Feb 1 2022 from https:\/\/github.com\/PaddlePaddle\/Paddle  PaddlePaddle Team. 2022. Paddle. Retrieved Feb 1 2022 from https:\/\/github.com\/PaddlePaddle\/Paddle"},{"key":"e_1_3_2_2_46_1","volume-title":"The parasoft code checker. Retrieved","author":"Team Parasoft","year":"2022","unstructured":"Parasoft Team . 2022. The parasoft code checker. Retrieved Feb 1, 2022 from https:\/\/www.parasoft.com Parasoft Team. 2022. The parasoft code checker. Retrieved Feb 1, 2022 from https:\/\/www.parasoft.com"},{"key":"e_1_3_2_2_47_1","volume-title":"The coverity code checker. Retrieved","author":"Synopsys","year":"2022","unstructured":"Synopsys technology. 2022. The coverity code checker. Retrieved Feb 1, 2022 from http:\/\/www.coverity.com Synopsys technology. 2022. The coverity code checker. Retrieved Feb 1, 2022 from http:\/\/www.coverity.com"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW52544.2021.00046"},{"key":"e_1_3_2_2_49_1","unstructured":"the Pytorch\u00a0Team. 2022. Pytorch. Retrieved Feb 1 2022 from https:\/\/pytorch.org  the Pytorch\u00a0Team. 2022. Pytorch. Retrieved Feb 1 2022 from https:\/\/pytorch.org"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSAA53316.2021.9564119"},{"key":"e_1_3_2_2_52_1","unstructured":"Roman Werpachowski Andr\u00e1s Gy\u00f6rgy and Csaba Szepesv\u00e1ri. 2019. Detecting Overfitting via Adversarial Examples. arxiv:1903.02380\u00a0[cs.LG]  Roman Werpachowski Andr\u00e1s Gy\u00f6rgy and Csaba Szepesv\u00e1ri. 2019. Detecting Overfitting via Adversarial Examples. arxiv:1903.02380\u00a0[cs.LG]"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MLSP.2019.8918908"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.3041202"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330579"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3022992"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2832226"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11692-1_14"},{"key":"e_1_3_2_2_59_1","unstructured":"Jie\u00a0M. Zhang Mark Harman Benjamin Guedj Earl\u00a0T. Barr and John Shawe-Taylor. 2021. Model Validation Using Mutated Training Labels: An Exploratory Study. arxiv:1905.10201\u00a0[cs.LG]  Jie\u00a0M. Zhang Mark Harman Benjamin Guedj Earl\u00a0T. Barr and John Shawe-Taylor. 2021. Model Validation Using Mutated Training Labels: An Exploratory Study. arxiv:1905.10201\u00a0[cs.LG]"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2962027"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380362"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213866"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409720"}],"event":{"name":"Internetware 2022: 13th Asia-Pacific Symposium on Internetware","location":"Hohhot China","acronym":"Internetware 2022"},"container-title":["Proceedings of the 13th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545258.3545261","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3545258.3545261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:45Z","timestamp":1750186965000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545258.3545261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,11]]},"references-count":64,"alternative-id":["10.1145\/3545258.3545261","10.1145\/3545258"],"URL":"https:\/\/doi.org\/10.1145\/3545258.3545261","relation":{},"subject":[],"published":{"date-parts":[[2022,6,11]]},"assertion":[{"value":"2022-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}