APSEC 2025
Tue 2 - Fri 5 December 2025 Macao, China
VenueWynn Palace
Room name(Session A) lotus room
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 2 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 12:30
New Faculty ForumTutorials at (Session A) lotus room
09:00
30m
Talk
Tips and Pitfalls: Lessons Learned as a New Faculty Member
Tutorials
Zhongxin Liu Zhejiang University
09:30
30m
Talk
A New Journey: Navigating the Cold Start in First-Year Learning
Tutorials
Jiayang Song Macau University of Science and Technology
10:00
30m
Talk
Navigating the Early Years: From PhD Candidate to Assistant Professor in Software Engineering
Tutorials
Xiaolei Ren Macau University of Science and Technology
10:30
30m
Coffee break
Coffee break
Tutorials

11:00
30m
Talk
Real-World Challenges in Assuring Safe Cyber-Physical Systems: A Formal Methods Perspective
Tutorials
Jiawan Wang Nanjing University
11:30
30m
Talk
LLM-based Log Analysis for Cloud Reliability Engineering
Tutorials
Zhuangbin Chen School of Software Engineering, Sun Yat-sen University
12:00
30m
Panel
Panel
Tutorials

13:00 - 14:00
Tutorial ATutorials at (Session A) lotus room
Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen
13:00
60m
Tutorial
Foundations of Software Testing
Tutorials
14:00 - 15:40
Tutorial BTutorials at (Session A) lotus room
Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen
14:00
1h40m
Tutorial
Architecting Large-Scale Explainable AI (XAI) Software: Process, Pipeline, and Framework
Tutorials
Jun Huang Concordia University, Yan Liu Concordia University

Wed 3 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:20
Session 1A: Testing and Mutation (Technical Track)Technical Track at (Session A) lotus room
Chair(s): William Chu TungHai University
14:00
20m
Full-paper
AutoRCA: A Graph Sequence-based Automatic Root Cause Analysis Method for Microservice Systems Through Multimodal Data
Technical Track
Ying Zhou Southeast University, Yingying Sheng Southeast University, Bixin Li Southeast University
14:20
20m
Full-paper
CAMUS: Context-Aware Neural Mutation Selection
Technical Track
Mingda Chen Beijing Jiaotong University, Bo Wang Beijing Jiaotong University, Youfang Lin Beijing Jiaotong University, Jie M. Zhang King's College London
14:40
20m
Full-paper
ISA: Test Case Generation based on Improved Simulated Annealing Algorithm
Technical Track
Shunhui Ji Hohai University, Yu Shi Hohai University, Ji Deng Hohai University, Pengcheng Zhang Hohai University
15:00
20m
Full-paper
Trace: Test Repair via Agent-based Context Extraction with LLMs
Technical Track
Jingxiang Tu , Bo Lin National University of Defense Technology, Yihao Qin , Shangwen Wang National University of Defense Technology, Liqian Chen National University of Defense Technology, Xiaoguang Mao National University of Defense Technology
16:00 - 17:20
Session 2A: Program Analysis (Technical Track)Technical Track at (Session A) lotus room
Chair(s): Xiaolei Ren Macau University of Science and Technology
16:00
20m
Full-paper
Systematic Mapping Study on Risks and Vulnerabilities in Software Containers
Technical Track
Maha Sroor University of Jyväskylä, Teerath Das University of Jyväskylä, Rahul Mohanani University of Jyväskylä, Tommi Mikkonen University of Jyvaskyla
16:20
20m
Full-paper
A Hierarchical Hybrid-Intelligence Architecture with Consensus, Debate, and Reflection for High-Fidelity NL-to-PPTL Conversion
Technical Track
Tianchi Zhang East China Normal University, Jinhui Lyu East China Normal University, Yong Cai East China Normal University
16:40
20m
Full-paper
MAAP: A Self-Evolving Multi-Agent Automated Vulnerability Repair Framework for Python
Technical Track
Junfan Chen Hainan University, Zhiyuan Fu Hainan University, Ting Yang Xidian University, Ruidong Li Kanazawa University, Hongyu Sun Hainan University, Yuqing Zhang University of Chinese Academy of Sciences, Hainan University
17:00
20m
Full-paper
An Empirical Study of Reinforcement Learning-based Class Integration Test Order Generation
Technical Track
Jiayi Wang Shenzhen Technology University, Shuxiang Zheng Shenzhen Technology University, Miao Zhang Shenzhen Technology University, Yan Xiao Sun Yat-sen University, Peihong Chen Shenzhen Technology University, Xiaoxing Yang Shenzhen Technology University

