| 2025 | A Framework for Explanations in Weighted Networks: The Community Detection Case. Christos Konstantopoulos, Kostas Tsichlas |
| 2025 | A Privacy Preserving Cross-Domain Label Propagation Algorithm. Shuo He, Hongbao Liu, Tao Tang, Jiawei Jiang |
| 2025 | A Survey on Visual GUI Testing for Automatic Test Case Generation: Tools, AI Techniques, and Emerging Trends (S). Asrar Qassem, Renée C. Bryce, Khalid Alkhaldi |
| 2025 | ABSTRE: A Multi-Feature Fusion Approach for Mobile App Review Classification. Tianqi Fu, Lirong Chen, Qiang Li, Yao Wang |
| 2025 | AI Literacy Development for Software Engineering Education: Mapping AI from the SWEBOK to the SAIL Framework. David Parsons |
| 2025 | AePPollo: Automated Exploit Generation for Prototype Pollution Vulnerabilities in Node.js Application. Wenya Wang, Wang Gao, Zhenghe Wang, Sicong Cao, Xingwei Lin, Dawu Gu |
| 2025 | An efficient heuristic algorithm to compute minimal and stable weighted feedback arc sets (S). Claudia Cavallaro, Vincenzo Cutello |
| 2025 | Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing. Seth Wolfgang, Lan Lin, Fengguang Song |
| 2025 | Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media. Khalid Hasan, Jamil Saquer |
| 2025 | Beyond Test Cases: Multi-Agent Collaboration for Detecting Errors in Full-Score Code Implementations. Yiwei Li, Jiaxin Liu, Yanfeng Hu, Chen Liu, Yating Zhang, Liangze Yin, Wei Dong |
| 2025 | Bridging Static and Dynamic Analysis using IBCs (S). Imran Pinjari, Vaishnavi Kattula, Michael Shin |
| 2025 | CLARA: AContext-Aware Drug Recommendation Framework Using Multi-Level Integration of Large Language Models and Graph Neural Networks. Sarra Laaouar, Nacim Yanes |
| 2025 | Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics. Xiangyu Li, Yihao Zhang, Meng Sun |
| 2025 | ConflictLens: an LLM-Based Method for Detecting Semantic Merge Conflicts. Longfei Sun, Yao Lu, Xinjun Mao, Tanghaoran Zhang, Zhang Zhang, Huiping Zhou |
| 2025 | Contrastive Learning for Entity Matching with Similar Sample Pairs. Hao Yang, Meijuan Yin |
| 2025 | Decoding Serverless Security: Exploring Developer Challenges and Solutions from Stack Overflow. Changrong Xie, Yang Zhang, Xinjun Mao, Huiping Zhou |
| 2025 | Detecting Machine-Generated Text in the Wild via a Hybrid Semantic-Statistical Model. Pengfei Liang, Lirong Chen, Dongsong Zhang |
| 2025 | Detecting Pure Functions in JavaScript Using Machine Learning. Yike Liu, Jinfeng Liu |
| 2025 | Diffusion Model-based Intent Contrastive Learning for Sequential Recommendation. Zhongqin Bi, Meiyun Xiang, Weina Zhang |
| 2025 | DualATLog: Dual-mode Anomaly Transformer-based Log Anomaly Detection Framework for Securing Software Systems (S). Qinxuan Shi, Zhanglong Yang, Sicong Shao |
| 2025 | Dynamic Uncertainty-Aware Fusion for Few-Shot Multimodal Learning (S). Zhiqianru Xu, Cheng Zeng, Aoyu Wang, Chao Zeng |
| 2025 | EXE-Reviewer: Towards EXplainable and Effective Review Comments Generation. Yifei Liu, Junyi Lu, Li Yang, Yang Wang, Zheng Zhang, Xiaoxiao Ma, Jiajia Ma, Fengjun Zhang, Chun Zuo |
| 2025 | Energy-efficient Anomaly Detection for Securing Water Treatment and Distribution Systems. Zhanglong Yang, Qinxuan Shi, Sicong Shao |
| 2025 | Enhancing Automated Test Efficiency: A Hybrid Machine Learning Approach for Test Suite Reduction in Gray-Box Web Application Testing (S). Elsa Paulson, Renée C. Bryce |
| 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 | Evaluating Large Language Models for Extracting Usability Issues from User Bug Reports. Turki Albalawi, Renée C. Bryce |
| 2025 | FedDMC: Dual-Model Dynamic Interaction with Multi-Stage Correction for Noisy Federated Learning. Jiyun Li, Teng Li, Chen Qian, Jiabao Zhao |
| 2025 | Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S). Huiying Liu, Huibiao Zhu, Sini Chen |
| 2025 | Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ. Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata |
| 2025 | Formal Specification and Model Checking of the BB84 Protocol in Maude (S). Canh Minh Do, Kazuhiro Ogata |
| 2025 | Formalization and Verification of XMPP Communication Mechanism Using CSP (S). Di Wu, Wenting Dong, Huibiao Zhu |
| 2025 | From Structure to Suspicion: Cross-Network Detection of Fraudulent Behavior in Real-World Signed Graphs (S). Claudia Cavallaro |
| 2025 | GUARD: Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation. Naizhu Jin, Zhong Li, Tian Zhang, Qingkai Zeng |
| 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 | GitHub Issue Mining to enhance Developer Profiling: A pipeline based on NLP tasks (S). Loredana Caruccio, Grazia Margarella, Giuseppe Polese |
| 2025 | GraphFusion: A Hybrid Semantic-Symbolic Retrieval Approach to NL2Cypher Translation for Domain-Specific KGQA using LLM. Aneesa Bashir, Rong Peng |
| 2025 | How to enhance requirements-to-code traceability? From the perspective of project artifacts. Huan Jin, Yingkai Yuan, Peng Ye, Hongyan Wan, Zhiyuan Zou, Bangchao Wang |
| 2025 | Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S). Xunhao Wang, Wen Bai |
| 2025 | Individual Fairness in K-means Clustering: A Density-Aware Similarity Approach (S). Tao Wu, Yi Yang, Chunming Yang |
| 2025 | Insights from an Industry Survey on Software Design Errors. Tushar Agrawal, Gursimran S. Walia, Vaibhav K. Anu |
| 2025 | Kencode: A Novel Methodology for Voice-Based Programming. Khalid Alkhaldi, Asrar A. Qassem, Stephanie Ludi |
| 2025 | LLM-Augmented KBQA: Robust Reasoning over Error-Prone Programs (S). Tong Li, Xinyu Hu, Gang Xiao |
| 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 | Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods. Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian |
| 2025 | MDC-GCN: Multi-Directional Contextual Graph Convolution Network for Aspect Sentiment Triplet Extraction. Yicun Liu, Xinyu Zheng, Xianguo Zhang |
| 2025 | MFAE: Multi-Feature-Aware Expert Modeling for Web Service QoS Prediction (S). Yunpeng Han, Yugen Du, Xia Chen, Yingwei Luo, Guoxing Tang, Benchi Ma, Jingjing Huang |
| 2025 | MLProf: A Multi-Level Runtime Performance Profiling Framework for MLIR Operations. Yang Liu, Shihao Gao, Hanghang Cao, Hongbin Zhang, Mingjie Xing, Yanjun Wu |
| 2025 | Multi-Level Software Requirements Classification: Assessing BERT Variants and their Hybrid Models. Aryan K. C., Unnati Shah |
| 2025 | MuseCNN: Embedding-Guided Polyphonic Music Accompaniment Generation. Yuyang Wang, Yutong Ye, Yingbo Zhou, Qi Wen, Xiang Lian, Xian Wei, Mingsong Chen |
| 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 | Parameter-Efficient Hate Speech Detection: A Comprehensive Evaluation of LoRA-Adapted LLMs Across 18 Architectures. Mahmoud Abusaqer, Jamil Saquer |
| 2025 | Patent Concept Standardization Prediction Model. Minglong Zhang, Weidong Liu, Kai Wang |
| 2025 | Predicting Defective Code Clones in Autonomous Driving Software. Chenyi Zhou, Ran Mo, Weijun Hu |
| 2025 | Project Pulse: Enhancing Peer Evaluation and Team Accountability in Senior Design Projects. Bingyang Wei, Robin Chataut, Lin Deng |
| 2025 | SGTest: A Semantics-Guided Framework for LLM-Driven Unit Test Generation. Chendong Lin, Leyi Cheng, Jiayi Wu, Xiaofang Zhang |
| 2025 | StepRAG: Step-by-Step Evidence Retrieval and Aggregation for Complex QA. Niannian Zhao, Xiao Wei |
| 2025 | Stochastic Zélus: Stochastic Hybrid Modeling and Verification for Nuclear I&C System. Jiang Xiong, Jing Liu, Mingxing Liu |
| 2025 | Substructure Mining Based on Fact Reflection. Xinzhi Wang, Zhennan Li, Yiming Zhang, Jiayan Qian, Yinghua Ma |
| 2025 | Sustainable Memory Footprint in Federated AI of SensorThings (S). Dionysis Athanasopoulos |
| 2025 | The 37th International Conference on Software Engineering and Knowledge Engineering, SEKE 2025, KSIR Virtual Conference Center, USA, September 29-30, 2025. Shi-Kuo Chang |
| 2025 | Towards the Impact of Code Readability on Vulnerability Detection: An Empirical Stud. Leyi Cheng, Jiayi Wu, Hao Zhu, Xiaofang Zhang |
| 2025 | Verifying the Communication and Security Mechanisms of WAMP. Han Bao, Chenhui Wang, Huibiao Zhu |
| 2025 | When LLMs Meet Multi-Category Complex Classification: A Comparative Stud. Haoying Jin, Song Yang |