Page 5 - 《软件学报》2025年第4期
P. 5
Journal of Software Vol.36, No.4 Apr. 2025
Contents
SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
1413 Compositional Verification for Requirements Consistency of Complex Embedded Systems
YANG Xiao, WANG Xiao-Qi, CHEN Xiao-Hong, JIN Zhi
1435 Detecting Incompatible Third-party Library APIs in Python Based on Static Analysis
SHEN Kan, HUANG Kai-Feng, CHEN Bi-Huan, PENG Xin
1461 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
1692 Survey on Multi-view Stereo Based on Deep Learning
1489 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
1530 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
PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
1557 Slot Dependency Modeling for Cross-domain Slot Filling
WANG Ze, ZHOU Xia-Bing, JU Xin, WANG Zhong-Qing, ZHOU Guo-Dong
1570 Survey on Task Scheduling of Deep Learning Training Based on Performance Modeling
YANG Zi-Chao, WU Heng, WU Yue-Wen, ZHANG Wen-Bo
1590 Task Knowledge Fusion for Multimodal Knowledge Graph Completion
CHEN Qiang, ZHANG Dong, LI Shou-Shan, ZHOU Guo-Dong
1604 Hybrid Data Augmentation Framework Based on Controllable Explanation
SUN Ze-Chen, XIAO Yi-Sheng, LI Jun-Tao, ZHANG Min, ZHOU Guo-Dong
1620 Self-training Approach for Low-resource Relation Extraction
YU Jun-Jie, WANG Xing, CHEN Wen-Liang, ZHANG Min
1637 Survey on Machine Unlearning
LI Zi-Tong, MENG Xiao-Feng, WANG Lei-Xia, HAO Xin-Li
1665 Survey on Multimodal Information Extraction Research
WANG Yong-Sheng, LI Pei-Feng, WANG Zhong-Qing, ZHU Qiao-Ming
FAN Ming-Rui, SHEN Bing-Ke, NIU Wen-Long, PENG Xiao-Dong, XIE Wen-Ming, YANG Zhen
1715 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
1758 Neuromorphic Computing: From Spiking Neural Network to Edge Deployment
YU Shi-Hang, YI Meng-Jun, WU Zhou, SHEN Fu-Rao, ZHAO Jian