| 2025 | Predicting Defective Code Clones in Autonomous Driving Software. | Chenyi Zhou, Ran Mo, Weijun Hu |
| 2025 | StepRAG: Step-by-Step Evidence Retrieval and Aggregation for Complex QA. | Niannian Zhao, Xiao Wei |
| 2025 | Patent Concept Standardization Prediction Model. | Minglong Zhang, Weidong Liu, Kai Wang |
| 2025 | Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods. | Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian |
| 2025 | Energy-efficient Anomaly Detection for Securing Water Treatment and Distribution Systems. | Zhanglong Yang, Qinxuan Shi, Sicong Shao |
| 2025 | Dynamic Uncertainty-Aware Fusion for Few-Shot Multimodal Learning (S). | Zhiqianru Xu, Cheng Zeng, Aoyu Wang, Chao Zeng |
| 2025 | Stochastic Zlus: Stochastic Hybrid Modeling and Verification for Nuclear I&C System. | Jiang Xiong, Jing Liu, Mingxing Liu |
| 2025 | Decoding Serverless Security: Exploring Developer Challenges and Solutions from Stack Overflow. | Changrong Xie, Yang Zhang, Xinjun Mao, Huiping Zhou |
| 2025 | Individual Fairness in K-means Clustering: A Density-Aware Similarity Approach (S). | Tao Wu, Yi Yang, Chunming Yang |
| 2025 | Formalization and Verification of XMPP Communication Mechanism Using CSP (S). | Di Wu, Wenting Dong, Huibiao Zhu |
| 2025 | Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing. | Seth Wolfgang, Lan Lin, Fengguang Song |
| 2025 | Project Pulse: Enhancing Peer Evaluation and Team Accountability in Senior Design Projects. | Bingyang Wei, Robin Chataut, Lin Deng |
| 2025 | Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S). | Xunhao Wang, Wen Bai |
| 2025 | MuseCNN: Embedding-Guided Polyphonic Music Accompaniment Generation. | Yuyang Wang, Yutong Ye, Yingbo Zhou, Qi Wen, Xiang Lian, Xian Wei, Mingsong Chen |
| 2025 | ConflictLens: an LLM-Based Method for Detecting Semantic Merge Conflicts. | Longfei Sun, Yao Lu, Xinjun Mao, Tanghaoran Zhang, Zhang Zhang, Huiping Zhou |
| 2025 | DualATLog: Dual-mode Anomaly Transformer-based Log Anomaly Detection Framework for Securing Software Systems (S). | Qinxuan Shi, Zhanglong Yang, Sicong Shao |
| 2025 | A Survey on Visual GUI Testing for Automatic Test Case Generation: Tools, AI Techniques, and Emerging Trends (S). | Asrar Qassem, Rene C. Bryce, Khalid Alkhaldi |
| 2025 | Bridging Static and Dynamic Analysis using IBCs (S). | Imran Pinjari, Vaishnavi Kattula, Michael Shin |
| 2025 | Generating Synthetic Nonfunctional Requirements using Large Language Models for Training Machine Learning Classifiers (S). | To Kim Bao Pham, Ahmad AlShomar, Sam Supakkul, Tom Hill, Lawrence Chung |
| 2025 | Enhancing Automated Test Efficiency: A Hybrid Machine Learning Approach for Test Suite Reduction in Gray-Box Web Application Testing (S). | Elsa Paulson, Rene C. Bryce |
| 2025 | Navigating the SIMD Optimization Maze: A Reinforcement Learning Approach to Library and Compiler Co-Optimization. | Haolin Pan, Yin Zhang, Mingjie Xing, Yanjun Wu |
| 2025 | LLM-based Adaptive Requirements Elicitation for Innovative Systems (S). | Hiroyuki Nakagawa, Shinichi Honiden |
| 2025 | Large Language Models in the Travel Domain: An Industrial Experience. | Sergio Di Meglio, Aniello Somma, Luigi Libero Lucio Starace, Fabio Scippacercola, Giancarlo Sperl, Sergio Di Martino |
| 2025 | Enhancing Knowledge Tracing with Inspiration of Psychological Learning Theories. | Liu Mao, Ning Li, Zechen Meng, Xia Xie, Mei Yu, Ruiguo Yu, Mankun Zhao |
| 2025 | Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics. | Xiangyu Li, Yihao Zhang, Meng Sun |