default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNIER@ICSE 2025: Ottawa, ON, Canada
- 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27 - May 3, 2025. IEEE 2025, ISBN 979-8-3315-3711-1
- Long Doan, ThanhVu Nguyen:
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants. 1-5 - Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang:
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. 6-10 - A. Finn Hackett, Ivan Beschastnikh:
Listening to the Firehose: Sonifying Z3's Behavior. 11-15 - Robin Kimmel, Judith Michael
, Andreas Wortmann, Jingxi Zhang:
Digital Twins for Software Engineering Processes. 16-20 - Yang Yue, Yi Wang, David F. Redmiles:
Discovering Ideologies of the Open Source Software Movement. 21-25 - Yuanjun Gong, Fabio Massacci:
When in Doubt Throw It Out: Building on Confident Learning for Vulnerability Detection. 26-30 - Clay Stevens, Katherine Kjeer, Ryan M. Richard, Edward F. Valeev, Myra B. Cohen:
Model Assisted Refinement of Metamorphic Relations for Scientific Software. 31-35 - Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis:
A Unit Proofing Framework for Code-level Verification: A Research Agenda. 36-40 - Nitish Patkar, Aimen Fahmi, Timo Kehrer, Norbert Seyff:
What is a Feature, Really? Toward a Unified Understanding Across SE Disciplines. 41-45 - Nimrod Busany, Hananel Hadad, Zofia Maszlanka, Rohit Shelke, Gregory Price, Okhaide Akhigbe, Daniel Amyot:
Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis. 46-50 - Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora:
On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability. 51-55 - Chong Wang, Zhenpeng Chen, Tianlin Li, Yilun Zhang, Yang Liu:
Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework. 56-60 - Gayatri Priyadarsini Kancherla, Abhishek Bichhawat:
A Unified Browser-Based Consent Management Framework. 61-65 - Maria Camporese, Fabio Massacci:
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn't. 66-70 - Liangying Shao, Yanfu Yan, Denys Poshyvanyk, Jinsong Su:
UniGenCoder: Merging SEQ2SEQ and SEQ2TREE Paradigms for Unified Code Generation. 71-75 - Benedikt Steininger, Chrysanthi Papamichail, David Stark, Dejan Nickovic, Alessio Gambi:
Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions. 76-80 - Nate Levin, Chengpeng Li, Yule Zhang, August Shi, Wing Lam:
Takuan: Using Dynamic Invariants to Debug Order-Dependent Flaky Tests. 81-85 - Marc North, Amir Atapour-Abarghouei, Nelly Bencomo:
Beyond Syntax: How Do LLMs Understand Code? 86-90 - Fengjie Li, Jiajun Jiang, Jiajun Sun, Hongyu Zhang:
Evaluating the Generalizability of LLMs in Automated Program Repair. 91-95 - Alejandro Velasco, Daniel Rodríguez-Cárdenas, Luftar Rahman Alif, David N. Palacio, Denys Poshyvanyk:
How Propense Are Large Language Models at Producing Code Smells? A Benchmarking Study. 96-100 - Roberto Verdecchia, Emilio Cruciani, Antonia Bertolino, Breno Miranda:
Energy-Aware Software Testing. 101-105 - Istvan David:
SusDevOps: Promoting Sustainability to a First Principle in Software Delivery. 106-110 - Abhishek Kumar, Sandhya Sankar, Sonia Haiduc, Partha Pratim Das, Partha Pratim Chakrabarti:
LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment. 111-115 - Shane McIntosh, Luca Milanesio, Antonio Barone, Jacek Centkowski, Marcin Czech, Fabio Ponciroli:
Using Reinforcement Learning to Sustain the Performance of Version Control Repositories. 116-120 - Zijie Huang, Lizhi Cai, Xuan Mao, Kang Yang:
Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies. 121-125 - Parth V. Patil, Wenxin Jiang, Huiyun Peng, Daniel Lugo, Kelechi G. Kalu, Josh LeBlanc, Lawrence Smith, Hyeonwoo Heo, Nathanael Aou, James C. Davis:
Recommending Pre-Trained Models for IoT Devices. 126-130
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 2026-01-29 23:12 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:
