{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:12:52Z","timestamp":1766733172030,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3731664","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:43Z","timestamp":1753729843000},"page":"1489-1493","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["An Investigation into Maintenance Support for Neural Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0623-4978","authenticated-orcid":false,"given":"Fatema Tuz","family":"Zohra","sequence":"first","affiliation":[{"name":"Computer Science, George Mason University, Fairfax, Virginia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0271-9647","authenticated-orcid":false,"given":"Brittany","family":"Johnson-Matthews","sequence":"additional","affiliation":[{"name":"Computer Science, George Mason University, Fairfax, Virginia, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"volume-title":"Encyclopedia of quality of life and well-being research","author":"Braun Virginia","key":"e_1_3_2_1_1_1","unstructured":"Virginia Braun and Victoria Clarke. 2024. Thematic analysis. In Encyclopedia of quality of life and well-being research. Springer, 7187\u20137193."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 44th international conference on software engineering. 573\u2013585","author":"Cao Jialun","year":"2022","unstructured":"Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, and Shing-Chi Cheung. 2022. Deepfd: Automated fault diagnosis and localization for deep learning programs. In Proceedings of the 44th international conference on software engineering. 573\u2013585."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"3234","DOI":"10.1109\/TITS.2020.2993926","article-title":"Deep neural network based vehicle and pedestrian detection for autonomous driving: A survey","volume":"22","author":"Chen Long","year":"2021","unstructured":"Long Chen, Shaobo Lin, Xiankai Lu, Dongpu Cao, Hangbin Wu, Chi Guo, Chun Liu, and Fei-Yue Wang. 2021. Deep neural network based vehicle and pedestrian detection for autonomous driving: A survey. IEEE Transactions on Intelligent Transportation Systems 22, 6 (2021), 3234\u20133246.","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"volume-title":"Neural networks: methodology and applications","author":"Dreyfus G\u00e9rard","key":"e_1_3_2_1_4_1","unstructured":"G\u00e9rard Dreyfus. 2005. Neural networks: methodology and applications. Springer Science & Business Media."},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Fundamental Approaches to Software Engineering. Springer, 171\u2013191","author":"Eniser Hasan Ferit","year":"2019","unstructured":"Hasan Ferit Eniser, Simos Gerasimou, and Alper Sen. 2019. Deepfault: Fault localization for deep neural networks. In International Conference on Fundamental Approaches to Software Engineering. Springer, 171\u2013191."},{"key":"e_1_3_2_1_6_1","volume-title":"Tesla Model S cleared by auto safety regulator after fatal Autopilot crash. The Guardian (14","author":"Gibbs S.","year":"2017","unstructured":"S. Gibbs. 2017. Tesla Model S cleared by auto safety regulator after fatal Autopilot crash. The Guardian (14 July 2017). https:\/\/www.theguardian.com\/technology\/2017\/jan\/20\/tesla-model-s-cleared-auto-safety-regulator-after-fatal-autopilot-crash"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1613\/jair.4992","article-title":"A primer on neural network models for natural language processing","volume":"57","author":"Goldberg Yoav","year":"2016","unstructured":"Yoav Goldberg. 2016. A primer on neural network models for natural language processing. Journal of Artificial Intelligence Research 57 (2016), 345\u2013420.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"100270","DOI":"10.1016\/j.cosrev.2020.100270","article-title":"A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability","volume":"37","author":"Huang Xiaowei","year":"2020","unstructured":"Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, and Xinping Yi. 2020. A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Computer Science Review 37 (2020), 100270.","journal-title":"Computer Science Review"},{"key":"e_1_3_2_1_9_1","volume-title":"George Mason University","author":"INSPIRED","year":"2024","unstructured":"INSPIRED lab, George Mason University. 2024. py-holmes-public. https:\/\/github.com\/INSPIRED-GMU\/py-holmes-public."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Software Engineering Education and Training. 45\u201348","author":"K\u00e4stner Christian","year":"2020","unstructured":"Christian K\u00e4stner and Eunsuk Kang. 2020. Teaching software engineering for AI-enabled systems. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Software Engineering Education and Training. 45\u201348."},{"key":"e_1_3_2_1_11_1","volume-title":"Mohammed Bennamoun, Gerard Medioni, and Sven Dickinson.","author":"Khan Salman","year":"2018","unstructured":"Salman Khan, Hossein Rahmani, Syed Afaq Ali Shah, Mohammed Bennamoun, Gerard Medioni, and Sven Dickinson. 2018. A guide to convolutional neural networks for computer vision. (2018)."},{"key":"e_1_3_2_1_12_1","volume-title":"Py-holmes: Causal Testing for Deep Neural Networks in Python. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. 602\u2013606","author":"McQueary Wren","year":"2024","unstructured":"Wren McQueary, Sadia Afrin Mim, Md Nishat Raihan, Justin Smith, and Brittany Johnson. 2024. Py-holmes: Causal Testing for Deep Neural Networks in Python. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. 602\u2013606."},{"volume-title":"Early stopping-but when? In Neural Networks: Tricks of the trade","author":"Prechelt Lutz","key":"e_1_3_2_1_13_1","unstructured":"Lutz Prechelt. 2002. Early stopping-but when? In Neural Networks: Tricks of the trade. Springer, 55\u201369."},{"key":"e_1_3_2_1_14_1","volume-title":"2023 IEEE International Conference On Artificial Intelligence Testing (AITest). IEEE, 34\u201339","author":"Rehman Faqeer Ur","year":"2023","unstructured":"Faqeer Ur Rehman and Madhusudan Srinivasan. 2023. Metamorphic Testing For Machine Learning: Applicability, Challenges, and Research Opportunities. In 2023 IEEE International Conference On Artificial Intelligence Testing (AITest). IEEE, 34\u201339."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"5193","DOI":"10.1007\/s10664-020-09881-0","article-title":"Testing machine learning based systems: a systematic mapping","volume":"25","author":"Riccio Vincenzo","year":"2020","unstructured":"Vincenzo Riccio, Gunel Jahangirova, Andrea Stocco, Nargiz Humbatova, Michael Weiss, and Paolo Tonella. 2020. Testing machine learning based systems: a systematic mapping. Empirical Software Engineering 25 (2020), 5193\u20135254.","journal-title":"Empirical Software Engineering"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 2021 CHI conference on human factors in computing systems. 1\u201316","author":"Schoop Eldon","year":"2021","unstructured":"Eldon Schoop, Forrest Huang, and Bjoern Hartmann. 2021. Umlaut: Debugging deep learning programs using program structure and model behavior. In Proceedings of the 2021 CHI conference on human factors in computing systems. 1\u201316."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"e0212356","DOI":"10.1371\/journal.pone.0212356","article-title":"Applications of artificial neural networks in health care organizational decision-making: A scoping review","volume":"14","author":"Shahid Nida","year":"2019","unstructured":"Nida Shahid, Tim Rappon, and Whitney Berta. 2019. Applications of artificial neural networks in health care organizational decision-making: A scoping review. PloS one 14, 2 (2019), e0212356.","journal-title":"PloS one"},{"key":"e_1_3_2_1_18_1","article-title":"The role of health care algorithms in racial bias, inequity","author":"Siddique Shazia Mehmood","year":"2024","unstructured":"Shazia Mehmood Siddique, Brian Leas, et al. 2024. The role of health care algorithms in racial bias, inequity. Annals of Internal Medicine (March 2024). https:\/\/www.pennmedicine.org\/news\/news-releases\/2024\/march\/the-role-of-health-care-algorithms-in-racial-bias-inequity Accessed: 2024-06-17.","journal-title":"Annals of Internal Medicine"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering. 338\u2013349","author":"Sun Bing","year":"2022","unstructured":"Bing Sun, Jun Sun, Long H Pham, and Jie Shi. 2022. Causality-based neural network repair. In Proceedings of the 44th International Conference on Software Engineering. 338\u2013349."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska and Daniel Kroening. 2018. Concolic Testing for Deep Neural Networks. In Automated Software Engineering (ASE). ACM 109\u2013119.","DOI":"10.1145\/3238147.3238172"},{"key":"e_1_3_2_1_21_1","unstructured":"Deep Cover Team. 2024. DeepCover. https:\/\/github.com\/TrustAI\/DeepCover."},{"key":"e_1_3_2_1_22_1","unstructured":"The Cockpit Team. 2023. Cockpit. https:\/\/github.com\/ahthie7u\/cockpit."},{"key":"e_1_3_2_1_23_1","unstructured":"The Deep Checker Team. 2024. thedeepchecker. https:\/\/github.com\/thedeepchecker\/thedeepchecker."},{"key":"e_1_3_2_1_24_1","volume-title":"DeepCNN: A Dual Approach to Fault Localization and Repair in Convolutional Neural Networks","author":"Wardat Mohammad","year":"2024","unstructured":"Mohammad Wardat and Abdullah Al-Alaj. 2024. DeepCNN: A Dual Approach to Fault Localization and Repair in Convolutional Neural Networks. IEEE Access (2024)."},{"key":"e_1_3_2_1_25_1","volume-title":"2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 251\u2013262","author":"Wardat Mohammad","year":"2021","unstructured":"Mohammad Wardat, Wei Le, and Hridesh Rajan. 2021. Deeplocalize: Fault localization for deep neural networks. In 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). IEEE, 251\u2013262."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 28th ACM SIGSOFT international symposium on software testing and analysis. 146\u2013157","author":"Xie Xiaofei","year":"2019","unstructured":"Xiaofei Xie, Lei Ma, Felix Juefei-Xu, Minhui Xue, Hongxu Chen, Yang Liu, Jianjun Zhao, Bo Li, Jianxiong Yin, and Simon See. 2019. Deephunter: a coverage-guided fuzz testing framework for deep neural networks. In Proceedings of the 28th ACM SIGSOFT international symposium on software testing and analysis. 146\u2013157."},{"key":"e_1_3_2_1_27_1","first-page":"1255","article-title":"Survey on testing of deep neural networks","volume":"31","author":"Zan Wang","year":"2020","unstructured":"Wang Zan, Yan Ming, Liu Shuang, Chen Jun-Jie, Zhang Dong-Di, Wu Zhuo, and Chen Xiang. 2020. Survey on testing of deep neural networks. Journal of Software 31, 5 (2020), 1255\u20131275.","journal-title":"Journal of Software"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3731664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:14:39Z","timestamp":1753730079000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3731664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":27,"alternative-id":["10.1145\/3696630.3731664","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3731664","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}