Abstract is missing.
- Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning ApproachIvan Tan 0001, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, Lingxiao Jiang. 3-23 [doi]
- FinPTA: An Effective Model for Financial Sentiment AnalysisChen Yang, Xiao Yi, Guisheng Fan, Huiqun Yu, Hengrun Zhang 0004. 24-37 [doi]
- Single Image Defocus Deblurring in Photography SystemsHe Zhao, Shenggui Ling, Hongmin Zhan, Rui Shi. 38-48 [doi]
- AMF-GCN: An Adaptive Graph Convolution Network for Pull-up EvaluationXianglong Cao, Xin Li, Jijun Tong. 49-59 [doi]
- A Q-Learning-Driven Multi-crossover NSGA-II Framework for Energy-Efficient Hybrid Flow Shop SchedulingJiale Wang, Mingyue Jiang, Hongyun Huang, Rui Xie, Zuohua Ding. 60-78 [doi]
- MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series ForecastingYuxin Mei, Luxi Zhang, Li Han, Jing Liu. 79-97 [doi]
- PAMUS: An Entropy-Loss-Based Poisoning Attack for Undermining Machine UnlearningXudong Jiang, Yuhang Ma, Wei Xu, Jiahui Wen. 101-122 [doi]
- Certified Enumeration of AI Explanations: A Focus on Monotonic ClassifiersClément Contet, Rosalie Defourné, Aurélie Hurault. 123-142 [doi]
- Random Resampling of Training Data for Effective Verification Strategy PredictionBharti Chimdyalwar, Priyanka Darke, R. Venkatesh 0001, Supratik Chakraborty. 143-159 [doi]
- DeepMR: A Learning-Based Approach for Efficient Mutation Reduction in DNN Fault LocalizationHuaizhi Yin, Weiwei Wang, Ruilian Zhao. 160-179 [doi]
- Investigating the OOV Problem and Its Impacts on Neural Program RepairWeijun Guo, Xuedan Zheng, Mingyue Jiang. 180-197 [doi]
- Auction-Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh ContentHao Xu, Alvin C. Valera, Wuyungerile Li, Winston K. G. Seah. 201-220 [doi]
- Maximizing Long-Term Task Completion Ratio of 3D-UAV-Enabled Wirelessly Powered MEC SystemTixin Chen, Guanqun Shen, Xinnan Zhu, Shaojun Zhu, Bincheng Zhu, Kaikai Chi. 221-240 [doi]
- Towards Efficient and Secure Multimodal Misinformation DetectionJianhao Wei, Yixiao Li, Xiaolong Li, Ming Zhao, Jin Zhang, Limei Liu, Junfeng Yang. 241-260 [doi]
- Leveraging Large Language Models for Feature Envy Detection: A Context-Aware and Reasoning-Driven ApproachJiamin Guo, Yangyang Zhao, Zhifei Chen, Liming Nie. 263-282 [doi]
- RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLMXuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang 0050, Imam Nur Bani Yusuf, Lingxiao Jiang. 283-302 [doi]
- LTL Model Checking of Concurrent Self Modifying CodeTayssir Touili, Olzhas Zhangeldinov. 305-325 [doi]
- Checking Linearizability of Multi-core Task Management and Scheduling SystemQiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu 0002, Jifeng Hao, Hong Ye, Chao Wang 0069, Yi Lv. 326-337 [doi]
- Contract-Based Verification of Digital TwinsMuhammad Naeem, Cristina Seceleanu. 338-357 [doi]
- Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract DomainsMinghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang. 358-378 [doi]
- Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus ProtocolYisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong. 379-400 [doi]
- Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm EcosystemFenglin Bi, Cheng Liang, Yanbin Zhang, Yang Chen, Wei Wang. 403-423 [doi]
- EMS-HFL: A Hybrid Based Fault LocalizationDonghua Wang, Zheng Li, Hengyuan Liu, Yong Liu. 424-443 [doi]
- CONTAST: Graph Embedding Based Fault Localization Integrating AST and Context-AwarenessHaodong He, Tingting Wu, Qi Jin, Zuohua Ding. 444-463 [doi]
- A Vision for Access Control in LLM Agent SystemsDong Huang, Jie Li, Hongyi Cai, Xinfeng Li, Yijia Xu, Wenbin Tang, Jie Zhang, Yang Liu. 467-472 [doi]
- Agent Behavior: The Regulatory Object of the Agent-Centric Online Ecosystem in Digital AgeQiang Zhang, Pei Yan, Yijia Xu, Xinfeng Li, Hongyi Cai, Chuanpo Fu, Yong Fang 0002, Yang Liu 0003. 473-479 [doi]
- Empowering Embodied Agents with Semantic IntelligenceWenbing Tang, Meilin Zhu, Fenghua Wu, Xinfeng Li, Yang Liu. 480-485 [doi]
- An Analytical Perspective on Software Engineering for Large Language ModelsTianlin Li, Qiang Hu, Chong Wang 0013, Jian Zhang 0087, Wei Ma, Aishan Liu, Jingyi Wang 0004, Yang Liu 0003. 489-494 [doi]
- LiCoVer: LLM-Powered Automated OSS License Compliance VerificationShuhao Chang, Xin Li, Jigang Xie, Hao Wu, Haijun Wang. 497-502 [doi]
- UFPC: A Unified Framework for Source and Binary Program ComprehensionYiran Zhang, Weisong Sun, Yuqiang Sun 0001, Chengwei Liu, Xiaohong Chen, Yang Liu 0003. 503-508 [doi]
- TestCaseMig: LLM-Driven Test Case Migration for Evolving CodebasesWuhe Axi, Xin Li, Jigang Xie, Xitao Li, Haijun Wang. 509-514 [doi]
- Evolaris: A Roadmap to Self-evolving Software Intelligence ManagementChengwei Liu, Wenbo Guo, Yuxin Zhang, Limin Wang, Sen Chen, Lei Bu, Yang Liu. 515-520 [doi]