ACM SIGSOFT Distinguished Paper Awards
-
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
ACM SIGSOFT Distinguished Reviewer Awards
- Gail Kaiser
- Paolo Arcaini
- Lei Ma
- Michele Pasqua
- Zhuo Zhang
- Antonio Mastropaolo
- Lars Grunske
- Shiyi Wei
- Tim Menzies
- Antonio Filieri
- Darko Marinov
- Jonathan Bell
- Rahul Purandare
- Yepang Liu
- Zhongxin Liu