{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:33:32Z","timestamp":1776886412980,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Key Research and Development Program of Zhejiang","award":["2022C01018"],"award-info":[{"award-number":["2022C01018"]}]},{"name":"National Natural Science Foundation of China","award":["U21B2001,62102359"],"award-info":[{"award-number":["U21B2001,62102359"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680330","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"908-919","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Interpretability Based Neural Network Repair"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1806-6676","authenticated-orcid":false,"given":"Zuohui","family":"Chen","sequence":"first","affiliation":[{"name":"Zhejiang University of Technology, Hangzhou, China \/ Binjiang Institute of Artificial Intelligence, ZJUT, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-8743-8416","authenticated-orcid":false,"given":"Jun","family":"Zhou","sequence":"additional","affiliation":[{"name":"Zhejiang University of Technology, Hangzhou, China \/ Binjiang Institute of Artificial Intelligence, ZJUT, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1893-6259","authenticated-orcid":false,"given":"Youcheng","family":"Sun","sequence":"additional","affiliation":[{"name":"University of Manchester, Manchester, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7113-7635","authenticated-orcid":false,"given":"Jingyi","family":"Wang","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1042-470X","authenticated-orcid":false,"given":"Qi","family":"Xuan","sequence":"additional","affiliation":[{"name":"Zhejiang University of Technology, Hangzhou, China \/ Binjiang Institute of Artificial Intelligence, ZJUT, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3117-2211","authenticated-orcid":false,"given":"Xiaoniu","family":"Yang","sequence":"additional","affiliation":[{"name":"Zhejiang University of Technology, Hangzhou, China \/ National Key Laboratory of Electromagnetic Space Security, Jiaxin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"5th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=HJ4-rAVtl","author":"Alain Guillaume","year":"2017","unstructured":"Guillaume Alain and Yoshua Bengio. 2017. Understanding intermediate layers using linear classifier probes. In 5th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=HJ4-rAVtl"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Symposium on Security and Privacy. 39\u201357","author":"Carlini Nicholas","year":"2017","unstructured":"Nicholas Carlini and David Wagner. 2017. Towards evaluating the robustness of neural networks. In Proceedings of the Symposium on Security and Privacy. 39\u201357."},{"key":"e_1_3_2_1_3_1","volume-title":"Targeted Backdoor Attacks on Deep Learning Systems Using Data Poisoning. CoRR, abs\/1712.05526","author":"Chen Xinyun","year":"2017","unstructured":"Xinyun Chen, Chang Liu, Bo Li, Kimberly Lu, and Dawn Song. 2017. Targeted Backdoor Attacks on Deep Learning Systems Using Data Poisoning. CoRR, abs\/1712.05526 (2017), arXiv:1712.05526. arxiv:1712.05526"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549093"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"J. Deng W. Dong R. Socher L.-J. Li K. Li and L. Fei-Fei. 2009. ImageNet: A Large-Scale Hierarchical Image Database. In CVPR09.","DOI":"10.1109\/CVPR.2009.5206848"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090255"},{"key":"e_1_3_2_1_7_1","volume-title":"Trainable Neural Networks. In 7th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=rJl-b3RcF7","author":"Frankle Jonathan","year":"2019","unstructured":"Jonathan Frankle and Michael Carbin. 2019. The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks. In 7th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=rJl-b3RcF7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510087"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359789.3359790"},{"key":"e_1_3_2_1_10_1","volume-title":"LPAR.","author":"Goldberger Ben","year":"2020","unstructured":"Ben Goldberger, Guy Katz, Yossi Adi, and Joseph Keshet. 2020. Minimal Modifications of Deep Neural Networks using Verification.. In LPAR. 2020, 23rd."},{"key":"e_1_3_2_1_11_1","volume-title":"Explaining and Harnessing Adversarial Examples. In 3rd International Conference on Learning Representations. arxiv:1412","author":"Goodfellow Ian J","year":"2015","unstructured":"Ian J Goodfellow, Jonathon Shlens, and Christian Szegedy. 2015. Explaining and Harnessing Adversarial Examples. In 3rd International Conference on Learning Representations. arxiv:1412.6572"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Neural Information Processing Symposium Workshop Mach. Learning Security (MLSec). 1\u20135.","author":"Gu T","year":"2017","unstructured":"T Gu, B Dolan-Gavitt, and SG BadNets. 2017. Identifying vulnerabilities in the machine learning model supply chain. In Proceedings of the Neural Information Processing Symposium Workshop Mach. Learning Security (MLSec). 1\u20135."},{"key":"e_1_3_2_1_13_1","volume-title":"BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. CoRR, abs\/1708.06733","author":"Gu Tianyu","year":"2017","unstructured":"Tianyu Gu, Brendan Dolan-Gavitt, and Siddharth Garg. 2017. BadNets: Identifying Vulnerabilities in the Machine Learning Model Supply Chain. CoRR, abs\/1708.06733 (2017), arXiv:1708.06733. arxiv:1708.06733"},{"key":"e_1_3_2_1_14_1","volume-title":"Equality of opportunity in supervised learning. Advances in neural information processing systems, 29","author":"Hardt Moritz","year":"2016","unstructured":"Moritz Hardt, Eric Price, and Nati Srebro. 2016. Equality of opportunity in supervised learning. Advances in neural information processing systems, 29 (2016)."},{"key":"e_1_3_2_1_15_1","unstructured":"Kaiming He Xiangyu Zhang Shaoqing Ren and Jian Sun. 2016. Deep residual learning for image recognition. In CVPR. 770\u2013778."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing. 1031\u20131038","author":"Henriksen Patrick","year":"2022","unstructured":"Patrick Henriksen, Francesco Leofante, and Alessio Lomuscio. 2022. Repairing misclassifications in neural networks using limited data. In Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing. 1031\u20131038."},{"key":"e_1_3_2_1_17_1","first-page":"34136","article-title":"Adv-attribute: Inconspicuous and transferable adversarial attack on face recognition","volume":"35","author":"Jia Shuai","year":"2022","unstructured":"Shuai Jia, Bangjie Yin, Taiping Yao, Shouhong Ding, Chunhua Shen, Xiaokang Yang, and Chao Ma. 2022. Adv-attribute: Inconspicuous and transferable adversarial attack on face recognition. Advances in Neural Information Processing Systems, 35 (2022), 34136\u201334147.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_18_1","unstructured":"Alex Krizhevsky and Geoffrey Hinton. 2009. Learning multiple layers of features from tiny images."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534408"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.01615"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623332"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2018.00021"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236082"},{"key":"e_1_3_2_1_24_1","volume-title":"6th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=rJzIBfZAb","author":"Madry Aleksander","year":"2018","unstructured":"Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and Adrian Vladu. 2018. Towards Deep Learning Models Resistant to Adversarial Attacks. In 6th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=rJzIBfZAb"},{"key":"e_1_3_2_1_25_1","volume-title":"WaNet - Imperceptible Warping-based Backdoor Attack. In 9th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=eEn8KTtJOx","author":"Nguyen Anh","year":"2021","unstructured":"Anh Nguyen and Anh Tran. 2021. WaNet - Imperceptible Warping-based Backdoor Attack. In 9th International Conference on Learning Representations. OpenReview.net. https:\/\/openreview.net\/forum?id=eEn8KTtJOx"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition. 11893\u201311902","author":"Ramanujan Vivek","year":"2020","unstructured":"Vivek Ramanujan, Mitchell Wortsman, Aniruddha Kembhavi, Ali Farhadi, and Mohammad Rastegari. 2020. What\u2019s hidden in a randomly weighted neural network? In Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition. 11893\u201311902."},{"key":"e_1_3_2_1_28_1","volume-title":"2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). 717\u2013721","author":"Ren Xuhong","year":"2020","unstructured":"Xuhong Ren, Bing Yu, Hua Qi, Felix Juefei-Xu, Zhuo Li, Wanli Xue, Lei Ma, and Jianjun Zhao. 2020. Few-shot guided mix for dnn repairing. In 2020 IEEE International Conference on Software Maintenance and Evolution (ICSME). 717\u2013721."},{"key":"e_1_3_2_1_29_1","volume-title":"International Conference on Machine Learning. 19434\u201319449","author":"Schwinn Leo","year":"2022","unstructured":"Leo Schwinn, Leon Bungert, An Nguyen, Ren\u00e9 Raab, Falk Pulsmeyer, Doina Precup, Bj\u00f6rn Eskofier, and Dario Zanca. 2022. Improving robustness against real-world and worst-case distribution shifts through decision region quantification. In International Conference on Machine Learning. 19434\u201319449."},{"key":"e_1_3_2_1_30_1","volume-title":"Very Deep Convolutional Networks for Large-Scale Image Recognition. In 3rd International Conference on Learning Representations. arxiv:1409","author":"Simonyan Karen","year":"2015","unstructured":"Karen Simonyan and Andrew Zisserman. 2015. Very Deep Convolutional Networks for Large-Scale Image Recognition. In 3rd International Conference on Learning Representations. arxiv:1409.1556"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454064"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Johannes Stallkamp Marc Schlipsing Jan Salmen and Christian Igel. 2011. The German traffic sign recognition benchmark: a multi-class classification competition. In The 2011 international joint conference on neural networks. 1453\u20131460.","DOI":"10.1109\/IJCNN.2011.6033395"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Student. 1908. The probable error of a mean. Biometrika 1\u201325.","DOI":"10.2307\/2331554"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510080"},{"key":"e_1_3_2_1_35_1","volume-title":"2nd International Conference on Learning Representations. arxiv:1312","author":"Szegedy Christian","year":"2014","unstructured":"Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian Goodfellow, and Rob Fergus. 2014. Intriguing properties of neural networks. In 2nd International Conference on Learning Representations. arxiv:1312.6199"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the ACM on Programming Languages, 7, PLDI","author":"Tao Zhe","year":"2023","unstructured":"Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V Thakur. 2023. Architecture-Preserving Provable Repair of Deep Neural Networks. Proceedings of the ACM on Programming Languages, 7, PLDI (2023), 443\u2013467."},{"key":"e_1_3_2_1_37_1","first-page":"18583","article-title":"Measuring robustness to natural distribution shifts in image classification","volume":"33","author":"Taori Rohan","year":"2020","unstructured":"Rohan Taori, Achal Dave, Vaishaal Shankar, Nicholas Carlini, Benjamin Recht, and Ludwig Schmidt. 2020. Measuring robustness to natural distribution shifts in image classification. Advances in Neural Information Processing Systems, 33 (2020), 18583\u201318599.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_39_1","volume-title":"International Conference on Computer Aided Verification. 3\u201325","author":"Usman Muhammad","year":"2021","unstructured":"Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, and Corina S P\u0103s\u0103reanu. 2021. NN repair: Constraint-Based Repair of Neural Network Classifiers. In International Conference on Computer Aided Verification. 3\u201325."},{"key":"e_1_3_2_1_40_1","volume-title":"proceedings of the IEEE conference on computer vision and pattern recognition. 8906\u20138914","author":"Wang Yulong","year":"2018","unstructured":"Yulong Wang, Hang Su, Bo Zhang, and Xiaolin Hu. 2018. Interpret neural networks by identifying critical data routing paths. In proceedings of the IEEE conference on computer vision and pattern recognition. 8906\u20138914."},{"key":"e_1_3_2_1_41_1","first-page":"10546","article-title":"Backdoorbench: A comprehensive benchmark of backdoor learning","volume":"35","author":"Wu Baoyuan","year":"2022","unstructured":"Baoyuan Wu, Hongrui Chen, Mingda Zhang, Zihao Zhu, Shaokui Wei, Danni Yuan, and Chao Shen. 2022. Backdoorbench: A comprehensive benchmark of backdoor learning. Advances in Neural Information Processing Systems, 35 (2022), 10546\u201310559.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354209"},{"key":"e_1_3_2_1_43_1","article-title":"Deeprepair: Style-guided repairing for deep neural networks in the real-world operational environment","author":"Yu Bing","year":"2021","unstructured":"Bing Yu, Hua Qi, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, and Jianjun Zhao. 2021. Deeprepair: Style-guided repairing for deep neural networks in the real-world operational environment. IEEE Transactions on Reliability.","journal-title":"IEEE Transactions on Reliability."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484818"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510123"},{"key":"e_1_3_2_1_46_1","first-page":"4396","article-title":"Domain generalization: A survey","volume":"45","author":"Zhou Kaiyang","year":"2022","unstructured":"Kaiyang Zhou, Ziwei Liu, Yu Qiao, Tao Xiang, and Chen Change Loy. 2022. Domain generalization: A survey. IEEE Transactions on Pattern Analysis and Machine Intelligence, 45, 4 (2022), 4396\u20134415.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680330","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:07Z","timestamp":1750287007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":46,"alternative-id":["10.1145\/3650212.3680330","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680330","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}