default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID37th SEKE 2025: KSIR Virtual Conference Center, USA
- Shi-Kuo Chang:
The 37th International Conference on Software Engineering and Knowledge Engineering, SEKE 2025, KSIR Virtual Conference Center, USA, September 29-30, 2025. KSI Research Inc. 2025, ISBN 1-891706-62-4
Session 1: Software Engineering and Knowledge Engineering
- David Parsons:
AI Literacy Development for Software Engineering Education: Mapping AI from the SWEBOK to the SAIL Framework. 1-6 - Sergio Di Meglio, Aniello Somma, Luigi Libero Lucio Starace, Fabio Scippacercola, Giancarlo Sperlì, Sergio Di Martino:
Large Language Models in the Travel Domain: An Industrial Experience. 7-12 - Loredana Caruccio, Grazia Margarella, Giuseppe Polese:
GitHub Issue Mining to enhance Developer Profiling: A pipeline based on NLP tasks (S). 13-18 - Wenya Wang, Wang Gao, Zhenghe Wang, Sicong Cao, Xingwei Lin, Dawu Gu:
AePPollo: Automated Exploit Generation for Prototype Pollution Vulnerabilities in Node.js Application. 19-24
Session 2 Knowledge Engineering and Software Engineering
- Christos Konstantopoulos, Kostas Tsichlas:
A Framework for Explanations in Weighted Networks: The Community Detection Case. 25-30 - Huan Jin, Yingkai Yuan, Peng Ye, Hongyan Wan, Zhiyuan Zou, Bangchao Wang:
How to enhance requirements-to-code traceability? From the perspective of project artifacts. 31-36 - Bingyang Wei, Robin Chataut, Lin Deng:
Project Pulse: Enhancing Peer Evaluation and Team Accountability in Senior Design Projects. 37-42 - Khalid Hasan
, Jamil Saquer:
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media. 43-49
Session SCA: Social Computing and Applications
- Xinzhi Wang, Zhennan Li, Yiming Zhang, Jiayan Qian, Yinghua Ma:
Substructure Mining Based on Fact Reflection. 50-55 - Niannian Zhao, Xiao Wei:
StepRAG: Step-by-Step Evidence Retrieval and Aggregation for Complex QA. 56-59 - Minglong Zhang, Weidong Liu, Kai Wang:
Patent Concept Standardization Prediction Model. 60-65 - Yicun Liu, Xinyu Zheng, Xianguo Zhang:
MDC-GCN: Multi-Directional Contextual Graph Convolution Network for Aspect Sentiment Triplet Extraction. 66-71 - Pengfei Liang, Lirong Chen, Dongsong Zhang:
Detecting Machine-Generated Text in the Wild via a Hybrid Semantic-Statistical Model. 72-77 - Tianqi Fu, Lirong Chen, Qiang Li, Yao Wang:
ABSTRE: A Multi-Feature Fusion Approach for Mobile App Review Classification. 78-83
Session DMM: Data Modeling and Mining
- Claudia Cavallaro, Vincenzo Cutello:
An efficient heuristic algorithm to compute minimal and stable weighted feedback arc sets (S). 84-87 - Tao Wu, Yi Yang, Chunming Yang:
Individual Fairness in K-means Clustering: A Density-Aware Similarity Approach (S). 88-91 - Claudia Cavallaro:
From Structure to Suspicion: Cross-Network Detection of Fraudulent Behavior in Real-World Signed Graphs (S). 92-95 - Dionysis Athanasopoulos:
Sustainable Memory Footprint in Federated AI of SensorThings (S). 96-101
Session 3: Software Testing and Analysis
- Elsa Paulson, Renée C. Bryce:
Enhancing Automated Test Efficiency: A Hybrid Machine Learning Approach for Test Suite Reduction in Gray-Box Web Application Testing (S). 102-107 - Asrar Qassem, Renée C. Bryce, Khalid Alkhaldi:
A Survey on Visual GUI Testing for Automatic Test Case Generation: Tools, AI Techniques, and Emerging Trends (S). 108-113 - Imran Pinjari, Vaishnavi Kattula, Michael Shin:
Bridging Static and Dynamic Analysis using IBCs (S). 114-117 - Chendong Lin, Leyi Cheng, Jiayi Wu, Xiaofang Zhang:
SGTest: A Semantics-Guided Framework for LLM-Driven Unit Test Generation. 118-123 - Yiwei Li, Jiaxin Liu, Yanfeng Hu, Chen Liu, Yating Zhang, Liangze Yin, Wei Dong:
Beyond Test Cases: Multi-Agent Collaboration for Detecting Errors in Full-Score Code Implementations. 124-129 - Seth Wolfgang, Lan Lin, Fengguang Song:
Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing. 130-136
Session 4: Formal Methods and Protocol Verification
- Xunhao Wang, Wen Bai:
Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S). 137-140 - Canh Minh Do, Kazuhiro Ogata:
Formal Specification and Model Checking of the BB84 Protocol in Maude (S). 141-146 - Huiying Liu, Huibiao Zhu, Sini Chen:
Formal Modeling and Verification of AMQP Protocol Using Multiparty Session Types (S). 147-152 - Di Wu, Wenting Dong, Huibiao Zhu:
Formalization and Verification of XMPP Communication Mechanism Using CSP (S). 153-158 - Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata:
Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ. 159-164 - Han Bao, Chenhui Wang, Huibiao Zhu:
Verifying the Communication and Security Mechanisms of WAMP. 165-170
Session 5: Machine Learning for Software Quality and Reliability
- Qinxuan Shi, Zhanglong Yang, Sicong Shao:
DualATLog: Dual-mode Anomaly Transformer-based Log Anomaly Detection Framework for Securing Software Systems (S). 171-174 - Naizhu Jin, Zhong Li, Tian Zhang, Qingkai Zeng:
GUARD: Dual-Agent based Backdoor Defense on Chain-of-Thought in Neural Code Generation. 175-180 - Yike Liu, Jinfeng Liu:
Detecting Pure Functions in JavaScript Using Machine Learning. 181-186 - Chenyi Zhou, Ran Mo, Weijun Hu:
Predicting Defective Code Clones in Autonomous Driving Software. 187-192 - Zhanglong Yang, Qinxuan Shi, Sicong Shao:
Energy-efficient Anomaly Detection for Securing Water Treatment and Distribution Systems. 193-198 - Changrong Xie, Yang Zhang, Xinjun Mao, Huiping Zhou:
Decoding Serverless Security: Exploring Developer Challenges and Solutions from Stack Overflow. 199-204
Session 6: LLM-Based Content Generation and Reasoning
- Hiroyuki Nakagawa, Shinichi Honiden:
LLM-based Adaptive Requirements Elicitation for Innovative Systems (S). 205-210 - Tong Li, Xinyu Hu, Gang Xiao:
LLM-Augmented KBQA: Robust Reasoning over Error-Prone Programs (S). 211-216 - To Kim Bao Pham, Ahmad AlShomar, Sam Supakkul, Tom Hill, Lawrence Chung:
Generating Synthetic Nonfunctional Requirements using Large Language Models for Training Machine Learning Classifiers (S). 217-222 - Longfei Sun, Yao Lu, Xinjun Mao, Tanghaoran Zhang, Zhang Zhang, Huiping Zhou:
ConflictLens: an LLM-Based Method for Detecting Semantic Merge Conflicts. 223-228 - Yifei Liu, Junyi Lu, Li Yang, Yang Wang, Zheng Zhang, Xiaoxiao Ma, Jiajia Ma, Fengjun Zhang, Chun Zuo:
EXE-Reviewer: Towards EXplainable and Effective Review Comments Generation. 229-234 - Aneesa Bashir, Rong Peng:
GraphFusion: A Hybrid Semantic-Symbolic Retrieval Approach to NL2Cypher Translation for Domain-Specific KGQA using LLM. 235-240
Session 7: Code Development, Optimization, and Tools
- Leyi Cheng, Jiayi Wu, Hao Zhu, Xiaofang Zhang:
Towards the Impact of Code Readability on Vulnerability Detection: An Empirical Stud. 241-246 - Shuo He, Hongbao Liu, Tao Tang, Jiawei Jiang:
A Privacy Preserving Cross-Domain Label Propagation Algorithm. 247-252 - Haolin Pan, Yin Zhang, Mingjie Xing, Yanjun Wu:
Navigating the SIMD Optimization Maze: A Reinforcement Learning Approach to Library and Compiler Co-Optimization. 253-258 - Yang Liu, Shihao Gao, Hanghang Cao, Hongbin Zhang, Mingjie Xing, Yanjun Wu:
MLProf: A Multi-Level Runtime Performance Profiling Framework for MLIR Operations. 259-264 - Khalid Alkhaldi, Asrar A. Qassem, Stephanie Ludi:
Kencode: A Novel Methodology for Voice-Based Programming. 265-270 - Yuyang Wang, Yutong Ye, Yingbo Zhou, Qi Wen, Xiang Lian, Xian Wei, Mingsong Chen:
MuseCNN: Embedding-Guided Polyphonic Music Accompaniment Generation. 271-276
Session 8: Machine Learning for Prediction and Recommendation
- Yunpeng Han, Yugen Du, Xia Chen, Yingwei Luo, Guoxing Tang, Benchi Ma, Jingjing Huang:
MFAE: Multi-Feature-Aware Expert Modeling for Web Service QoS Prediction (S). 277-280 - Zhiqianru Xu, Cheng Zeng, Aoyu Wang, Chao Zeng:
Dynamic Uncertainty-Aware Fusion for Few-Shot Multimodal Learning (S). 281-284 - Jiyun Li, Teng Li, Chen Qian, Jiabao Zhao:
FedDMC: Dual-Model Dynamic Interaction with Multi-Stage Correction for Noisy Federated Learning. 285-290 - Zhongqin Bi, Meiyun Xiang, Weina Zhang:
Diffusion Model-based Intent Contrastive Learning for Sequential Recommendation. 291-296 - Hao Yang, Meijuan Yin:
Contrastive Learning for Entity Matching with Similar Sample Pairs. 297-303
Session 9: Domain-Specific and Applied LLM Research
- Mahmoud Abusaqer, Jamil Saquer:
Parameter-Efficient Hate Speech Detection: A Comprehensive Evaluation of LoRA-Adapted LLMs Across 18 Architectures. 304-311 - Turki Albalawi, Renée C. Bryce:
Evaluating Large Language Models for Extracting Usability Issues from User Bug Reports. 312-317 - Haoying Jin, Song Yang:
When LLMs Meet Multi-Category Complex Classification: A Comparative Stud. 318-323 - Sarra Laaouar, Nacim Yanes:
CLARA: AContext-Aware Drug Recommendation Framework Using Multi-Level Integration of Large Language Models and Graph Neural Networks. 324-329 - Aryan K. C., Unnati Shah:
Multi-Level Software Requirements Classification: Assessing BERT Variants and their Hybrid Models. 330-335
Session 10: Systems Modeling, Theory, and Learning Frameworks
- Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian:
Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods. 336-341 - Xiangyu Li, Yihao Zhang, Meng Sun:
Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics. 342-347 - Tushar Agrawal, Gursimran S. Walia, Vaibhav K. Anu:
Insights from an Industry Survey on Software Design Errors. 348-353 - Christos Konstantopoulos, Kostas Tsichlas:
A Framework for Explanations in Weighted Networks: The Community Detection Case. 354-359 - Liu Mao, Ning Li, Zechen Meng, Xia Xie, Mei Yu, Ruiguo Yu, Mankun Zhao:
Enhancing Knowledge Tracing with Inspiration of Psychological Learning Theories. 360-365 - Jiang Xiong, Jing Liu, Mingxing Liu:
Stochastic Zélus: Stochastic Hybrid Modeling and Verification for Nuclear I&C System. 366-371
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-01 23:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
