-
PSCSelector: Appropriate Program Slicing Criteria Selection Based on Parameter-Efficient Lightweight LL
Author: Chang, Jianming; Wang, Lulu; Zhang, Zaixing; Han, Mei; Ren, Jiahao; Li, Bixin
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2026; Vol. 38, Issue 3, pp. -. DOI: 10.1002/smr.70092
-
A State-Aware Fuzzing Method for Trusted Execution Environment Kernel
Author: Zhang, Qiang; Guo, Mengjun; Qiu, Yunfei; Meng, Qingyang
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2026; Vol. 38, Issue 2, pp. -. DOI: 10.1002/smr.70085
-
Formal Verification of Partitioned Scheduling in Real-Time Operating Systems Using Timed Automat
Author: Yin, Jiaqi; Chen, Xinlong; Yan, Jixun; Song, Shaolong; Han, Yushen
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2026; Vol. 38, Issue 1, pp. -. DOI: 10.1002/smr.70077
-
PathCovAVTest: Testing for Violations of Autonomous Driving Systems Based on Path Coverage of Traffic Regulation Scenario
Author: Xia, Chunyan; Huang, Song; Xia, Yuchen; Sun, Qiang; Luo, Meishu; Zhao, Ziyi
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2026; Vol. 38, Issue 1, pp. -. DOI: 10.1002/smr.70066
-
Function-Guided Extended Latent Dirichlet Allocation Model for Complementary Cloud API Recommendation in Mashup Developmen
Author: Chen, Zhen; Wang, Xiaolong; Xie, Denghui; Liao, Haonan; You, Dianlong; Shen, Limin
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2026; Vol. 38, Issue 1, pp. -. DOI: 10.1002/smr.70078
-
A Novel Vulnerability-Detection Method Based on the Semantic Features of Source Code and the LLVM Intermediate Representatio
Author: Chen, Jinfu; Zhou, Jiapeng; Lin, Wei; Towey, Dave; Cai, Saihua; Chen, Haibo; Chen, Jingyi; Yin, Yemin
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2025; Vol. 37, Issue 5, pp. -. DOI: 10.1002/smr.70026
-
Community Detection of Directed Network for Software Ecosystems Based on a Two-Step Information Dissemination Mode
Author: Tu, Huijie; Yao, Xiangjuan; Hou, Tingting; Gong, Dunwei; Yang, Mengyi
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2025; Vol. 37, Issue 4, pp. -. DOI: 10.1002/smr.70025
-
ECP: Coprocessor Architecture to Protect Program Logic Consistenc
Author: Gao, Yang; Lu, Siqi; Wang, Yongjuan; Fan, Haopeng; Han, Qingdi; Li, Jingsheng
Journal: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS. 2025; Vol. 37, Issue 4, pp. -. DOI: 10.1002/smr.70023
