Contents

Compositional Verification for Requirements Consistency of Complex Embedded Systems YANG Xiao, WANG Xiao-Qi, CHEN Xiao-Hong, JIN Zhi Published April 06, 2025 (22 pages) 2025,36(4):1413-1434 [Abstract(1819)]  [View PDF(3484)7.01 M]

Detecting Incompatible Third-party Library APIs in Python Based on Static Analysis SHEN Kan, HUANG Kai-Feng, CHEN Bi-Huan, PENG Xin Published April 06, 2025 (26 pages) 2025,36(4):1435-1460 [Abstract(2502)]  [View PDF(3481)6.86 M]

Slot Dependency Modeling for Cross-domain Slot Filling WANG Ze, ZHOU Xia-Bing, JU Xin, WANG Zhong-Qing, ZHOU Guo-Dong Published April 06, 2025 (13 pages) 2025,36(4):1557-1569 [Abstract(1068)]  [View PDF(2851)6.39 M]

Task Knowledge Fusion for Multimodal Knowledge Graph Completion CHEN Qiang, ZHANG Dong, LI Shou-Shan, ZHOU Guo-Dong Published April 06, 2025 (14 pages) 2025,36(4):1590-1603 [Abstract(3039)]  [View PDF(4116)6.26 M]

Hybrid Data Augmentation Framework Based on Controllable Explanation SUN Ze-Chen, XIAO Yi-Sheng, LI Jun-Tao, ZHANG Min, ZHOU Guo-Dong Published April 06, 2025 (16 pages) 2025,36(4):1604-1619 [Abstract(1419)]  [View PDF(2898)8.04 M]

Self-training Approach for Low-resource Relation Extraction YU Jun-Jie, WANG Xing, CHEN Wen-Liang, ZHANG Min Published April 06, 2025 (17 pages) 2025,36(4):1620-1636 [Abstract(1059)]  [View PDF(2829)6.48 M]

Efficient Algorithms for Maximal Defective Biclique Enumeration on Bipartite Graphs DAI Qiang-Qiang, YU Han-Wen, LI Rong-Hua, LI Zhen-Jun, WANG Guo-Ren Published April 06, 2025 (15 pages) 2025,36(4):1796-1810 [Abstract(921)]  [View PDF(2028)7.18 M]

Crowdsourcing Scheme Based on Blockchain and Decentralized Accountable Attribute-based Authentication TAO Jing-Yi, ZHANG Liang, KAN Hai-Bin Published April 06, 2025 (15 pages) 2025,36(4):1844-1858 [Abstract(1878)]  [View PDF(3421)4.99 M]

Review Articles

Survey on Security of Deep Code Models SUN Wei-Song, CHEN Yu-Chen, ZHAO Zi-Han, CHEN Hong, GE Yi-Fei, HAN Ting-Xu, HUANG Sheng-Han, LI Jia-Xun, FANG Chun-Rong, CHEN Zhen-Yu Published April 06, 2025 (28 pages) 2025,36(4):1461-1488 [Abstract(3040)]  [View PDF(2673)12.67 M]

Survey on Application and Development of Large Language Models in Software Defect Detection and Repair XIANG Jia-Hong, XU Xiao-Yang, KONG Fan-Chu, PENG Pai, ZHANG Zhao, ZHANG Yu-Qun Published April 06, 2025 (41 pages) 2025,36(4):1489-1529 [Abstract(3273)]  [View PDF(4734)10.46 M]

Survey on Deep Learning Applications in Information Retrieval-based Bug Localization CAO Shuai, NIU Fei-Fei, LI Chuan-Yi, CHEN Jun-Jie, LIU Kui, GE Ji-Dong, LUO Bin Published April 06, 2025 (27 pages) 2025,36(4):1530-1556 [Abstract(1432)]  [View PDF(2629)3.47 M]

Survey on Task Scheduling of Deep Learning Training Based on Performance Modeling YANG Zi-Chao, WU Heng, WU Yue-Wen, ZHANG Wen-Bo Published April 06, 2025 (20 pages) 2025,36(4):1570-1589 [Abstract(2032)]  [View PDF(4216)6.30 M]

Survey on Machine Unlearning LI Zi-Tong, MENG Xiao-Feng, WANG Lei-Xia, HAO Xin-Li Published April 06, 2025 (28 pages) 2025,36(4):1637-1664 [Abstract(2724)]  [View PDF(2873)7.35 M]

Survey on Multimodal Information Extraction Research WANG Yong-Sheng, LI Pei-Feng, WANG Zhong-Qing, ZHU Qiao-Ming Published April 06, 2025 (27 pages) 2025,36(4):1665-1691 [Abstract(2986)]  [View PDF(3087)8.30 M]

Survey on Multi-view Stereo Based on Deep Learning FAN Ming-Rui, SHEN Bing-Ke, NIU Wen-Long, PENG Xiao-Dong, XIE Wen-Ming, YANG Zhen Published April 06, 2025 (23 pages) 2025,36(4):1692-1714 [Abstract(2004)]  [View PDF(2202)16.77 M]

Survey on Object Goal Navigation for Embodied AI CHEN Bo-Lei, KANG Jia-Xu, ZHONG Ping, CUI Yong-Zheng, LU Si-Yi, YANG Hao-Nan, WANG Jian-Xin Published April 06, 2025 (43 pages) 2025,36(4):1715-1757 [Abstract(2926)]  [View PDF(2775)16.96 M]

Neuromorphic Computing: From Spiking Neural Network to Edge Deployment YU Shi-Hang, YI Meng-Jun, WU Zhou, SHEN Fu-Rao, ZHAO Jian Published April 06, 2025 (38 pages) 2025,36(4):1758-1795 [Abstract(2178)]  [View PDF(2530)10.36 M]

Survey on Complex Spatio-temporal Data Mining Methods Based on Graph Neural Network ZOU Hui-Qi, SHI Bin-Ze, SONG Ling-Yun, HAN Xiao-Lin, SHANG Xue-Qun Published April 06, 2025 (33 pages) 2025,36(4):1811-1843 [Abstract(3032)]  [View PDF(2870)10.54 M]

Autonomous Driving Security of Intelligent Connected Vehicles: Threats, Attacks, and Defenses XI Lai-Le, LIN Sheng-Hao, WANG Zhen, XIE Tian-Ge, SUN Yu-Yan, ZHU Hong-Song, SUN Li-Min Published April 06, 2025 (22 pages) 2025,36(4):1859-1880 [Abstract(3536)]  [View PDF(2469)3.17 M]

Review on Multi-sensor Data Fusion Research for Unmanned Aerial Vehicles LI Geng-Song, LIU Yi, ZHENG Qi-Bin, YANG Guo-Li, LIU Kun, WANG Qiang, DIAO Xing-Chun Published April 06, 2025 (25 pages) 2025,36(4):1881-1905 [Abstract(3648)]  [View PDF(5384)9.28 M]