Table of Contents

• Testing-Based Formal Verification for Software DependabilityShaoying Liu. [doi]
• Challenging Issues in the Dependability of Complex Intelligent SystemsMin Xie. [doi]
• Preparing Future-Ready Software Engineers for Dependable, AI-Empowered SystemsMohammed Akour. [doi]
• Generative AI vs Human Creativity: Comparative Study on Artistic Processes, Aesthetic Depth, and Value OrientationXiaofei Yue, Zhongxi Lu, Yun Zhang, Lin Zou, Hongji Yang. 1-12 [doi]
• Application of Multi-Source Knowledge Graph Construction and Fusion Technology in the Developer CommunityYunwei Dong, Wenxing Zhang, Chuhan Zhang. 1-10 [doi]
• Event Graph Modeling Based on Difference Detection and Relationship Mining in Dynamic ProcessesYu Zhang, Fan Chen. 1-10 [doi]
• Microservice Call Chain Anomaly Detection and Root Cause Localization Method Based on Graph Neural NetworksPeng Zhang, Wanjun Yi, Weigang Li, Henan Zhang, JunSheng Wu. 1-12 [doi]
• Sa-Trajeval: Socially-Aware Trajectory Evaluation for Multi-Modal PlanningHezhe Lim, Zheng Fu, Mengmeng Yang 0001, Kun Jiang 0002, Diange Yang. 1-11 [doi]
• Fusing Semantic and Collaborative Signals for Multi-Dimensional Intent Course RecommendationHongxiang Li, Yi Zhu 0008, Mei Song, Guosheng Hao. 1-13 [doi]
• Incremental Dataflow Anomaly Detection During Deletion ActivitiesKoko Harianto, Feng-Jian Wang, Pei Shu Huang, Zisen Zhou, Hongji Yang. 1-11 [doi]
• Fault Localization Algorithm Based on Multimodal Contrastive and Causal LearningJunSheng Wu, Yiwen Chang, Zeyuan Zhang, Weigang Li, Wanjun Yi. 1-6 [doi]
• A Feedback-Driven Adaptive Genetic Fuzzing Test Case Optimization Method for FPGA Communication ProtocolsYuanzi Xue, Yiren Gao, Wei Zheng 0006. 7-16 [doi]
• A Low-Code-Based General-Purpose Test Software Development PlatformXibing Yang, Xiao Ma, Libin Sun, Kun Yu, Wei Zheng. 17-25 [doi]
• Design of Testability Design Tool Based on MBSEZhenyang Lv, Junyou Shi. 26-33 [doi]
• Microservice Identification Using Multi-Objective Genetic AlgorithmsAbdelhak-Djamel Seriai, Hamzeh Eyal Salman, Anfel Selmadji, Rahina Oumarou Mahamane. 34-43 [doi]
• JMFUZZ: Firmware Fuzzing Using Temporal-Aware Multi-Stream Co-MutationJiangyun Xu, Jinbo Wang 0001, Yunyun Ma, Chi Zhang, Yu Su. 44-54 [doi]
• From Manual to Automated Cyber Risk Assessment: LLM- and RAG-Driven Multi-Agent Threat Modeling with CORAS in Healthcare Case StudiesGencer Erdogan, Morgan Gillette, Simeon Tverdal, Ragnhild Halvorsrud. 55-64 [doi]
• AI-Based Unit Test Framework for C Code With Large Language ModelsChih-Wei Hsu, W. Eric Wong, Zizhao Chen, George Dai. 65-73 [doi]
• Software Reliability Testing Profile Generation for Industrial Robot Based on Large Language ModelLiang Yan, Jingwei Shang. 74-83 [doi]
• Review of Large Language Model-Based Software Fault Localization TechniquesTian Pan 0005, Pan Liu 0016, Yihao Li. 84-92 [doi]
• Security Threats in the Inference Phase of Large Language ModelsBaolin Yan, Xiaotian Ai, Yuxi Ma, Lingzhong Meng, Guang Yang. 93-102 [doi]
• Lights, Camera, Adversarial Action! a Study of Role-Playing Prompt Effects on LLM Attack SusceptibilityTian Pan, Mengzhen Tian, Xiao Zhao, Pan Liu, Yihao Li. 103-110 [doi]
• Large Language Models for Software Fault Localization: a SurveyXiaohui Chang, Dongcheng Li 0001, W. Eric Wong. 111-120 [doi]
• AgentRepair: Multi-Agent, AST-Anchored, Retrieval-Augmented Program Repair for Cold-Start EnvironmentsHyunsoo Lee, Geunseok Yang. 121-132 [doi]
• An Analysis Methodology for Implicit Interfaces in Safety-Critical Embedded Software: Theory and ApplicationJiawei Ding, Xiaohong Bao. 144-155 [doi]
• Fault Tolerant and Intelligent Reliability Assurance in Cloud-Edge SystemsZhihan Xiong, Sa Meng, Shen Yao, Liang Luo. 156-162 [doi]
• Reliability-Driven Scheduling in Distributed Artificial Intelligence: A Multi-Objective Deep Reinforcement Learning Framework for Aiot ApplicationsYijin Wu, Bingrui Guo, Shan He 0003, W. Eric Wong, Donghui Guo. 163-174 [doi]
• Enhancing Risk Assessment Through Contextualized Application of Systematic Impact AnalysisAlvi Jawad, Jason Jaskolka. 175-186 [doi]
• On the Challenges of Monitoring Robust SystemsLorenz Klampfl, Alexander Perko, Franz Wotawa. 187-194 [doi]
• An Empirical Study on Quantifying and Evaluating Coupling in Open Source SoftwareChia-En Hsiang, Chin-Yu Huang, Chih-Chiang Fang. 195-206 [doi]
• Dynamic EEG Patterns Reflecting User Engagement and Adaptation During Human-AI InteractionDong-Meau Chang, Ye Mei, Junjie Yang. 219-226 [doi]
• KICR: A Two-Stage Framework for Knowledge-Aware Collaborative Representation Learning in LLM-Based Course RecommendationYunji Ge, Yi Zhu 0008, Mei Song, Guosheng Hao. 227-239 [doi]
• A Framework for Brain-Based Digital Twins in Sport Motor ImageryDevanka Pathak, Ron Herrema, Naomi Heffer, Hongji Yang. 240-248 [doi]
• Confidence Correction of Object Detection Based on HeatmapJianfu Liang, Jun Ai, Wenliang Wei, Yutao Zhang. 262-268 [doi]
• Semantic-Enhanced Image Object Detection in Unmanned Aerial Vehicle ImageryLi Mai, Chen Dai, Rui Dai, Heyi Liu, Yeming Ding. 269-275 [doi]
• Performance Comparison of YOLOv10, YOLOv11, and YOLOv12 Under Diverse Weather and Visibility ConditionsChih-Yun Chiang, Tsai-Hsuan Lin, Tse-Chuan Hsu. 276-283 [doi]
• Evaluating the Robustness of Object Detectors Via Delta Debugging, Quickxplain, and A Combinatorial HybridLedio Jahaj, Franz Wotawa. 284-294 [doi]
• Challenges, Progress, and Future Directions of Visual Tracking in UAVsLi Mai, Chen Dai, Hongji Ma, Xin Lin, ShiWei Guo. 295-303 [doi]
• A Single-Domain Generalization Method for RUL Prediction via Gradient-Guided Feature DisentanglementXiaoqi Xiao, Jianguo Zhang, Dan Xu 0004. 304-310 [doi]
• A Survey of Cooperative Decision-Making in Autonomous Vehicle Platooning Based on Multi-Agent Reinforcement LearningWenjing Zhong, Xiaohu Tu, Wei Xiong, Xinying Wang. 311-320 [doi]
• Data to Insight: Practice and Evaluation of Runqian Reports in Library AnalyticsWenhui Su, Yijuan Chen. 331-336 [doi]
• Empirical Study on the Development Level of Public Libraries Based on Factor Analysis and Cluster Analysis Also Discussing Regional Differences and Service Optimization PathsJinhua Wang, Hanghai Shi. 337-344 [doi]
• A Novel Cross Project Defect Prediction Method Based on Data FilterShiqi Tang, Minggui Song, Zhang Hu, Lingzhi Zhu. 345-353 [doi]
• An Evaluation Framework for Lane Detection Performance Based on Quantitative FeaturesYe Liang, Hongyu Sheng, Chenxi Cao. 354-361 [doi]
• IHPIHR: Intra-Scale Hypergraph Propagation and Inter-Scale Hypergraph Regression Network for Cross-Modal 3D Object DetectionJiacheng Guo, Nan Ma 0012, Qin Xia, Yiheng Han, Tingting Su. 362-370 [doi]
• A Collision-Induced Evaluation Framework for End-to-End Autonomous Driving ModelTong Wu, Yang Xu, Yajue Yang, Nan Ma 0012, Jin Huang. 382-393 [doi]
• Multi-Source Information Fusion for Recognition of Typical Paved-Road FeaturesFeiyang Xu, Xinjie Zhang, Xulong Jin, Tiegang Hu, Sheng Lu. 394-405 [doi]
• Hierarchical Trafficability Based Path Planning for Off-Road VehiclesJiabao Tan, Mengxiao Zhang, Xinjie Zhang, Hongkun Zhang, Chuck Kuok. 406-417 [doi]
• Deep Learning Methods for Thyroid Imaging Segmentation: a Systematic ReviewYixuan Li, Zihan Wang, Yingkai Yuan, Yuhang Guan, Zhiqi Zhang. 418-426 [doi]
• MM-MRN: Multi-Representation Fusion Network for Modulation RecognitionTiantian Zeng, Shaozhi Wu, Sun Chen, Yufeng Zhao, Xingang Liu. 427-434 [doi]
• Individualized NIPT Timing via Regression and Dynamic ProgrammingYixuan Li, Yingkai Yuan, Zihan Wang, Yameng Feng, Chongguang Wu. 435-442 [doi]
• Research on Path Planning and Simulation for Uav-Carrier Ship Collaboration Based on Deep Reinforcement LearningFan Chen, Yu Zhang, Botao Zhou, Boyang Zhang, Yi Hong. 443-449 [doi]
• Research on Route Planning Method for Maritime Intelligent Platforms Based on Improved DQNJing Zhou, Shanbin Zhang, Hao Long. 460-467 [doi]
• An Improved Greylag Goose Optimization Algorithm for Heterogeneous Cloud Computing Task SchedulingKecheng Li, Siqi Gu, Zhaojun Zhu, Shan Zhou, Zhenyu Chen 0001. 468-479 [doi]
• Selecting Nodes to Protect in Interdependent Networks using Shapley Value AnalysisKoki Matsui, Tatsuhiro Tsuchiya. 480-490 [doi]
• Design of an Intelligent Curing System for Concrete in Transmission Line EngineeringKai Lu, Yibo Wang, Song Zhang, Dan Zhong, Yawei Zheng. 503-510 [doi]
• Research on Vibration Analysis of Jet Aircraft and Synthesis Method of Vibration Environment SpectrumXuetong Ku, Weihan Hu, Zhixiong Chen, Chunping Hu, Zhaojing Wang. 511-517 [doi]
• Materials for Rigid Wing Sails: Requirements, Architectures, and a Standardized Testing MatrixMiaojun Li, Dezhuang Huang, Luqing Chen, Yifan Wu. 518-528 [doi]
• Reliability Analysis of Systems With Two-Way Dependency Between ComponentsDarshana Yadav, Nil Kamal Hazra, Maxim Finkelstein. 529-530 [doi]
• Research on Training and Deployment Approaches for Large Language Models Enabled by Cloud-Edge CollaborationSa Meng, Liang Luo, Xiwei Qiu. 531-532 [doi]
• Optimized Nonlinear Random Projection for High-Dimensional Data RepresentationRidwan A. Sanusi, Usman Adedeji Adeniran, Nurudeen Adedayo Adegoke, Jimoh Olawale Ajadi. 533-534 [doi]
• Research on the Reliability of Cloud Edge Collaboration System for AI ApplicationsLiang Luo, Sa Meng, Xiwei Qiu. 535-536 [doi]
• Dependable Embodied Intelligence: Toward Trustworthy Integration of Large Language Models and World ModelsJiehan Zhou, Hanwei Zhang, Tongtong Feng, Xiuze Xia. 537-539 [doi]