Table of Contents

• Grammar- and Coverage-based Augmentation of Programs for Training LLMsShin Saito, Takaaki Tateishi, Yasuharu Katsuno. 1-4 [doi]
• Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code UnderstandingZiv Nevo, Orna Raz, Karen Yorav. 7-13 [doi]
• Leveraging LLM for software modernization: COBOL Functionality Extraction Case studyAsha Rajbhoj, Akanksha Somase, Tanay Sant, Ajim Pathan, Purvesh Doud, Vinay Kulkarni 0001. 14-21 [doi]
• Microservices Identification Using LLMJay Gandhi, Raveendra Kumar Medicherla, Manasi Patwardhan 0001, Dipesh Sharma, Ravindra Naik. 22-25 [doi]
• Multilingual Code Explanation for Mainframe LanguagesKaoru Shinkawa, Ai Ishida, Yasuharu Katsuno, Fumiko Satoh. 26-29 [doi]
• Vintage Code, Modern Judges: Meta-Validation in Low Data RegimesOra Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz. 30-33 [doi]
• LLM Agents for Automated Dependency UpgradesVali Tawosi, Salwa Alamir, Xiaomo Liu, Manuela Veloso. 34-37 [doi]
• Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan VerificationKeshav Ramani, Vali Tawosi, Salwa Alamir, Daniel Borrajo. 39-42 [doi]
• LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations?Dibyendu Brinto Bose, Yoseph Berhanu Alebachew, Chris Brown 0001. 43-50 [doi]
• A 3-Layer Agentic Model for Nonfunctional Requirements in Software EngineeringEhsan Zabardast, Tiago Vieira, Tony Gorschek. 51-57 [doi]
• Leveraging Large Language Models for Cybersecurity Risk Assessment - A Case from Forestry Cyber-Physical SystemsFikret Mert Gupsilonltekin, Oscar Lilja, Ranim Khojah, Rebekka Wohlrab, Marvin Damschen, Mazen Mohamad. 58-65 [doi]
• The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMsAntony Bartlett, Cynthia C. S. Liem, Annibale Panichella. 66-73 [doi]
• AgentGuard: Runtime Verification of AI AgentsRoham Koohestani. 74-77 [doi]
• Reliable and Interpretable Android Malware Detection at ScaleMichael Tegegn, Julia Rubin. 79-82 [doi]
• Finding Keywords for Architectural Erosion Detection in GitHub Commits for Android ApplicationsJuan Camilo Acosta-Rojas, Camilo Andrés Escobar-Velasquez. 83-86 [doi]
• A Data-driven Approach for Automated Quality Concern Extraction from App ReviewsKhubaib Amjad Alam, Maryam Hussain, Umer Daraz, Behjat Zuhaira, Muhammad Haroon. 87-94 [doi]
• DroidNative: A Greedy-Constructed Large-Scale Indexing for Android Native LibrariesShiyang Zhang, Chengwei Liu, Sen Chen 0001, Lyuye Zhang, Yang Liu 0003. 95-98 [doi]
• A Domain-Independent Framework for Effective Prioritization and Evaluation of UX Aspects in Mobile AppsHaifa Abdullah Al-Shammare, Mohammad R. Alshayeb, Malak Baslyman. 99-106 [doi]
• From Kotlin to Swift and Back: Toward Fully Automated Cross-Language Code TranspilationSachi Lad, Carol Hanna, Justyna Petke. 107-110 [doi]
• Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted ProgrammingMohammad Nour Al Awad, Sergey Ivanov, Olga Tikhonova. 113-120 [doi]
• On Effectiveness of Formal Model Repair by Large Language ModelsSebastião Carvalho, Tsutomu Kobayashi, Fuyuki Ishikawa. 121-128 [doi]
• Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher EducationAndrada-Mihaela-Nicoleta Moldovan, Andreea Vescan. 129-136 [doi]
• ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting SystemsRijul Saini. 137-144 [doi]
• BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code CoverageMarkus Krahl, Matthias Gupsilondemann, Stefan Wallentowitz. 145-152 [doi]
• Improving Automated Program Verification for Java Programs with FuzzingSoha Hussein, Stephen McCamant. 153-160 [doi]
• MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice SystemsWei-Kai Lin, Shang-Pin Ma, Shin-Jie Lee, Wen-Tin Lee. 161-164 [doi]
• VeriODD: From YAML to SMT-LIB - Automating Verification of Operational Design DomainsBassel Rafie, Christian Schindler, Andreas Rausch 0001. 165-168 [doi]
• LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map TransformationsRuidi He, Yu Zhang, Meng Zhang, Andreas Rausch 0001. 169-172 [doi]
• K-SNAC: Robust Neuron Coverage for OOD Generalization and Test AdequacySeungwon Woo, Hyunseo Shin, Eunkyung Choi, Juheon Kang, Wonseok Hwang. 176-180 [doi]
• SeedUI: Understanding Initial Seeds in FuzzingSriteja Kummita, Eric Bodden, Miao Miao 0001, Shiyi Wei. 181-185 [doi]
• From Facts to Foils: Designing and Evaluating Counterfactual Explanations for Smart EnvironmentsAnna Trapp, Mersedeh Sadeghi, Andreas Vogelsang. 186-193 [doi]
• Explaining Software Vulnerabilities with Large Language ModelsOshando Johnson, Alexandra Fomina, Ranjith Krishnamurthy, Vaibhav Chaudhari, Rohith Kumar Shanmuganathan, Eric Bodden. 194-198 [doi]
• Explaining Code Risk in OSS: Towards LLM-Generated Fault Prediction InterpretationsElijah Kayode Adejumo, Brittany Johnson. 199-203 [doi]
• Explainability in Automated Cross-Domain Model-Driven Brake System DevelopmentNathan Hagel, Johannes Mäkelburg, Claus Hammann, Thomas Weber 0006, Thomas Alexander Völk, Francesco P. Urbano, Patrick Grycz, Katharina Bause, Minakshi Kaushik, Vincenzo Scotti 0001, Akhila Bairy, Maike Schwammberger, Maribel Acosta, Albert Albers, Anne Koziolek, Tobias Düser. 204-211 [doi]
• Optimizing LLM Code Suggestions: Feedback-Driven Timing with Lightweight State BoundsMohammad Nour Al Awad, Sergey Ivanov, Olga Tikhonova. 213-220 [doi]
• Leveraging Large Language Models for Use Case Model Generation from Software RequirementsTobias Eisenreich, Nicholas Friedlaender, Stefan Wagner 0001. 221-227 [doi]
• Automated Evolutionary Hyperparameter Tuning for NLP-Based Test Case GenerationIvan P. Malashin, Igor S. Masich, Sergei Kurashkin, Andrei P. Gantimurov, Aleksey S. Borodulin, Vladimir A. Neluyb, Vadim Tynchenko. 228-235 [doi]
• Towards MPC-driven Software Adaptation: A Dual-Layer Approach Combining ICNN-based Modeling and Delta-based TuningYitong Shi, Chenyu Hu, Mingyue Zhang 0002, Nianyu Li, Jialong Li 0001, Kenji Tei. 236-243 [doi]
• AI for Requirements Engineering: Industry Adoption and Practitioner PerspectivesLekshmi Murali Rani, Richard Berntsson-Svensson, Robert Feldt. 244-251 [doi]
• Fair Developer Score: Build-Adjusted Measurement of Effort and ImpactXinzhou Wang, Jiancong Zhu, Jinghan Feng, Zixuan Zhang, Joshua Rauvola, Devon Delgado, Ahmad Antar, Abid Ali. 252-259 [doi]
• Exploring the SECURITY.md in the Dependency Chain: Preliminary Analysis of the PyPI EcosystemChayanid Termphaiboon, Raula Gaikovina Kula, Youmei Fan, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta, Kenichi Matsumoto. 260-267 [doi]
• Explainable AI for Issue Classification: A Multi-class Study with LIME and SHAPJueun Heo, Seonah Lee. 268-275 [doi]
• LLMs Choose the Right Stack: From Patterns to ToolsSebastian Copei, Oliver Hohlfeld, Jens Kosiol, Aleksandar Ristoski. 276-283 [doi]
• ALMAS: an Autonomous LLM-based Multi-Agent Software Engineering FrameworkVali Tawosi, Keshav Ramani, Salwa Alamir, Xiaomo Liu. 287-290 [doi]
• GRACG: Graph Retrieval Augmented Code GenerationKonstantin Fedorov, Boris Zarubin, Vladimir Ivanov. 291-298 [doi]
• Bridging the Prototype-Production Gap: A Multi-Agent System for Notebooks TransformationHanya Elhashemy, Youssef Lotfy, Yongjian Tang. 299-302 [doi]
• Multi-agent systems for improved information retrieval - leveraging autonomous agents and LLM modelsAneta Poniszewska-Maranda, Maciej Kopa, Bozena Borowska. 303-310 [doi]
• Towards Multi-Agentic AI for automated software design and modelling: challenges and opportunitiesHoa Khanh Dam. 311-314 [doi]
• Traceability and Accountability in Role-Specialized Multi-Agent LLM PipelinesAmine Barrak. 315-322 [doi]
• A Test Automation Framework for User Interaction in Extended Reality ApplicationsRuizhen Gu, José Miguel Rojas. 325-330 [doi]
• NavAI: A Generalizable LLM Framework for Navigation Tasks in Virtual Reality EnvironmentsXue-qin, Matthew DiGiovanni. 331-336 [doi]
• ARTRIP: Automatic AR Testing with Randomized Interaction PatternsMaria Rivera, Lisette Isais, Xiaoyin Wang. 337-341 [doi]
• Toward Static Analysis of Immersive AttacksKadiray Karakaya, Jonas Klauke, Enes Yigitbas. 342-347 [doi]
• A Conformance Checking System for Interaction Testing in Virtual RealityS. R. Vijay Aravynthan, Y. Raghu Reddy. 348-355 [doi]
• Challenge on Optimization of Context Collection for Code CompletionDmitry Ustalov, Egor Bogomolov, Alexander Bezzubov, Yaroslav Golubev, Evgeniy Glukhov, Georgii Levtsov, Vladimir Kovalenko. 357-363 [doi]
• SpareCodeSearch: Searching for Code Context When You Have No Spare GPUMinh Nguyen. 364-367 [doi]
• On the Importance of Context Filtering in Retrieval-Augmented Code CompletionSergey Sedov, Vsevolod Savinskiy, Andrei Arzhantsev. 368-370 [doi]
• Beyond More Context: How Granularity and Order Drive Code Completion QualityUswat Yusuf, Genevieve Caumartin, Diego Elias Costa. 371-374 [doi]
• Exploration of Structural Code Relationship Space for Context CollectionConstantinos Sofianos. 375-378 [doi]
• Relative Positioning Based Code Chunking Method For Rich Context Retrieval In Repository Level Code Completion Task With Code Language ModelImranur Rahman, Md. Rayhanur Rahman. 379-382 [doi]