ACM SIGSOFT Distinguished Paper Award
-
Do not neglect what’s on your hands: localizing software faults with exception trigger stream
Xihao Zhang, Yi Song, Xiaoyuan Xie, Qi Xin, Chenliang Xing -
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Zongze Jiang, Ming Wen, Jialun Cao, Xuanhua Shi, Hai Jin -
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan Xie, Ming Wen, Tinghan Li, Yiding Zhu, Qinsheng Hou, Hai Jin -
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
Chuan Yan, Mark Huasong Meng, Liuhuo Wan, Tian Yang Ooi, Ruomai Ren, Guangdong Bai -
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs
Yin Wang, Ming Fan, Hao Zhou, Haijun Wang, Wuxia Jin, Jiajia Li, Wenbo Chen, Shijie Li, Yu Zhang, Deqiang Han, Ting Liu -
Reducing Test Runtime by Transforming Test Fixtures
Chengpeng Li, Abdelrahman Baz, August Shi -
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation
Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang -
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
Huan Xie, Yan Lei, Maojin Li, Meng Yan, Sheng Zhang -
Context-Aware Automated Sprint Plan Generation for Agile Software Development
Elvan Kula, Arie van Deursen, Georgios Gousios -
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
Jiuang Zhao, Zitian Yang, Li Zhang, Xiaoli Lian, Donghao Yang, Xin Tan -
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro -
General and Practical Property-based Testing for Android Apps
Yiheng Xiong, Ting Su, Jue Wang, Jingling Sun, Geguang Pu, Zhendong Su -
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma -
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
Huan Zhang, Wei Cheng, Yuhan Wu, Wei Hu -
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Wang, Yuan Zhou, Yinxing Xue