Software Engineering Empirical Research Radar
ICSE 2025 Papers
ICSE 2025 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| "Get Me in the Groove": a Mixed Methods Study on Supporting Adhd Professional Programmers. Kaia Newman, Sarah Snay, Madeline Endres, Manasvi Parikh, Andrew Begel | ICSE | 2025 | Human / Empirical / Socio-technical |
| $ZTD_{\text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies. Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry | ICSE | 2025 | Other |
| $\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults. Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova | ICSE | 2025 | Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release |
| 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. Sarah Fakhoury, Markus Kuppe 0001, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy | ICSE | 2025 | AI / LLM for SE |
| A Catalog of Micro Frontends Anti-Patterns. Nabson Paiva Souza da Silva, Eriky Rodrigues, Tayana Conte | ICSE | 2025 | Other |
| A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs. Trey Woodlief, Carl Hildebrandt, Sebastian G. Elbaum | ICSE | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| A First Look at Conventional Commits Classification. Qunhong Zeng, Yuxia Zhang, Zhiqing Qiu, Hui Liu | ICSE | 2025 | Other |
| A Large-Scale Study of Model Integration in ML-Enabled Software Systems. Yorick Sens, Henriette Knopp, Sven Peldszus, Thorsten Berger | ICSE | 2025 | Human / Empirical / Socio-technical |
| A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing. Sanan Hasanov, Stefan Nagy, Paul Gazzillo | ICSE | 2025 | Testing / QA; DevOps / CI / Build / Release |
| A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs. Myeongsoo Kim, Tyler Stennett, Saurabh Sinha 0003, Alessandro Orso | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection. Tianchen Yu, Li Yuan, Liannan Lin, Hongkui He | ICSE | 2025 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. Ian McCormack, Joshua Sunshine, Jonathan Aldrich | ICSE | 2025 | Human / Empirical / Socio-technical |
| A Tale of Two DL Cities: When Library Tests Meet Compiler. Qingchao Shen, Yongqiang Tian 0001, Haoyang Ma, Junjie Chen 0003, Lili Huang | ICSE | 2025 | Testing / QA |
| A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory. Shiyu Zhang, Haoyang Song, Qixin Wang 0001, Henghua Shen, Yu Pei 0001 | ICSE | 2025 | Testing / QA |
| ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service Systems. Wenwei Gu, Jiazhen Gu, Jinyang Liu 0002, Zhuangbin Chen, Jianping Zhang 0002 | ICSE | 2025 | Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| Accessibility Issues in Ad-Driven Web Applications. Abdul Haddi Amjad, Muhammad Danish, Bless Jah, Muhammad Ali Gulzar | ICSE | 2025 | Mobile / Web / GUI / Android |
| Accounting for Missing Events in Statistical Information Leakage Analysis. Seongmin Lee 0001, Shreyas Minocha, Marcel Böhme | ICSE | 2025 | Other |
| Aligning the Objective of LLM-Based Program Repair. Junjielong Xu, Ying Fu, Shin Hwei Tan, Pinjia He | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale. Mengya Zhang, Preksha Shukla, Wuqi Zhang, Zhuo Zhang 0002, Pranav Agrawal 0002 | ICSE | 2025 | Human / Empirical / Socio-technical |
| An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far are We? Hyunjae Suh, Mahan Tafreshipour, Jiawei Li 0013, Adithya Bhattiprolu, Iftekhar Ahmed 0001 | ICSE | 2025 | AI / LLM for SE; Human / Empirical / Socio-technical |
| An Empirical Study on Commit Message Generation Using LLMs via In-Context Learning. Yifan Wu 0002, Yunpeng Wang, Ying Li 0012, Wei Tao, Siyu Yu | ICSE | 2025 | Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| An Empirical Study on Package-Level Deprecation in Python Ecosystem. Zhiqing Zhong, Shilin He, Haoxuan Wang, Boxi Yu, Haowen Yang | ICSE | 2025 | Human / Empirical / Socio-technical |
| An Empirical Study on Reproducible Packaging in Open-Source Ecosystems. Giacomo Benedetti, Oreofe Solarin, Courtney Miller, Greg Tystahl, William Enck | ICSE | 2025 | Human / Empirical / Socio-technical |
| An Exploratory Study of ML Sketches and Visual Code Assistants. Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu 0001 | ICSE | 2025 | Human / Empirical / Socio-technical |
| An Exploratory Study on the Engineering of Security Features. Kevin Hermann, Sven Peldszus, Jan-Philipp Steghöfer, Thorsten Berger | ICSE | 2025 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. Miao Miao 0001, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei | ICSE | 2025 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization. Fraol Batole, David O'Brien, Tien N. Nguyen, Robert Dyer 0001, Hridesh Rajan | ICSE | 2025 | AI / LLM for SE; Requirements / Modeling / Architecture |
| Analyzing the Feasibility of Adopting Google's Nonce-Based CSP Solutions on Websites. Mengxia Ren, Anhao Xiang, Chuan Yue | ICSE | 2025 | Other |
| Answering User Questions About Machine Learning Models Through Standardized Model Cards. Tajkia Rahman Toma, Balreet Grewal, Cor-Paul Bezemer | ICSE | 2025 | AI / LLM for SE |
| Are LLMs Correctly Integrated into Software Systems? Yuchen Shao, Yuheng Huang 0004, Jiawei Shen, Lei Ma 0003, Ting Su 0001 | ICSE | 2025 | Other |
| Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions. Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic | ICSE | 2025 | Other |
| AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts. Setu Kumar Basak, K. Virgil English, Ken Ogura, Vitesh Kambara, Bradley Reaves | ICSE | 2025 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability |
| Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps. Forough Mehralian, Ziyao He, Sam Malek | ICSE | 2025 | Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| Automated Generation of Accessibility Test Reports from Recorded User Transcripts. Syed Fatiul Huq, Mahan Tafreshipour, Kate Kalcevich, Sam Malek | ICSE | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration. Jiashuo Zhang 0001, Jiachi Chen, John Grundy 0001, Jianbo Gao 0003, Yanlin Wang 0001 | ICSE | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Automated, Unsupervised, and Auto-Parameterized Inference of Data Patterns and Anomaly Detection. Qiaolin Qin, Heng Li 0007, Ettore Merlo, Maxime Lamothe | ICSE | 2025 | Other |
| Automating a Complete Software Test Process Using LLMs: An Automotive Case Study. Shuai Wang, Yinan Yu, Robert Feldt, Dhasarathy Parthasarathy | ICSE | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks. Yisong Xiao, Aishan Liu, Xinwei Zhang 0010, Tianyuan Zhang 0004, Tianlin Li | ICSE | 2025 | AI / LLM for SE; Security / Privacy / Vulnerability |
| BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries. Wen Zhang, Botang Xiao, Qingchen Kong, Le Guan, Wenwen Wang 0001 | ICSE | 2025 | Other |
| Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers. Yuling Shi, Hongyu Zhang 0002, Chengcheng Wan 0001, Xiaodong Gu 0002 | ICSE | 2025 | Human / Empirical / Socio-technical |
| Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis. Shiyu Sun, Yanhui Li, Lin Chen, Yuming Zhou, Jianhua Zhao | ICSE | 2025 | Other |
| Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. Yongchao Wang, Yuandao Cai, Charles Zhang 0001 | ICSE | 2025 | Other |
| Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference. Chong Wang, Jianan Liu, Xin Peng, Yang Liu, Yiling Lou | ICSE | 2025 | AI / LLM for SE; Performance / Energy / Reliability |
| COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge. Yichen Li 0003, Yulun Wu, Jinyang Liu 0002, Zhihan Jiang, Zhuangbin Chen | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Calibration and Correctness of Language Models for Code. Claudio Spiess, David Gros 0001, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin | ICSE | 2025 | Other |
| Can an LLM Find Its Way Around a Spreadsheet? Cho-Ting Lee, Andrew Neeser, Shengzhe Xu, Jay Katyan, Patrick Cross | ICSE | 2025 | AI / LLM for SE |
| Chatgpt Inaccuracy Mitigation During Technical Report Understanding: Are we There Yet? Salma Begum Tamanna, Gias Uddin 0001, Song Wang 0009, Lan Xia, Longyu Zhang | ICSE | 2025 | AI / LLM for SE |
| Chatgpt-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples. Chunhao Dong, Yanjie Jiang, Yuxia Zhang, Yang Zhang, Hui Liu | ICSE | 2025 | Testing / QA; AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs. Yuanhang Zhou, Zhen Yan, Yuanliang Chen, Fuchen Ma, Ting Chen 0002 | ICSE | 2025 | Security / Privacy / Vulnerability |
| Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE. Benjamin Steenhoek, Kalpathy Sivaraman, Renata Saldivar Gonzalez, Yevhen Mohylevskyy, Roshanak Zilouchian Moghaddam | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs. Hongyan Gao, Yibiao Yang, Maolin Sun, Jiangchang Wu, Yuming Zhou | ICSE | 2025 | Testing / QA |
| Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on Development. Ran Mo, Haopeng Song, Wei Ding, Chaochao Wu | ICSE | 2025 | Maintenance / Evolution / Refactoring / Review |
| Code Comment Inconsistency Detection and Rectification Using a Large Language Model. Guoping Rong, Yongda Yu, Song Liu, Xin Tan, Tianyi Zhang | ICSE | 2025 | AI / LLM for SE |
| Code Today, Deadline Tomorrow: Procrastination Among Software Developers. Zeinabsadat Saghi, Thomas Zimmermann 0001, Souti Chattopadhyay | ICSE | 2025 | Human / Empirical / Socio-technical |
| CodeImprove: Program Adaptation for Deep Code Models. Ravishka Rathnasuriya, Zijie Zhao, Wei Yang 0013 | ICSE | 2025 | Other |
| Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications. Wei Ma 0014, Daoyuan Wu, Yuqiang Sun 0001, Tianwen Wang, Shangqing Liu | ICSE | 2025 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation. Wenqian Deng, Jie Liang 0006, Zhiyong Wu 0010, Jingzhou Fu, Mingzhe Wang | ICSE | 2025 | Testing / QA |
| ConsCS: Effective and Efficient Verification of Circom Circuits. Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Constrained LTL Specification Learning from Examples. Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Context Conquers Parameters: Outperforming Proprietary Llm in Commit Message Generation. Aaron Imani, Iftekhar Ahmed 0001, Mohammad Moshirpour | ICSE | 2025 | AI / LLM for SE; DevOps / CI / Build / Release |
| Cooperative Software Verification via Dynamic Program Splitting. Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Critical Variable State-Aware Directed Greybox Fuzzing. Xu Chen, Ningning Cui, Zhe Pan, Liwei Chen, Gang Shi | ICSE | 2025 | Testing / QA |
| DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners. Yue Wang 0063, Chao Yang 0016, Xiaodong Zhang 0014, Yuwanqi Deng, Jianfeng Ma 0001 | ICSE | 2025 | Other |
| Datalog-Based Language-Agnostic Change Impact Analysis for Microservices. Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li | ICSE | 2025 | Maintenance / Evolution / Refactoring / Review |
| Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems. Mingfei Cheng, Xiaofei Xie, Yuan Zhou 0005, Junjie Wang 0007, Guozhu Meng | ICSE | 2025 | Other |
| Decoding Secret Memorization in Code LLMs Through Token-Level Characterization. Yuqing Nie, Chong Wang 0013, Kailong Wang 0001, Guoai Xu, Guosheng Xu 0001 | ICSE | 2025 | Security / Privacy / Vulnerability |
| Decoding the Issue Resolution Process in Practice via Issue Report Analysis: a Case Study of Firefox. Antu Saha, Oscar Chaparro | ICSE | 2025 | Human / Empirical / Socio-technical |
| Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword? Rosalia Tufano, Alberto Martin-Lopez, Ahmad Tayeb, Ozren Dabic, Sonia Haiduc | ICSE | 2025 | AI / LLM for SE |
| Definition and Detection of Centralization Defects in Smart Contracts. Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Zibin Zheng | ICSE | 2025 | Other |
| Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts. Jiashuo Zhang 0001, Yiming Shen, Jiachi Chen, Jianzhong Su, Yanlin Wang 0001 | ICSE | 2025 | Security / Privacy / Vulnerability |
| DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models. Mingyue Yuan, Jieshan Chen, Zhenchang Xing, Aaron Quigley, Yuyu Luo | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture |
| Dissecting Global Search: A Simple Yet Effective Method to Boost Individual Discrimination Testing and Repair. Lili Quan, Tianlin Li, Xiaofei Xie, Zhenpeng Chen, Sen Chen 0001 | ICSE | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Distilled Lifelong Self-Adaptation for Configurable Systems. Yulong Ye, Tao Chen 0001, Miqing Li | ICSE | 2025 | Other |
| Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software. Zhenpeng Chen, Xinyue Li, Jie M. Zhang, Federica Sarro, Yang Liu 0003 | ICSE | 2025 | AI / LLM for SE |
| Dockerfile Flakiness: Characterization and Repair. Taha Shabani, Noor Nashid, Parsa Alian, Ali Mesbah 0001 | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Does GenAI Make Usability Testing Obsolete? Ali Ebrahimi Pourasad, Walid Maalej | ICSE | 2025 | Testing / QA |
| EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications. Chenkai Guo, Qianlu Wang, Naipeng Dong, Lingling Fan 0003, Tianhong Wang 0010 | ICSE | 2025 | Mobile / Web / GUI / Android |
| Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models. Lizhi Liao, Simon Eismann, Heng Li 0007, Cor-Paul Bezemer, Diego Elias Costa | ICSE | 2025 | Requirements / Modeling / Architecture; Performance / Energy / Reliability |
| EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework. Ziji Wu, Yu Huang, Peishan Huang, Shanghua Wen, Minglong Li | ICSE | 2025 | Other |
| Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models. Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco 0001, Paolo Tonella | ICSE | 2025 | Testing / QA |
| Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding. Yifeng Di, Tianyi Zhang 0001 | ICSE | 2025 | Other |
| Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning. Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects. Hao Song, Teng Li, Jiachi Chen, Ting Chen 0002, Beibei Li 0002 | ICSE | 2025 | Security / Privacy / Vulnerability |
| Evaluating Garbage Collection Performance Across Managed Language Runtimes. Yicheng Wang, Wensheng Dou, Yu Liang, Yi Wang 0069, Wei Wang 0049 | ICSE | 2025 | Performance / Energy / Reliability |
| Execution Trace Reconstruction Using Diffusion-Based Generative Models. Madeline Janecek, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj | ICSE | 2025 | AI / LLM for SE |
| Exploring the Robustness of the Effect of EVO on Intention Valuation Through Replication. Yesugen Baatartogtokh, Kaitlyn Cook, Alicia M. Grubb | ICSE | 2025 | Other |
| Exposing the Hidden Layer: Software Repositories in the Service of Seo Manipulation. Mengying Wu, Geng Hong, Wuyuao Mai, Xinyi Wu, Lei Zhang 0096 | ICSE | 2025 | Other |
| FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. Yang Sun 0008, Christopher M. Poskitt, Kun Wang 0023, Jun Sun 0001 | ICSE | 2025 | Other |
| FairChecker: Detecting Fund-Stealing Bugs in DeFi Protocols via Fairness Validation. Yi Sun 0004, Zhuo Zhang 0002, Xiangyu Zhang 0001 | ICSE | 2025 | Testing / QA |
| FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang | ICSE | 2025 | Other |
| Fairness Testing Through Extreme Value Theory. Verya Monjezi, Ashutosh Trivedi 0001, Vladik Kreinovich, Saeid Tizpaz-Niari | ICSE | 2025 | Testing / QA |
| Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks. Brian Hyeongseok Kim, Jingbo Wang 0006, Chao Wang 0001 | ICSE | 2025 | AI / LLM for SE |
| Famos: Fault Diagnosis for Microservice Systems Through Effective Multi-Modal Data Fusion. Chiming Duan, Yong Yang 0011, Tong Jia, Guiyang Liu, Jinbu Liu | ICSE | 2025 | Cloud / Microservices / Distributed Systems |
| Faster Configuration Performance Bug Testing with Neural Dual-Level Prioritization. Youpeng Ma, Tao Chen 0001, Ke Li 0001 | ICSE | 2025 | Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability |
| Feature-Driven End-to-End Test Generation. Parsa Alian, Noor Nashid, Mobina Shahbandeh, Taha Shabani, Ali Mesbah 0001 | ICSE | 2025 | Testing / QA |
| Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-Based Software. Anna Mazhar, Saad Sher Alam, William X. Zheng, Yinfang Chen, Suman Nath | ICSE | 2025 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Fixing Large Language Models' Specification Misunderstanding for Better Code Generation. Zhao Tian, Junjie Chen 0003, Xiangyu Zhang 0001 | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations. Wonhoi Kim, Hocheol Nam 0001, Muoi Tran, Amin Jalilov, Zhenkai Liang | ICSE | 2025 | Testing / QA; Security / Privacy / Vulnerability |
| Formally Verified Binary-Level Pointer Analysis. Freek Verbeek, Ali Shokri 0003, Daniel Engel, Binoy Ravindran | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Formally Verified Cloud-Scale Authorization. Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks 0001, Sam Huang | ICSE | 2025 | Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC. Stefan Schwedt, Thomas Ströder | ICSE | 2025 | Human / Empirical / Socio-technical |
| Fuzzing MLIR Compilers with Custom Mutation Synthesis. Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim | ICSE | 2025 | Testing / QA |
| GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems. Linfeng Liang, Yao Deng, Kye Morton, Valtteri Kallinen, Alice James | ICSE | 2025 | Other |
| GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors. Heng Yong, Zhong Li, Minxue Pan, Tian Zhang 0001, Jianhua Zhao | ICSE | 2025 | Other |
| GenC2Rust: Towards Generating Generic Rust Code from C. Xiafa Wu, Brian Demsky | ICSE | 2025 | Other |
| Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification. Yizhou Chen, Zeyu Sun 0004, Guoqing Wang 0004, Dan Hao 0001 | ICSE | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions. Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang 0007, Jiangtao Wang 0009 | ICSE | 2025 | Other |
| Hedgecode: A Multi-Task Hedging Contrastive Learning Framework for Code Search. Gong Chen 0007, Xiaoyuan Xie, Daniel Tang, Qi Xin, Wenjie Liu | ICSE | 2025 | Other |
| Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V. Yiwei Li 0006, Liangze Yin, Wei Dong 0006, Jiaxin Liu, Yanfeng Hu | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Hints Help Finding and Fixing Bugs Differently in Python and Text-Based Program Representations. Ruchit Rawal, Victor-Alexandru Padurean, Sven Apel, Adish Singla, Mariya Toneva | ICSE | 2025 | Other |
| How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities. Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner | ICSE | 2025 | Other |
| HumanEvo: An Evolution-Aware Benchmark for More Realistic Evaluation of Repository-Level Code Generation. Dewu Zheng, Yanlin Wang 0001, Ensheng Shi, Ruikai Zhang, Yuchi Ma | ICSE | 2025 | DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution. Shuo Yang 0012, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao 0015 | ICSE | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation. Marcos Macedo, Yuan Tian 0008, Pengyu Nie 0001, Filipe Roseiro Côgo, Bram Adams | ICSE | 2025 | AI / LLM for SE |
| IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation. Yuyang Rong, Zhanghan Yu, Zhenkai Weng, Stephen Neuendorffer, Hao Chen | ICSE | 2025 | Testing / QA |
| Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification. Sigma Jahan, Mehil B. Shah, Parvez Mahbub, Mohammad Masudur Rahman 0001 | ICSE | 2025 | AI / LLM for SE |
| Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability. Geraldine Galindo-Gutierrez, Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Alexandre Bergel, Gordon Fraser 0001 | ICSE | 2025 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering. Tanghaoran Zhang, Yue Yu 0001, Xinjun Mao, Shangwen Wang, Kang Yang 0001 | ICSE | 2025 | Other |
| Instrumentation-Driven Evolution-Aware Runtime Verification. Kevin Guan, Owolabi Legunsen | ICSE | 2025 | Program Analysis / Verification / Formal Methods; Maintenance / Evolution / Refactoring / Review |
| Insvdf: Interface-State-Aware Virtual Device Fuzzing. Zexiang Zhang, Gaoning Pan, Ruipeng Wang, Yiming Tao, Zulie Pan | ICSE | 2025 | Testing / QA |
| Intention is All you Need: Refining your Code from your Intention. Qi Guo, Xiaofei Xie, Shangqing Liu, Ming Hu 0003, Xiaohong Li 0001 | ICSE | 2025 | Other |
| Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. Chenxi Zhang, Yufei Liang, Tian Tan 0001, Chang Xu 0001, Shuangxiang Kan | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS. Bianca Trinkenreich, Zixuan Feng, Rudrajit Choudhuri, Marco Aurélio Gerosa, Anita Sarma | ICSE | 2025 | Other |
| Invivo Fuzzing by Amplifying Actual Executions. Octavio Galland, Marcel Böhme | ICSE | 2025 | Testing / QA |
| Iterative Generation of Adversarial Example for Deep Code Models. Li Huang 0006, Weifeng Sun 0004, Meng Yan 0001 | ICSE | 2025 | Other |
| Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency. Chijin Zhou, Quan Zhang 0003, Bingzhou Qian, Yu Jiang 0001 | ICSE | 2025 | Mobile / Web / GUI / Android |
| Knowledge-Enhanced Program Repair for Data Science Code. Shuyin Ouyang, Jie M. Zhang, Zeyu Sun 0004, Albert Meroño-Peñuela | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| LLM Assistance for Memory Safety. J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma 0001, Subhajit Roy 0001 | ICSE | 2025 | AI / LLM for SE |
| LLM Based Input Space Partitioning Testing for Library APIs. Jiageng Li, Zhen Dong, Chong Wang, Haozhen You, Cen Zhang | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems. Venkata Sai Aswath Duvvuru, Bohan Zhang, Michael Vierhauser, Ankit Agrawal 0002 | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| LLM-Aided Automatic Modeling for Security Protocol Verification. Ziyu Mao, Jingyi Wang 0004, Jun Sun 0001, Shengchao Qin, Jiawen Xiong | ICSE | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Requirements / Modeling / Architecture |
| LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-Based Code Completion. Chong Wang 0013, Kaifeng Huang 0001, Jian Zhang 0087, Yebo Feng, Lyuye Zhang | ICSE | 2025 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes. Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou 0043, Claire Le Goues | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| Large Language Models as Configuration Validators. Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang 0009, Parth Thakkar | ICSE | 2025 | DevOps / CI / Build / Release |
| Large Language Models for Safe Minimization. Aashish Yadavally, Xiaokai Rong, Phat Nguyen, Tien N. Nguyen | ICSE | 2025 | Other |
| Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests. Amirhossein Deljouyi, Roham Koohestani, Maliheh Izadi, Andy Zaidman | ICSE | 2025 | Testing / QA |
| Leveraging Large Language Models to Detect NPM Malicious Packages. Nusrat Zahan, Philipp Burckhardt, Mikola Lysenko, Feross Aboukhadijeh, Laurie A. Williams | ICSE | 2025 | Other |
| Leveraging Propagated Infection to Crossfire Mutants. Hang Du, Vijay Krishna Palepu, James A. Jones | ICSE | 2025 | Other |
| LiSSA: Toward Generic Traceability Link Recovery Through Retrieval- Augmented Generation. Dominik Fuchß, Tobias Hey 0001, Jan Keim, Haoyu Liu, Niklas Ewald | ICSE | 2025 | Requirements / Modeling / Architecture |
| LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models. Zeyang Ma, Dong Jae Kim, Tse-Hsun Peter Chen | ICSE | 2025 | Other |
| Licoeval: Evaluating LLMs on License Compliance in Code Generation. Weiwei Xu 0001, Kai Gao 0008, Hao He 0012, Minghui Zhou 0001 | ICSE | 2025 | Other |
| Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries. Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi | ICSE | 2025 | Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| MAGIKA: AI-Powered Content-Type Detection. Yanick Fratantonio, Luca Invernizzi, Loua Farah, Kurt Thomas, Marina Zhang | ICSE | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| MARQ: Engineering Mission-Critical AI-Based Software with Automated Result Quality Adaptation. Uwe Gropengießer, Elias Dietz, Florian Brandherm, Achref Doula, Osama Abboud | ICSE | 2025 | AI / LLM for SE |
| Measuring the Runtime Performance of C++ Code Written by Humans Using Github Copilot. Daniel Erhabor, Sreeharsha Udayashankar, Meiyappan Nagappan, Samer Al-Kiswany | ICSE | 2025 | Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| Metamorphic-Based Many-Objective Distillation of LLMs for Code-Related Tasks. Annibale Panichella | ICSE | 2025 | Other |
| Mobile Application Coverage: The 30% Curse and Ways Forward. Faridah Akinotcho, Lili Wei, Julia Rubin | ICSE | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning. Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| Model Editing for LLMs4Code: How Far are we? Xiaopeng Li 0006, Shangwen Wang, Shasha Li 0001, Jun Ma 0015, Jie Yu 0008 | ICSE | 2025 | Other |
| Module-Aware Context Sensitive Pointer Analysis. Haofeng Li, Chenghang Shi, Jie Lu 0009, Lian Li 0002, Zixuan Zhao | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Moye: A Wallbreaker for Monolithic Firmware. Jintao Huang, Kai Yang, Gaosheng Wang, Zhiqiang Shi, Zhiwen Pan | ICSE | 2025 | Other |
| NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent. Kaiyao Ke | ICSE | 2025 | Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study. Hanmo You, Zan Wang, Bin Lin 0008, Junjie Chen 0003 | ICSE | 2025 | Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review |
| Neurosymbolic Modular Refinement Type Inference. Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses. Gabriel Sherman, Stefan Nagy | ICSE | 2025 | Testing / QA |
| On Prescription or Off Prescription? An Empirical Study of Community-Prescribed Security Configurations for Kubernetes. Shazibul Islam Shamim, Hanyang Hu, Akond Rahman | ICSE | 2025 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems |
| On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. Rajdeep Singh Hundal, Yan Xiao 0002, Xiaochun Cao, Jin Song Dong 0001, Manuel Rigger | ICSE | 2025 | Other |
| PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction. Zhiyong Wu 0010, Jie Liang 0006, Jingzhou Fu, Mingzhe Wang, Yu Jiang 0001 | ICSE | 2025 | Performance / Energy / Reliability |
| PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps. Menglong Chen, Tian Tan 0001, Minxue Pan, Yue Li 0006 | ICSE | 2025 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| PairSmell: A Novel Perspective Inspecting Software Modular Structure. Chenxing Zhong, Daniel Feitosa, Paris Avgeriou, Huang Huang, Yue Li 0047 | ICSE | 2025 | Other |
| Parametric Falsification of Many Probabilistic Requirements Under Flakiness. Matteo Camilli, Raffaela Mirandola | ICSE | 2025 | Requirements / Modeling / Architecture |
| Patch Synthesis for Property Repair of Deep Neural Networks. Zhiming Chi, Jianan Ma, Pengfei Yang 0002, Cheng-Chao Huang, Renjue Li | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Pattern-Based Generation and Adaptation of Quantum Workflows. Martin Beisel, Johanna Barzen, Frank Leymann, Lavinia Stiliadou, Daniel Vietz | ICSE | 2025 | Other |
| Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets. Smit Patel, Aashish Yadavally, Hridya Dhulipala, Tien N. Nguyen | ICSE | 2025 | AI / LLM for SE |
| Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator. Xiaolei Wang, Ruilin Li 0002, Bin Zhang, Chao Feng 0002, Chaojing Tang | ICSE | 2025 | Other |
| Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. Huaijin Wang 0001, Zhibo Liu, Yanbo Dai, Shuai Wang 0011, Qiyi Tang 0003 | ICSE | 2025 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses. Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro 0004, Paulo Carreira 0001, Nuno Santos 0001 | ICSE | 2025 | AI / LLM for SE; Mobile / Web / GUI / Android |
| QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| RLCoder: Reinforcement Learning for Repository-Level Code Completion. Yanlin Wang 0001, Yanli Wang 0001, Daya Guo, Jiachi Chen, Ruikai Zhang | ICSE | 2025 | DevOps / CI / Build / Release |
| ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation. Xue Jiang, Yihong Dong, Yongding Tao, Huanyu Liu 0001, Zhi Jin 0001 | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| ROSA: Finding Backdoors with Fuzzing. Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli | ICSE | 2025 | Testing / QA |
| Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Ranking Relevant Tests for Order-Dependent Flaky Tests. Shanto Rahman, Bala Naren Chanumolu, Suzzana Rafi, August Shi, Wing Lam | ICSE | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Reasoning Runtime Behavior of a Program with LLM: How Far are We? Junkai Chen, Zhiyuan Pan, Xing Hu 0008, Zhenhao Li 0002, Ge Li 0001 | ICSE | 2025 | AI / LLM for SE |
| RediI: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems. Yang Feng 0003, Zheyuan Lin, Dongchen Zhao, Mengbo Zhou, Jia Liu | ICSE | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Reduce Dependence for Sound Concurrency Bug Prediction. Shihao Zhu, Yuqi Guo 0002, Yan Cai 0001, Bin Liang 0002, Long Zhang | ICSE | 2025 | Other |
| Relationship Status: "It's Complicated" Developer-Security Expert Dynamics in Scrum. Houda Naji, Marco Gutfleisch, Alena Naiakshina | ICSE | 2025 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Repository-Level Graph Representation Learning for Enhanced Security Patch Detection. Xin-Cheng Wen, Zirui Lin, Cuiyun Gao 0001, Hongyu Zhang 0002, Yong Wang | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability; DevOps / CI / Build / Release |
| Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models. Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Rug: Turbo Llm for Rust Unit Test Generation. Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, Taesoo Kim | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code. Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing. Wenchao Gu, Ensheng Shi, Yanlin Wang 0001, Lun Du, Shi Han | ICSE | 2025 | Security / Privacy / Vulnerability |
| SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents. Feng Lin, Dong Jae Kim, Tse-Hsun Chen | ICSE | 2025 | AI / LLM for SE |
| Sand: Decoupling Sanitization from Fuzzing for Low Overhead. Ziqiao Kong, Shaohua Li 0002, Heqing Huang 0002, Zhendong Su 0001 | ICSE | 2025 | Testing / QA |
| Scenario-Driven and Context-Aware Automated Accessibility Testing for Android Apps. Yuxin Zhang, Sen Chen 0001, Xiaofei Xie, Zibo Liu, Lingling Fan 0003 | ICSE | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Search-Based LLMs for Code Optimization. Shuzheng Gao, Cuiyun Gao 0001, Wenchao Gu, Michael R. Lyu | ICSE | 2025 | Performance / Energy / Reliability |
| SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation. Dehai Zhao, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001, Liming Zhu 0001 | ICSE | 2025 | Mobile / Web / GUI / Android |
| Selecting Initial Seeds for Better JVM Fuzzing. Tianchang Gao, Junjie Chen 0003, Dong Wang 0044, Yile Guo, Yingquan Zhao | ICSE | 2025 | Testing / QA |
| Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness. Weisong Sun, Yuchen Chen, Mengzhe Yuan, Chunrong Fang, Zhenpeng Chen | ICSE | 2025 | Other |
| Similar but Patched Code Considered Harmful: The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them. Zixuan Tan, Jiayuan Zhou, Xing Hu 0008, Shengyi Pan, Kui Liu 0001 | ICSE | 2025 | Other |
| Smartreco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis. Jingwen Zhang, Zibin Zheng, Yuhong Nan, Mingxi Ye, Kaiwen Ning | ICSE | 2025 | Other |
| Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets. Christof Tinnes, Alisa Welter, Sven Apel | ICSE | 2025 | Maintenance / Evolution / Refactoring / Review |
| Source Code Summarization in the Era of Large Language Models. Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang 0002, Chunrong Fang | ICSE | 2025 | Other |
| SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. Lezhi Ma, Shangqing Liu, Yi Li 0008, Xiaofei Xie, Lei Bu | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| SpecRover: Code Intent Extraction via LLMs. Haifeng Ruan, Yuntong Zhang 0002, Abhik Roychoudhury | ICSE | 2025 | Other |
| Static Analysis of Remote Procedure Call in Java Programs. Baoquan Cui, Rong Qu, Zhen Tang, Jian Zhang | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI. Zachary Karas, Benjamin Gold, Violet Zhou, Noah Reardon, Thad Polk | ICSE | 2025 | Other |
| Synthesizing Document Database Queries Using Collection Abstractions. Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang 0001 | ICSE | 2025 | Other |
| TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference. Chong Wang 0013, Jian Zhang 0087, Yiling Lou, Mingwei Liu 0002, Weisong Sun | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| TOGLL: Correct and Strong Test Oracle Generation with LLMS. Soneya Binta Hossain, Matthew B. Dwyer | ICSE | 2025 | Testing / QA |
| TacDroid: Detection of Illicit Apps Through Hybrid Analysis of UI-Based Transition Graphs. Yanchen Lu, Hongyu Lin, Zehua He, Haitao Xu, Zhao Li | ICSE | 2025 | Mobile / Web / GUI / Android |
| Template-Guided Program Repair in the Era of Large Language Models. Kai Huang, Jian Zhang 0087, Xiangxin Meng, Yang Liu 0003 | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Test Intention Guided LLM-Based Unit Test Generation. Zifan Nan, Zhaoqiang Guo, Kui Liu 0001, Xin Xia 0001 | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models. Yiteng Peng, Daoyuan Wu, Zhibo Liu, Dongwei Xiao, Zhenlan Ji | ICSE | 2025 | Testing / QA; AI / LLM for SE |
| Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing. Ying Fu, Zhiyong Wu 0010, Yuanliang Zhang, Jie Liang 0006, Jingzhou Fu | ICSE | 2025 | Testing / QA |
| The Design Smells Breaking the Boundary between Android Variants and AOSP. Wuxia Jin, Jiaowei Shang, Jianguo Zheng, Mengjie Sun, Zhenyu Huang | ICSE | 2025 | Requirements / Modeling / Architecture; Mobile / Web / GUI / Android |
| The Fact Selection Problem in LLM-Based Program Repair. Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi | ICSE | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages. Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró | ICSE | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products. Nadia Nahar, Haoran Zhang, Grace A. Lewis, Shurui Zhou, Christian Kästner | ICSE | 2025 | Human / Empirical / Socio-technical |
| The Same Only Different: On Information Modality for Configuration Performance Analysis. Hongyuan Liang, Yue Huang, Tao Chen | ICSE | 2025 | DevOps / CI / Build / Release; Performance / Energy / Reliability |
| The Seeds of the Future Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries. Zhiyuan Li, Jingzheng Wu, Xiang Ling 0001, Tianyue Luo, Zhiqing Rui | ICSE | 2025 | Testing / QA |
| Tiver: Identifying Adaptive Versions of C/C++ Third-Party Open-Source Components Using a Code Clustering Technique. Youngjae Choi, Seunghoon Woo | ICSE | 2025 | Other |
| Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch. Jaehyeok Lee, Sooyoung Cha | ICSE | 2025 | Program Analysis / Verification / Formal Methods |
| Toward a Better Understanding of Probabilistic Delta Debugging. Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Xinru Cheng, Chengnian Sun | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Towards Better Answers: Automated Stack Overflow Post Updating. Yubo Mai, Zhipeng Gao 0002, Haoye Wang, Tingting Bi, Xing Hu 0008 | ICSE | 2025 | Other |
| Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems. Chuan Luo 0002, Shuangyu Lyu, Wei Wu 0011, Hongyu Zhang 0002, Dianhui Chu | ICSE | 2025 | Testing / QA |
| Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection. Yanfu Yan, Viet Duong, Huajie Shao, Denys Poshyvanyk | ICSE | 2025 | Other |
| Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. Saikat Chakraborty 0001, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima | ICSE | 2025 | AI / LLM for SE |
| Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models. Zhijie Wang 0014, Zijie Zhou, Da Song, Yuheng Huang 0004, Shengmai Chen | ICSE | 2025 | Other |
| TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance. Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code. Siyuan Li 0014, Yuekang Li, Zuxin Chen, Chaopeng Dong, Yongpan Wang | ICSE | 2025 | Testing / QA |
| Treefix: Enabling Execution with a Tree of Prefixes. Beatriz Souza, Michael Pradel | ICSE | 2025 | Other |
| Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications. Sadra Sabouri, Philipp Eibl, Xinyi Zhou, Morteza Ziyadi, Nenad Medvidovic | ICSE | 2025 | AI / LLM for SE |
| Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing? Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng Di, Shin Hwei Tan | ICSE | 2025 | Testing / QA |
| UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software. Joseph Romeo, Marco Raglianti, Csaba Nagy 0001, Michele Lanza 0001 | ICSE | 2025 | Human / Empirical / Socio-technical; Requirements / Modeling / Architecture |
| Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts. Francisco Cirelli, Dalal Alrajeh, Sebastián Uchitel | ICSE | 2025 | Other |
| Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment -A Large-Scale Study. Yuanfang Cai, Lanting He, Jun Qian, Yony Kochinski, Nan Zhang | ICSE | 2025 | Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture |
| Understanding Compiler Bugs in Real Development. Hao Zhong 0001 | ICSE | 2025 | Other |
| Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem. Xingyu Wang, Mingsen Wang, Wenbo Shen, Rui Chang | ICSE | 2025 | Other |
| Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks. Shide Zhou, Tianlin Li, Kailong Wang 0001, Yihao Huang 0001, Ling Shi 0002 | ICSE | 2025 | Testing / QA |
| Understanding the Response to Open-Source Dependency Abandonment in the npm Ecosystem. Courtney Miller, Mahmoud Jahanshahi, Audris Mockus, Bogdan Vasilescu, Christian Kästner | ICSE | 2025 | Other |
| Unleashing the True Potential of Semantic-Based Log Parsing with Pre-Trained Language Models. Van-Hoang Le, Yi Xiao, Hongyu Zhang | ICSE | 2025 | Other |
| Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar. Yuanliang Zhang, Yifan Xie, Shanshan Li 0001, Ke Liu, Chong Wang | ICSE | 2025 | AI / LLM for SE |
| Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption. Enrique Barba Roque, Luis Cruz 0002, Thomas Durieux | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| User Personas Improve Social Sustainability by Encouraging Software Developers to Deprioritize Antisocial Features. Bimpe Ayoola, Miikka Kuutila, Rina R. Wehbe, Paul Ralph | ICSE | 2025 | Human / Empirical / Socio-technical |
| Vulnerability Detection with Code Language Models: How Far are We? Yangruibo Ding, Yanjun Fu, Omniyyah Ibrahim, Chawin Sitawarin, Xinyun Chen | ICSE | 2025 | Other |
| WDD: Weighted Delta Debugging. Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian 0001, Chengnian Sun | ICSE | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Weakly-Supervised Log-Based Anomaly Detection with Inexact Labels via Multi-Instance Learning. Minghua He, Tong Jia, Chiming Duan, Huaqian Cai, Ying Li 0012 | ICSE | 2025 | Cloud / Microservices / Distributed Systems |
| What Guides Our Choices? Modeling Developers' Trust and Behavioral Intentions Towards Genai. Rudrajit Choudhuri, Bianca Trinkenreich, Rahul Pandita, Eirini Kalliamvakou, Igor Steinmacher | ICSE | 2025 | Human / Empirical / Socio-technical; Requirements / Modeling / Architecture |
| What You See is What You Get: Attention-Based Self-Guided Automatic Unit Test Generation. Xin Yin, Chao Ni 0001, Xiaodan Xu, Xiaohu Yang 0001 | ICSE | 2025 | Testing / QA |
| When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums. Jake Zappin, Trevor Stalnaker, Oscar Chaparro, Denys Poshyvanyk | ICSE | 2025 | Human / Empirical / Socio-technical |
| Who's Pushing the Code? An Exploration of GitHub Impersonation. Yueke Zhang, Anda Liang, Xiaohan Wang, Pamela J. Wisniewski, Fengwei Zhang | ICSE | 2025 | Human / Empirical / Socio-technical |
| Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models. Kunpeng Zhang, Shuai Wang, Jitao Han, Xiaogang Zhu 0001, Xian Li | ICSE | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability |
| exLong: Generating Exceptional Behavior Tests with Large Language Models. Jiyang Zhang 0003, Yu Liu 0079, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001 | ICSE | 2025 | Testing / QA |