Thu 4 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

10:30 - 12:10
Session 3A: Concurrency & Formal Methods (Technical Track)Technical Track at (Session A) lotus room
Chair(s): Karl Leung Hong Kong Institute of Vocational Education
10:30
20m
Full-paper
BDafny: A Formal Execution and Verification Framework of the BPMN 2.0 in Dafny
Technical Track
Ziqing Su East China Normal University, Sini Chen , Ran Li East China Normal University, Huibiao Zhu , Jiapeng Wang East China Normal University
10:50
20m
Full-paper
MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
Technical Track
Zhiling Deng School of Software Engineering, Sun Yat-sen University, Zhuangbin Chen Sun Yat-sen University, Juepeng Wang School of Software Engineering, Sun Yat-sen University
11:10
20m
Full-paper
MUATC: Multi-Agent Utilization to Augment Test Coverage
Technical Track
Tiecheng Ma College of Computer Science and Technology, National University of Defense Technology, Sirui Liu , Jiaxin Liu National University of Defense Technology, Yating Zhang National University of Defense Technology, Wei Dong National University of Defense Technology
11:30
20m
Full-paper
PyReach: A Multi-Agent Framework for Vulnerability Reachability Analysis in Python
Technical Track
Yueqin Wang Institute of Software Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo , Xu Wang Institute of Software, Chinese Academy of Sciences
11:50
20m
Full-paper
Recovering Variable Names in The Decompiled Code Based on Multi-Task Learning
Technical Track
Jiayi Li Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Jian He Shanghai Aerospace Electronic Technology Institute, Jingjing Gu Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics
14:00 - 15:00
Session 4A: Defect Prediction & Repair (Technical Track)Technical Track at (Session A) lotus room
Chair(s): Xiao Yu Zhejiang University
14:00
20m
Full-paper
caSPESC2Vyper: Conformant and Automatic Generation from DeFi SPESC Legal Contract to Vyper Smart Contract
Technical Track
Yue Yu South-Central Minzu University, Jiahui Wang South-Central Minzu University, Bo Meng South-Central Minzu University, Dejun Wang South-Central Minzu University
14:20
20m
Full-paper
FixConsult: Leveraging External Defect Knowledge Driven Natural Language Suggestions Generation for Software Vulnerability Repair
Technical Track
Gang Hu School of Information Science & Engineering, Yunnan University, LinHui Geng School of Information Science&Engineering, Yunnan University, JiaYao Jin School of Information Science&Engineering, Yunnan University, Xiaoshu Sun School of Information Science&Engineering, Yunnan University, Min Peng
14:40
20m
Full-paper
Software Defect Prediction Based on Temporal Hypergraph Neural Network
Technical Track
Peng He Hubei University, Shuai Hu Hubei university, Ju Ma Wuhan university, Haoqing Yang Hubei university, Yifan Wang Hubei university
16:00 - 17:20
Session 5A: Precision & Code Quality (Technical Track)Technical Track at (Session A) lotus room
Chair(s): Yihan Liao City University of Hong Kong
16:00
20m
Full-paper
GATUNER:Genetic Algorithm Applied to Floating-Point Precision Tuning
Technical Track
zjn_hpc , Jinchen Xu Information Engineering University, Hongru Yang Hunan University, Changsha, China, Tao Zhang Information Engineering University, Shuai Wang Information Engineering University, Bei Zhou Information Engineering University
16:20
20m
Full-paper
What You See Is Not Always What You Get: Evaluating GPT's Comprehension of Source Code
Technical Track
Jiawen wen , Bangshuo Zhu The University of Sydney, Huaming Chen The University of Sydney
16:40
20m
Full-paper
Where Is Self-admitted Code Generated by Large Language Models on GitHub?
Technical Track
Xiao Yu Zhejiang University, Lei Liu Xi’an Jiaotong University, Xing Hu Zhejiang University, Jin Liu Wuhan University, Xin Xia Zhejiang University
17:00
20m
Full-paper
SMTPRT:Performance Regression Testing and Localization for SMT Solvers Across Multiple Logics
Technical Track
Ziyang Wang Tianjin University, Xiaohong Li Tianjin University, Lili Quan Tianjin University, Yao Zhang Tianjin University, Ruitao Feng Southern Cross University, Zhiping Zhou

