default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th ASE 2025: Seoul, Republic of Korea - Workshops
- 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 - Workshops, Seoul, Republic of Korea, November 16-20, 2025. IEEE 2025, ISBN 979-8-3315-8503-7
- Shin Saito, Takaaki Tateishi, Yasuharu Katsuno:
Grammar- and Coverage-based Augmentation of Programs for Training LLMs. 1-4 - Ziv Nevo, Orna Raz, Karen Yorav:
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding. 7-13 - Asha Rajbhoj, Akanksha Somase, Tanay Sant, Ajim Pathan, Purvesh Doud, Vinay Kulkarni:
Leveraging LLM for software modernization: COBOL Functionality Extraction Case study. 14-21 - Jay Gandhi
, Raveendra Kumar Medicherla, Manasi Patwardhan, Dipesh Sharma, Ravindra Naik:
Microservices Identification Using LLM. 22-25 - Kaoru Shinkawa, Ai Ishida, Yasuharu Katsuno, Fumiko Satoh:
Multilingual Code Explanation for Mainframe Languages. 26-29 - Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz:
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes. 30-33 - Vali Tawosi, Salwa Alamir, Xiaomo Liu, Manuela Veloso:
LLM Agents for Automated Dependency Upgrades. 34-37 - Keshav Ramani, Vali Tawosi, Salwa Alamir, Daniel Borrajo:
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification. 39-42 - Dibyendu Brinto Bose, Yoseph Berhanu Alebachew, Chris Brown:
LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations? 43-50 - Ehsan Zabardast, Tiago Vieira, Tony Gorschek:
A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering. 51-57 - Fikret Mert Gupsilonltekin, Oscar Lilja, Ranim Khojah, Rebekka Wohlrab, Marvin Damschen, Mazen Mohamad:
Leveraging Large Language Models for Cybersecurity Risk Assessment - A Case from Forestry Cyber-Physical Systems. 58-65 - Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella:
The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs. 66-73 - Roham Koohestani:
AgentGuard: Runtime Verification of AI Agents. 74-77 - Michael Tegegn, Julia Rubin:
Reliable and Interpretable Android Malware Detection at Scale. 79-82 - Juan Camilo Acosta-Rojas, Camilo Andrés Escobar-Velasquez:
Finding Keywords for Architectural Erosion Detection in GitHub Commits for Android Applications. 83-86 - Khubaib Amjad Alam, Maryam Hussain, Umer Daraz, Behjat Zuhaira, Muhammad Haroon:
A Data-driven Approach for Automated Quality Concern Extraction from App Reviews. 87-94 - Shiyang Zhang, Chengwei Liu, Sen Chen, Lyuye Zhang, Yang Liu:
DroidNative: A Greedy-Constructed Large-Scale Indexing for Android Native Libraries. 95-98 - Haifa Abdullah Al-Shammare, Mohammad R. Alshayeb, Malak Baslyman:
A Domain-Independent Framework for Effective Prioritization and Evaluation of UX Aspects in Mobile Apps. 99-106 - Sachi Lad, Carol Hanna, Justyna Petke:
From Kotlin to Swift and Back: Toward Fully Automated Cross-Language Code Transpilation. 107-110 - Mohammad Nour Al Awad, Sergey Ivanov, Olga Tikhonova:
Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted Programming. 113-120 - Sebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa:
On Effectiveness of Formal Model Repair by Large Language Models. 121-128 - Andrada-Mihaela-Nicoleta Moldovan, Andreea Vescan:
Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher Education. 129-136 - Rijul Saini:
ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting Systems. 137-144 - Markus Krahl, Matthias Güdemann, Stefan Wallentowitz:
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage. 145-152 - Soha Hussein, Stephen McCamant:
Improving Automated Program Verification for Java Programs with Fuzzing. 153-160 - Wei-Kai Lin, Shang-Pin Ma, Shin-Jie Lee, Wen-Tin Lee:
MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice Systems. 161-164 - Bassel Rafie, Christian Schindler, Andreas Rausch:
VeriODD: From YAML to SMT-LIB - Automating Verification of Operational Design Domains. 165-168 - Ruidi He, Yu Zhang, Meng Zhang, Andreas Rausch:
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations. 169-172 - Seungwon Woo, Hyunseo Shin, Eunkyung Choi, Juheon Kang, Wonseok Hwang:
K-SNAC: Robust Neuron Coverage for OOD Generalization and Test Adequacy. 176-180 - Sriteja Kummita, Eric Bodden, Miao Miao, Shiyi Wei:
SeedUI: Understanding Initial Seeds in Fuzzing. 181-185 - Anna Trapp, Mersedeh Sadeghi, Andreas Vogelsang:
From Facts to Foils: Designing and Evaluating Counterfactual Explanations for Smart Environments. 186-193 - Oshando Johnson, Alexandra Fomina, Ranjith Krishnamurthy, Vaibhav Chaudhari, Rohith Kumar Shanmuganathan, Eric Bodden:
Explaining Software Vulnerabilities with Large Language Models. 194-198 - Elijah Kayode Adejumo, Brittany Johnson:
Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction Interpretations. 199-203 - Nathan Hagel, Johannes Mäkelburg, Claus Hammann, Thomas Weber, Thomas Alexander Völk, Francesco P. Urbano, Patrick Grycz, Katharina Bause, Minakshi Kaushik, Vincenzo Scotti, Akhila Bairy, Maike Schwammberger, Maribel Acosta, Albert Albers, Anne Koziolek, Tobias Düser:
Explainability in Automated Cross-Domain Model-Driven Brake System Development. 204-211 - Mohammad Nour Al Awad, Sergey Ivanov, Olga Tikhonova:
Optimizing LLM Code Suggestions: Feedback-Driven Timing with Lightweight State Bounds. 213-220 - Tobias Eisenreich, Nicholas Friedlaender, Stefan Wagner:
Leveraging Large Language Models for Use Case Model Generation from Software Requirements. 221-227 - Ivan P. Malashin, Igor S. Masich, Sergei Kurashkin, Andrei P. Gantimurov, Aleksey S. Borodulin, Vladimir A. Neluyb, Vadim Tynchenko:
Automated Evolutionary Hyperparameter Tuning for NLP-Based Test Case Generation. 228-235 - Yitong Shi, Chenyu Hu, Mingyue Zhang, Nianyu Li, Jialong Li, Kenji Tei:
Towards MPC-driven Software Adaptation: A Dual-Layer Approach Combining ICNN-based Modeling and Delta-based Tuning. 236-243 - Lekshmi Murali Rani, Richard Berntsson-Svensson, Robert Feldt:
AI for Requirements Engineering: Industry Adoption and Practitioner Perspectives. 244-251 - Xinzhou Wang, Jiancong Zhu, Jinghan Feng, Zixuan Zhang, Joshua Rauvola, Devon Delgado, Ahmad Antar, Abid Ali:
Fair Developer Score: Build-Adjusted Measurement of Effort and Impact. 252-259 - Chayanid Termphaiboon, Raula Gaikovina Kula, Youmei Fan, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta, Kenichi Matsumoto:
Exploring the SECURITY.md in the Dependency Chain: Preliminary Analysis of the PyPI Ecosystem. 260-267 - Jueun Heo, Seonah Lee:
Explainable AI for Issue Classification: A Multi-class Study with LIME and SHAP. 268-275 - Sebastian Copei, Oliver Hohlfeld, Jens Kosiol, Aleksandar Ristoski:
LLMs Choose the Right Stack: From Patterns to Tools. 276-283 - Vali Tawosi, Keshav Ramani, Salwa Alamir, Xiaomo Liu:
ALMAS: an Autonomous LLM-based Multi-Agent Software Engineering Framework. 287-290 - Konstantin Fedorov, Boris Zarubin, Vladimir Ivanov:
GRACG: Graph Retrieval Augmented Code Generation. 291-298 - Hanya Elhashemy, Youssef Lotfy, Yongjian Tang:
Bridging the Prototype-Production Gap: A Multi-Agent System for Notebooks Transformation. 299-302 - Aneta Poniszewska-Maranda, Maciej Kopa, Bozena Borowska:
Multi-agent systems for improved information retrieval - leveraging autonomous agents and LLM models. 303-310 - Hoa Khanh Dam:
Towards Multi-Agentic AI for automated software design and modelling: challenges and opportunities. 311-314 - Amine Barrak:
Traceability and Accountability in Role-Specialized Multi-Agent LLM Pipelines. 315-322 - Ruizhen Gu, José Miguel Rojas:
A Test Automation Framework for User Interaction in Extended Reality Applications. 325-330 - Xue Qin, Matthew DiGiovanni:
NavAI: A Generalizable LLM Framework for Navigation Tasks in Virtual Reality Environments. 331-336 - Maria Rivera, Lisette Isais, Xiaoyin Wang:
ARTRIP: Automatic AR Testing with Randomized Interaction Patterns. 337-341 - Kadiray Karakaya, Jonas Klauke, Enes Yigitbas:
Toward Static Analysis of Immersive Attacks. 342-347 - S. R. Vijay Aravynthan, Y. Raghu Reddy:
A Conformance Checking System for Interaction Testing in Virtual Reality. 348-355 - Dmitry Ustalov, Egor Bogomolov, Alexander Bezzubov, Yaroslav Golubev, Evgeniy Glukhov, Georgii Levtsov, Vladimir Kovalenko:
Challenge on Optimization of Context Collection for Code Completion. 357-363 - Minh Nguyen:
SpareCodeSearch: Searching for Code Context When You Have No Spare GPU. 364-367 - Sergey Sedov, Vsevolod Savinskiy, Andrei Arzhantsev:
On the Importance of Context Filtering in Retrieval-Augmented Code Completion. 368-370 - Uswat Yusuf, Genevieve Caumartin, Diego Elias Costa:
Beyond More Context: How Granularity and Order Drive Code Completion Quality. 371-374 - Constantinos Sofianos:
Exploration of Structural Code Relationship Space for Context Collection. 375-378 - Imranur Rahman, Md. Rayhanur Rahman:
Relative Positioning Based Code Chunking Method For Rich Context Retrieval In Repository Level Code Completion Task With Code Language Model. 379-382
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-09-02 00:56 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