Fri 5 Dec

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:20
Session 6A: Requirements and Testing (Technical Track) Technical Track at (Session A) lotus room
Chair(s): Yishu Li Hong Kong Metropolitan University
09:00
20m
Full-paper
AgentTCP: A Collaborative Multi-Agent Framework for Change-Aware Test Case Prioritization
Technical Track
Junyu Chen Chongqing University, Xiuhua Li Sichuan International Studies University, Jinping Wang Chonqing University, Huan Xie Chongqing University, Chunyan Liu Chongqing University, Zhenyu Wu , Yan Lei Chongqing University
09:20
20m
Full-paper
ChatNRC: A Non-functional Requirement Classification Framework Based on a Generative and Discriminative Mechanism
Technical Track
Yuman Qin School of Computer Science, Wuhan University, Wuhan, Hubei 430072, China., Rong Peng School of Computer Science, Wuhan University, Wuhan, Hubei 430072, China.
09:40
20m
Full-paper
Dialogue Framework for Bug Issue Types Classification in Deep Learning-oriented Projects Based on Large Language Model
Technical Track
Yu Zhao , Zixuan Zeng , Zhiqiu Huang Nanjing University of Aeronautics and Astronautics, Lina Gong Nanjing University of Aeronautics and Astronautic
10:00
20m
Full-paper
Dynamic Variance Reduction-Based Reusable Test Case Generation for Image Classification
Technical Track
Changrong Huang Hohai University, Shunhui Ji Hohai University, Yu Shi Hohai University, Pengcheng Zhang Hohai University
11:00 - 12:20
Session 7A: LLM Code Generation (Technical Track) Technical Track at (Session A) lotus room
Chair(s): Yifei Wang
11:00
20m
Full-paper
Chart2Code-MoLA: Efficient Multi-Modal Code Generation via Adaptive Expert Routing
Technical Track
Yifei Wang City University of Hong Kong, Jacky Keung City University of Hong Kong, Zhenyu Mao City University of Hong Kong, Jingyu Zhang City University of Hong Kong, CAO YUCHEN
11:20
20m
Full-paper
LLM-Based Semantic Modeling and Cooperative Evolutionary Fuzzing for Traffic Violation Scenario Generation
Technical Track
Liu Yangyang , Xinyu Li Hohai University, Yan Xiao Sun Yat-sen University, Miao Zhang Shenzhen Technology University, Pengcheng Zhang Hohai University
11:40
20m
Full-paper
Multi-agent Assisted Automatic Test Generation for Java JSON Libraries
Technical Track
Sinan Wang Southern University of Science and Technology, Zhiyuan Zhong The University of Utah, Shaojin Wen Alibaba Inc, Yepang Liu Southern University of Science and Technology
12:00
20m
Full-paper
Breaking the Curse of High-Dimensionality: A Transformer-Based Approach to Software Configuration Performance Prediction
Technical Track
ZhengyuePan Hangzhou Dianzi University, Mingjie Tu Hangzhou Dianzi University, Shijie Li China Southern Power Grid Company Limited, Dandan Wang Institute of Software, Chinese Academy of Sciences, Jie Chen Hangzhou Dianzi University
14:00 - 15:20
Session 8A: Testing and Regression (Technical Track)Technical Track at (Session A) lotus room
Chair(s): Jiayang Song Macau University of Science and Technology, Xuan Xie Macau University of Science and Technology
14:00
20m
Full-paper
A Packing-Insensitive Detection Method for Android Malware Based on Image Representation
Technical Track
Siyuan Ma , Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences, Long Zhang Institute of Software, Chinese Academy of Sciences; Inspur Cloud Information Technology Co.,Ltd.
14:20
20m
Full-paper
Enhancing Diffusion-Driven Test Input Generation using Large Language Model
Technical Track
Joonwoo Lee Hanyang University, Seungho Kim Hanyang University, Scott Uk-Jin Lee Hanyang University
14:40
20m
Full-paper
HGTRTracer: Advancing Requirements-Code Traceability with LLM-Augmented Attribution Reasoning and Heterogeneous Graph Transformer
Technical Track
Huan Jin School of Computer Science and Artificial Intelligence, Wuhan Textile University, Yingkai Yuan School of Computer Science and Artificial Intelligence, Wuhan Textile University, Bangchao Wang Wuhan Textile University, Hongyan Wan School of Computer Science and Artificial Intelligence, Wuhan Textile University, Zhiyuan Zou The School of Computer Science and Artificial Intelligence, Wuhan Textile University, Wuhan, China
15:00
20m
Full-paper
Multi-Stage Generation of Rust Unit Tests with LLMs
Technical Track
Yongqian Chen Zhejiang University, Junwei Zhang Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University