


default search action
33rd SIGSOFT FSE 2025: Trondheim, Norway
- Leonardo Montecchi, Jingyue Li, Denys Poshyvanyk, Dongmei Zhang:

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 23-28, 2025. ACM 2025, ISBN 979-8-4007-1276-0 - Mark Harman

, Peter W. O'Hearn
, Shubho Sengupta
:
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges. 1-17 - Laurie A. Williams

, Sivana Hamer
, Nusrat Zahan
:
Can the Rising Tide of Software Supply Chain Attacks Raise All Software Engineering Boats? 18-26 - Yanjie Gao

, Jiyu Luo
, Haoxiang Lin
, Hongyu Zhang
, Ming Wu
, Mao Yang
:
dl²: Detecting Communication Deadlocks in Deep Learning Jobs. 27-38 - Jingwen Tan

, Gopi Krishnan Rajbahadur
, Zi Li
, Xiangfu Song
, Jianshan Lin
, Dan Li
, Zibin Zheng
, Ahmed E. Hassan
:
LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance. 39-50 - Zhihan Jiang

, Junjie Huang
, Guangba Yu
, Zhuangbin Chen
, Yichen Li
, Renyi Zhong
, Cong Feng
, Yongqiang Yang
, Zengyin Yang
, Michael R. Lyu
:
L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis. 51-63 - Yinglin Xie

, Xinyi Hou
, Yanjie Zhao
, Kai Chen
, Haoyu Wang
:
LLM App Squatting and Cloning. 64-74 - Yuetian Mao

, Junjie He
, Chunyang Chen
:
From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps. 75-86 - Vard Antinyan

:
Pursuit of Automotive Software Variant Reduction for Engineering Simplicity. 87-92 - Chaozheng Wang

, Zezhou Yang
, Shuzheng Gao
, Cuiyun Gao
, Ting Peng
, Hailiang Huang
, Yuetang Deng
, Michael R. Lyu
:
RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry. 93-104 - Juntao Ji

, Yubao Fu
, Rongtong Jin
, Qingshan Lin
:
Designing for Scalability: Building a Universal Serverless Messaging Architecture with Apache RocketMQ. 105-110 - Pei Xiao

, Lu Wang
, Fangkai Yang
, Guoqing Geng
, Haoran Li
, Jeff Zhu
, Yu Kang
, Yifan Li
, Terry Chen
, Yue Chen
, Saravan Rajmohan
, Qi Zhang
:
Te-PID: An Adaptive Erasure Coding Temperature Management System for Optimized Cloud Storage. 111-121 - Yanjie Gao

, Ruiming Lu
, Haoxiang Lin
, Yueguo Chen
:
An Empirical Study of Issues in Large Language Model Training Systems. 122-133 - Kenneth Lamar

, Peter Pirkelbauer
, Zachary Painter
, Damian Dechev
:
ROSE LCOM Tools. 134-143 - Gwihwan Go

, Chijin Zhou
, Quan Zhang
, Yu Jiang
, Zhao Wei
:
LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol. 144-149 - Kensen Shi

, Deniz Altinbüken
, Saswat Anand
, Mihai Christodorescu
, Katja Grünwedel, Alexa Koenings
, Sai Naidu
, Anurag Pathak
, Marc Rasi
, Fredde Ribeiro
, Brandon Ruffin
, Siddhant Sanyam
, Maxim Tabachnyk
, Sara Toth
, Roy Tu
, Tobias Welp
, Pengcheng Yin
, Manzil Zaheer
, Satish Chandra
, Charles Sutton
:
Natural Language Outlines for Code: Literate Programming in the LLM Era. 150-161 - Celal Ziftci

, Stoyan Nikolov
, Anna Sjövall
, Bo Kim
, Daniele Codecasa
, Max Kim
:
Migrating Code At Scale With LLMs At Google. 162-173 - Qichao Kong

, Zhengwei Lv
, Yiheng Xiong
, Dingchun Wang
, Jingling Sun
, Ting Su
, Letao Li
, Xu Yang
, Gang Huo
:
ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps. 174-179 - Mark Harman

, Jillian Ritchey
, Inna Harper
, Shubho Sengupta
, Ke Mao
, Abhishek Gulati
, Christopher Foster
, Hervé Robert
:
Mutation-Guided LLM-based Test Generation at Meta. 180-191 - Jue Wang

, Shuxiang Chen
, Yu Liu
, Yuan Deng
, Lei Zhang
, Yuanchang Fu
, Bo Liu
:
TestGPT-Server: Automatically Testing Microservices with Large Language Models at ByteDance. 192-203 - Jiazhao Yu

, Yanlun Tu
, Zhanlei Zhang
, Tiehua Zhang
, Cheng Xu
, Weigang Wu
, Hong Jin Kang
, Xi Zheng
:
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community. 204-214 - Yongqian Sun

, Bowen Hao
, Xiaotian Wang
, Chenyu Zhao
, Yongxin Zhao
, Binpeng Shi
, Shenglin Zhang
, Qiao Ge
, Wenhu Li
, Hua Wei
, Dan Pei
:
LLM-Augmented Ticket Aggregation for Low-cost Mobile OS Defect Resolution. 215-226 - Sandeep Hans

, Atul Kumar
, Toshiaki Yasue
, Kouichi Ono
, Saravanan Krishnan
, Devika Sondhi
, Fumiko Satoh
, Gerald Mitchell
, Sachin Kumar
, Diptikalyan Saha
:
Automated Testing of COBOL to Java Transformation. 227-237 - Yingwei Ma

, Qingping Yang
, Rongyu Cao
, Binhua Li
, Fei Huang
, Yongbin Li
:
Alibaba LingmaAgent: Improving Automated Issue Resolution via Comprehensive Repository Exploration. 238-249 - Yong Wang

, Ning Ge
, Jingyao Li
, Loulin Wang
, Guangyu Zhou
, Chengrui Deng
, Li Zhang
, Chunming Hu
:
SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation. 250-261 - Dezhi Ran

, Lin Li
, Liuchuan Zhu
, Yuan Cao
, Landelong Zhao
, Xin Tan
, Guangtai Liang
, Qianxiang Wang
, Tao Xie
:
Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting. 262-273 - Tao Sun

, Jian Xu
, Yuanpeng Li
, Zhao Yan
, Ge Zhang
, Lintao Xie
, Lu Geng
, Zheng Wang
, Yueyan Chen
, Qin Lin
, Wenbo Duan
, Kaixin Sui
, Yuanshuo Zhu
:
BitsAI-CR: Automated Code Review via LLM in Practice. 274-285 - Ciprian Paduraru

, Miruna Paduraru
, Alin Stefanescu
:
Enhancing Game AI Behaviors with Large Language Models and Agentic AI. 286-296 - Consuelo Lopez

, Sahar Mehrpour
, Austin Z. Henley
, Thomas D. LaToza
:
OurCode: Experiences Transitioning University Research into a Developer Tools Startup. 297-307 - Rahul Krishna

, Rangeet Pan
, Saurabh Sinha
, Srikanth Tamilselvam
, Raju Pavuluri
, Maja Vukovic
:
Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights. 308-318 - Zhihao Lin

, Mingyi Zhou
, Wei Ma
, Chi Chen
, Yun Yang
, Jun Wang
, Chunming Hu
, Li Li
:
HapRepair: Learn to Repair OpenHarmony Apps. 319-330 - Xinchen Wang

, Pengfei Gao
, Xiangxin Meng
, Chao Peng
, Ruida Hu
, Yun Lin
, Cuiyun Gao
:
AEGIS: An Agent-based Framework for Bug Reproduction from Issue Descriptions. 331-342 - Fengrui Liu

, Xiao He
, Tieying Zhang
, Jianjun Chen
, Yi Li
, Lihua Yi
, Haipeng Zhang
, Gang Wu
, Rui Shi
:
TickIt: Leveraging Large Language Models for Automated Ticket Escalation. 343-354 - Arun Krishna Vajjala

, Ajay Krishna Vajjala
, Carmen Badea
, Christian Bird
, Jade D'Souza
, Robert DeLine
, Mikhail O. Demyanyuk
, Jason Entenmann
, Nicole Forsgren
, Aliaksandr Hramadski
, Haris Mohammad
, Sandeepan Sanyal
, Oleg Surmachev
, Thomas Zimmermann
:
Using Large Language Models to Support the Workflow of Differential Testing. 355-365 - Longxing Yang

, Yixing Luo
, Hao Gao
, Yingshuang Fan
, Jingru Zhang
, Xiaofeng Li
, Xiaogang Dong
, Bin Gu
, Zhi Jin
, Mengfei Yang
:
Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software. 366-377 - Yongqian Sun

, Tinghua Zheng
, Xidao Wen
, Weihua Kuang
, Heng Liu
, Shenglin Zhang
, Chao Shen
, Bo Wu
, Dan Pei
:
A Multimodal Intelligent Change Assessment Framework for Microservice Systems Based on Large Language Models. 378-388 - Bo Jiang

, Fancheng Shu
, Yuyang Cui
, Xiangjie Wang
, Peng Tang
, Lei Wang
, Weiping Zhang
, Yong Wang
, Guobin Wu
:
AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System. 389-399 - Sören Henning

, Adriano Vogel
, Esteban Pérez-Wohlfeil
, Otmar Ertl
, Rick Rabiser
:
When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications. 400-410 - Carol Hanna

, David Elliman
, Wolgang Emmerich
, Federica Sarro
, Justyna Petke
:
Behind the Hot Fix: Demystifying Hot Fixing Industrial Practices at Zühlke and Beyond. 411-421 - Farong Liu

, Mingyi Zhou
, Yakun Zhang
, Ting Su
, Bo Sun
, Jacques Klein
, Xiang Gao
, Li Li
:
HapTest: The Dynamic Analysis Framework for OpenHarmony. 422-431 - Yuheng Huang

, Lei Ma
, Keizaburo Nishikino
, Takumi Akazaki
:
Risk Assessment Framework for Code LLMs via Leveraging Internal States. 432-443 - Cristina David

, Pascal Kesseli
, Daniel Kroening
, Hanliang Zhang
:
Quantifying the benefits of code hints for refactoring deprecated Java APIs. 444-455 - Stephen Wynn-Williams

, Ryan Tyrrell
, Vera Pantelic
, Mark Lawford
, Claudio Menghi
, Phaneendra Nalla
, Hassan Artail
:
Can Generative AI Produce Test Cases? An Experience from the Automotive Domain. 456-467 - Yujia Chen

, Mingyu Chen
, Cuiyun Gao
, Zhihan Jiang
, Zhongqi Li
, Yuchi Ma
:
Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware. 468-479 - Ningyu He

, Shangtong Cao
, Haoyu Wang
, Yao Guo
, Xiapu Luo
:
The Promise and Pitfalls of WebAssembly: Perspectives from the Industry. 480-490 - Tianming Liu

, Jiapeng Deng
, Yanjie Zhao
, Xiao Chen
, Xiaoning Du
, Li Li
, Haoyu Wang
:
Are iOS Apps Immune to Abusive Advertising Practices? 491-502 - Yuhe Liu

, Changhua Pei
, Longlong Xu
, Bohan Chen
, Mingze Sun
, Zhirui Zhang
, Yongqian Sun
, Shenglin Zhang
, Kun Wang
, Haiming Zhang
, Jianhui Li
, Gaogang Xie
, Xidao Wen
, Xiaohui Nie
, Minghua Ma
, Dan Pei
:
OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language Models' Capability in IT Operations Domain. 503-513 - Shazibul Islam Shamim

, Hanyang Hu
, Akond Rahman
:
Dynamic Application Security Testing for Kubernetes Deployment: An Experience Report from Industry. 514-519 - Umamaheswara Sharma Bhutamapuram

, Farhan Chonari
, Gokul K. Anilkumar
, Sai Kiran Konchada
:
LLMs for Defect Prediction in Evolving Datasets: Emerging Results and Future Directions. 520-524 - Lingzhe Zhang

, Yunpeng Zhai
, Tong Jia
, Xiaosong Huang
, Chiming Duan
, Ying Li:
AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents. 525-529 - Yiran Zhang

, Ruiyin Li
, Peng Liang
, Weisong Sun
, Yang Liu
:
Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design. 530-534 - Dhasarathy Parthasarathy

, Yinan Yu
, Earl T. Barr
:
Polymer: Development Workflows as Software. 535-539 - Jordan Samhi

, Marc Miltenberger
, Marco Alecci
, Steven Arzt
, Tegawendé F. Bissyandé
, Jacques Klein
:
Do you have 5 min? Improving Call Graph Analysis with Runtime Information. 540-544 - Haoxiang Lin

, Yang Wang
, Yanjie Gao
, Hongyu Zhang
, Ming Wu
, Mao Yang
:
Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation. 545-549 - Jorge Barredo

, Justyna Petke
, David Clark
, Daniel Blackwell
, Maialen Eceiza
, Jose Luis Flores
, Mikel Iturbe
:
GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows. 550-554 - Giuseppe Destefanis

, Silvia Bartolucci
, Daniel Graziotin
, Rumyana Neykova
, Marco Ortu
:
Introducing Repository Stability. 555-560 - Fahad Al Debeyan

, Tracy Hall
, Lech Madeyski
:
Emerging Results in Using Explainable AI to Improve Software Vulnerability Prediction. 561-565 - Xi Zheng

, Ziyang Li
, Ivan Ruchkin
, Ruzica Piskac
, Miroslav Pajic
:
NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS. 566-570 - Roman Bögli

, Alexander Boll
, Alexander Schultheiß
, Timo Kehrer
:
Beyond Software Families: Community-Driven Variability. 571-575 - Mia Mohammad Imran

, Jaydeb Sarker
:
"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion. 576-580 - Jacob Krüger

, Xenia Marlene Zerweck
, Sol Martinez Demarco
, Alena Bleicher
, Thomas Leich
:
Non-Knowledge as a New Lens on Software Engineering. 581-585 - Tommi Mikkonen

, Mahum Adil
, Ilenia Fronza
, Gennaro Iaccarino
, Petri Ihantola
:
To Co-locate or Not to Co-locate? On the Impact of Hybrid Work to Software Design Process. 586-590 - Lo Heander

, Emma Söderberg
, Christofer Rydenfält
:
Support, Not Automation: Towards AI-supported Code Review For Code Quality and Beyond. 591-595 - Jinrui Sun

, Tong Jia
, Minghua He
, Yihan Wu
, Ying Li, Gang Huang
:
Exploring Variable Potential for LLM-based Log Parsing Efficiency and Reduced Costs. 596-600 - Shin Yoo

, Robert Feldt
, Somin Kim
, Naryeong Kim
:
Capturing Semantic Flow of ML-based Systems. 601-605 - Marco Alecci, Nicolas Sannier, Marcello Ceci, Sallam Abualhaija, Jordan Samhi, Domenico Bianculli, Tegawendé F. Bissyandé, Jacques Klein:

Toward LLM-Driven GDPR Compliance Checking for Android Apps. 606-610 - Yuxin Qiu

, Qian Zhang
:
Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities. 611-615 - Yifan Zhang

, Chen Huang
, Zachary Karas
, Dung Thuy Nguyen
, Kevin Leach
, Yu Huang
:
Enhancing Code LLM Training with Programmer Attention. 616-620 - Duc S. H. Nguyen

, Bach G. Truong
, Phuong T. Nguyen
, Juri Di Rocco
, Davide Di Ruscio
:
Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization. 621-625 - Brell Peclard Sanwouo Chekam

, Clément Quinton, Paul Temple
:
Breaking the Loop: AWARE is the New MAPE-K. 626-630 - Davide Fucci

, Massimiliano Di Penta
, Simone Romano
, Giuseppe Scanniello
:
Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub. 631-635 - Yacine Majdoub

, Eya Ben Charrada
, Haifa Touati
:
Towards Adaptive Software Agents for Debugging. 636-640 - Nick C. Bradley

, Thomas Fritz
, Reid Holmes
:
Enabling Scalable Proactive Workspaces With Environment-Wide Context. 641-645 - Jae Yong Lee

, Sungmin Kang
, Shin Yoo
:
Predictive Prompt Analysis. 646-650 - Tahrim Hossain

, Faisal Haque Bappy
, Tarannum Shaila Zaman
, Raiful Hasan
, Tariqul Islam
:
SmartShift: A Secure and Efficient Approach to Smart Contract Migration. 651-655 - Nikitha Rao

, Bogdan Vasilescu
, Reid Holmes
:
From Overload to Insight: Bridging Code Search and Code Review with LLMs. 656-660 - Xinlong Zhao

, Tong Jia
, Minghua He
, Yihan Wu
, Ying Li, Gang Huang
:
From Few-Label to Zero-Label: An Approach for Cross-System Log-Based Anomaly Detection with Meta-Learning. 661-665 - Ashita Saxena

, Palanivel A. Kodeswaran
, Sayandeep Sen
, Srikanth Tamilselvam
:
Measuring What Matters: An Aggregate Metric for Assessing Enterprise Code Summaries. 666-670 - Rabimba Karanjai

, Sam Blackshear
, Lei Xu
, Weidong Shi
:
Collaboration is all you need: LLM Assisted Safe Code Translation. 671-675 - Sigma Jahan

, Mohammad Masudur Rahman
:
Can Hessian-Based Insights Support Fault Diagnosis in Attention-based Models? 676-680 - Bihui Jin

, Jiayue Wang
, Pengyu Nie
:
Learning to Edit Interactive Machine Learning Notebooks. 681-685 - Pei Xiao

, Tong Jia
, Chiming Duan
, Minghua He
, Weijie Hong
, Xixuan Yang
, Yihan Wu
, Ying Li
, Gang Huang
:
CLSLog: Collaborating Large and Small Models for Log-based Anomaly Detection. 686-690 - Lyuye Zhang, Chengwei Liu, Jiahui Wu, Shiyang Zhang, Chengyue Liu, Zhengzi Xu, Sen Chen, Yang Liu:

Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis. 691-695 - Roham Koohestani

, Maliheh Izadi
:
HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States. 696-700 - Sabato Nocera

, Giuseppe Scanniello
:
Missing Threats: Dealing with the Treatment-sensitive Factorial Structure Bias in Empirical Software Engineering. 701-705 - Jingwen Wu

, Jiajing Zheng
, Zhenyu Yang
, Zhongxing Yu
:
Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations. 706-710 - Shota Shimizu

, Erina Makihara
, Norihiro Yoshida
:
An Empirical Study of the Error Characteristics in an Online Judge System. 711-721 - Bogdan Iudean

, Andreea Vescan
:
Layered Learning: Teaching CI/CD and Software Testing through Storytelling. 722-731 - Andrey Saltan

:
Enhancing Learning and Mitigating AI-Assisted Misconduct: A Case of Using Video Assignments in a High-Enrollment Software Engineering Course. 732-737 - Philipp Straubinger

, Tim Greller
, Gordon Fraser
:
Sojourner under Sabotage: A Serious Testing and Debugging Game. 738-748 - Yanye Luther

, Lindsey Nielsen
, Logan Cadman
, Marcia Moraes
, Sudipto Ghosh
, Bianca Trinkenreich
:
Analyzing the Communication Patterns of Different Teammate Types in a Software Engineering Course Project. 749-759 - JiWoong Jang

, Ren Butler
, Rory McDaniel
, Aidan San
, D. Matthew Boyer
, Somayeh Asadi
, Richard Kubina
, Taniya Mishra
, Andrew Begel
:
Preparing Autistic Students for the AI Workforce. 760-771 - Cristina Martinez Montes

, Jonna Johansson
, Emrik Dunvald
:
Factors Influencing Gender Representation in IT Faculty Programmes: Insights with a Focus on Software Engineering in a Nordic Context. 772-782 - Sonja Hyrynsalmi

, Micheal Tuape
, Antti Knutas
:
"Person is a person, a tool is a tool" - ChatGPT's Role in Student Help-Seeking Behavior and Peer Support. 783-788 - Skyler Grandel

, Douglas C. Schmidt
, Kevin Leach
:
Applying Large Language Models to Enhance the Assessment of Java Programming Assignments. 789-799 - Niklas Meißner

, Sandro Speth
, Steffen Becker
, Uwe Breitenbücher
:
Empirical Study and Vision for a Holistic Serious Game Platform for Software Engineering Education. 800-805 - Jin Zhang

, Jun Li
, Yihong Fan
, Li Hao
, Naiqi Yang
:
An Interdisciplinary approach to holistic engineering course development: Framework and Practice. 806-816 - Robert Chatley

, Jason Bailey
, Ivan Procaccini
, Zaki Amin
, Estíbaliz Fraca
:
Creating a Student-Friendly PaaS Platform: Experiences with Tsuru in Software Engineering Education. 817-822 - Hannah Potter

, Ana C. R. Paiva
, Domenico Amalfitano
, Anna Rita Fasolino
, Porfirio Tramontana
, René Just
:
Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education. 823-834 - Niklas Meißner

, Paul Bredl
, Sandro Speth
, Steffen Becker
:
Enhancing Motivation in Software Engineering Education through Gamified Agile Project-based Learning. 835-846 - Wardah Naeem Awan

, Iflaah Salman
, Maria Paasivaara
, Peter A. Gloor
:
Analyzing the Role of Emotions on Performance in Hybrid Capstone Projects. 847-858 - Ítalo Santos

, Kátia Romero Felizardo
, Bianca Trinkenreich
, Daniel M. Germán
, Igor Steinmacher
, Marco Aurélio Gerosa
:
Exploring the Untapped: Student Perceptions and Participation in OSS. 859-870 - Zihan Fang

, Jiliang Li
, Anda Liang
, Gina R. Bai
, Yu Huang
:
A Comparative Study on ChatGPT and Checklist as Support Tools for Unit Testing Education. 871-882 - Brian Bell

, Teresa Thomas
, Sang Won Lee
, Chris Brown
:
How do Software Engineering Candidates Prepare for Technical Interviews? 883-894 - Zheng Li

, Aidan McGowan
, Yan Liu
, Abdelwahab Hamou-Lhadj
:
UML Crisis! An Educational Perspective. 895-900 - Maximilian Sölch, Felix T. J. Dietrich

, Stephan Krusche
:
Direct Automated Feedback Delivery for Student Submissions based on LLMs. 901-911 - Yu Lu

, André van der Hoek
:
Decoding Student Rating Behaviors: A Comparative Study of Frequent Self and Peer Assessments in Team Projects. 912-923 - Nick Case

, John-Paul Ore
, Kathryn T. Stolee
:
Understanding Comparative Comprehension Barriers for Students during Code Review through Simplification. 924-935 - Mohamad Kassab

:
Navigating Academic Careers in Software Engineering: An Empirical Study of Faculty and Postdoctoral Roles. 936-946 - Matthew Kam

, Cody Miller
, Miaoxin Wang
, Abey Tidwell
, Irene A. Lee
, Joyce Malyn-Smith
, Beatriz Perret
, Vikram Tiwari
, Joshua Kenitzer
, Andrew Macvean
, Erin Barrar
:
What do professional software developers need to know to succeed in an age of Artificial Intelligence? 947-958 - Eleni Chatzidaki

, Sofia Papavlasopoulou
, Letizia Jaccheri
, Michail Giannakos
:
Identifying Project Management Skills in Industry-Driven Capstone Projects. 959-969 - Somayeh Bayat Esfandani

, Trond Aalberg
:
The Impact of Multi-Peer Feedback Summary Organization on Review and Implementation of Feedback. 970-975 - Camilla Kielland Lund

, Idunn Stabell
, Viktoria Stray
, Yngve Lindsjørn
:
Teamwork Quality in Agile Capstone Courses: Insights from 790 Software Engineering Students. 976-986 - Tianjia Wang

, Matthew Trimble
, Chris Brown
:
DevCoach: Supporting Students Learning the Software Development Life Cycle with a Generative AI powered Multi-Agent System. 987-998 - Hannah Estes

, Katie Hollowell
, John Cheek
, Shiv Patel
, Hanna Reese
, Kathryn T. Stolee
:
Advancing Software Product Management Education: Insights from an Industry Survey. 999-1009 - Ketai Qiu

:
Ever-Improving Test Suite by Leveraging Large Language Models. 1010-1012 - AmirHossein Naghshzan

:
Automating API Documentation with LLMs: A BERTopic Approach. 1013-1015 - Xing Fu

:
Test Script Repair of Deep Learning Library Testing. 1016-1018 - Laura Plein

:
Predicting Software Changes from Desired Behavior Changes. 1019-1021 - Yujia Chen

:
AutoReview: An LLM-based Multi-Agent System for Security Issue-Oriented Code Review. 1022-1024 - Ruixin Geng

, Jiahao Weng
, Ning Ge
, Jingyao Li
, Chunming Hu
:
DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool. 1025-1029 - Tomás Cerný

, Gabriel Goulis
, Samantha Perry
, Malia Edmonds
, Amr S. Abdelfattah
, Matteo Esposito
, Alexander Bakhtin
, Valentina Lenarduzzi
, Davide Taibi
:
Analyzing Evolution of Microservice-based Systems. 1030-1034 - Dibyendu Brinto Bose

, Travis Chan
, Matthew Trimble
, Chris Brown
:
AutoPyDep: A Recommendation System for Python Dependency Management Utilizing Graph-Based Analytics. 1035-1039 - Masoud Jamshidiyan Tehrani

, Jinhan Kim
, Paolo Tonella
:
PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator. 1040-1044 - Raphina Liu

, Sofia Bobadilla
, Benoit Baudry
, Martin Monperrus
:
Dirty-Waters: Detecting Software Supply Chain Smells. 1045-1049 - Minseok Choe

, Kyungho Song
, Hyunjoon Kim
, Jihyeok Park
:
JSSpecVis: A JavaScript Language Specification Visualization Tool. 1050-1054 - Zicheng Zhang

, Jiakun Liu
, Ferdian Thung
, Xing Hu
, Wei Minn
, Yan Naing Tun
, Lwin Khin Shar
, David Lo
, Debin Gao
:
DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification. 1055-1059 - Rafael Sá Menezes

, Norbert Tihanyi
, Ridhi Jain
, Alexander Levin
, Rosiane de Freitas
, Lucas C. Cordeiro
:
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. 1060-1064 - Mohammed Oualid Attaoui

, Fabrizio Pastore
:
ClusterXplain: a Clustering-based Tool for DNN components Debugging. 1065-1069 - Daniel Bee

, DongGyun Han
:
Visualising Developer Interactions in Code Reviews. 1070-1073 - Denis Lochmelis

, Evgenii Moiseenko
, Yaroslav Golubev
, Anton Podkopaev
:
LitmusKt: Concurrency Stress Testing for Kotlin. 1074-1078 - Esther Guerra

, Juan de Lara
:
Merlin-A: A tool to engineer adaptive modelling languages. 1079-1083 - Andrea Arcuri

, Philip Garrett
, Juan Pablo Galeotti
, Man Zhang
:
Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster. 1084-1088 - Runxiang Cheng

, Kaiyao Ke
, Darko Marinov
:
pytest-ranking: A Regression Test Prioritization Tool for Python. 1089-1093 - Sarah Sohana

, William Pourmajidi
, John Steinbacher
, Andriy V. Miranskyy
:
CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems. 1094-1098 - Xiaodong Zhang

, Jie Bao
, Yulong Shen
, Qin Xia
, Zijiang Yang
:
HazSim: An Urban Driving Simulator for Testing Perception Systems of ADSes Against Hazards. 1099-1103 - Yu Xiao

, Xutong Ma
, Zhilin Li
, Jun Yan
:
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers. 1104-1108 - Tajmilur Rahman

, Mengzhe Fei
, Tushar Sharma
, Chanchal Roy
:
TS-Detector : Detecting Feature Toggle Usage Patterns. 1109-1113 - Boxiang Wang

, Chao Li
, Rui Chen
, Sheng Wang
, Chunpeng Jia
, Mengfei Yang
:
SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software. 1114-1118 - Quentin Nivon

, Gwen Salaün
, Frédéric Lang
:
GIVUP: Automated Generation and Verification of Textual Process Descriptions. 1119-1123 - Yue Wang

, Jiaxuan Sun
, Tongwei Deng
, Wenhui Chang
, Yanzhen Zou
, Bing Xie
:
HeaderSplit: An Automated Tool for Splitting Header Files in C Projects. 1124-1128 - Max Weber

, Johannes Dorn
, Sven Apel
, Norbert Siegmund
:
FAMLEM, the FAst ModuLar Energy Meter at Code Level. 1129-1133 - Hongbin Xiao

, Zhi Li
, Yilong Yang
, Fei Tang
, Dongming Jin
:
PF2UML: A Tool for Problem-Oriented Requirements Modeling and Transformation. 1134-1138 - Francesco Pagano

, Mariano Ceccato
, Alessio Merlo
, Paolo Tonella
:
MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem. 1139-1142 - Marius Smytzek

, Martin Eberlein
, Lars Grunske
, Andreas Zeller
:
jAST: Analyzing and Modifying Java ASTs with Python. 1143-1147 - Aurora Francesca Zanenga

, Nunzio Marco Bisceglia
, Benedetta Ippoliti
, Andrea Bombarda
, Angelo Gargantini
, Akshay Rajhans
, Claudio Menghi
:
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements. 1148-1152 - Giordano d'Aloisio

:
MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods. 1153-1157 - Rafael Ramires

, Ana Respício
, Ibéria Medeiros
, Mike Papadakis
:
KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph. 1158-1162 - Benjamin Ritz

, Aleksandar Karakas
, Denis Helic
:
Refactoring Detection in C++ Programs with RefactoringMiner++. 1163-1167 - Sebastian Zhao

, Alan Zhu
, Hussein Mozannar
, David A. Sontag
, Ameet Talwalkar
, Valerie Chen
:
CodingGenie: A Proactive LLM-Powered Programming Assistant. 1168-1172 - Meriel von Stein

, Yili Bai
, Trey Woodlief
, Sebastian G. Elbaum
:
Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems. 1173-1177 - Changshu Liu

, Reyhaneh Jabbarvand
:
A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models. 1178-1182 - Sima Arasteh

, Georgios Nikitopoulos
, Wei-Cheng Wu
, Nicolaas Weideman
, Aaron Portnoy
, Mukund Raghothaman
, Christophe Hauser
:
BinPool: A Dataset of Vulnerabilities for Binary Security Analysis. 1183-1187 - Nafiz Imtiaz Khan

, Vladimir Filkov
:
EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions. 1188-1192 - Linghan Zhong

, Samuel Yuan
, Jiyang Zhang
, Yu Liu
, Pengyu Nie
, Junyi Jessy Li
, Milos Gligoric
:
A Tool for Generating Exceptional Behavior Tests With Large Language Models. 1193-1197 - Xuan He

, Dong Li
, Hao Wen
, Yueheng Zhu
, Chao Liu
, Meng Yan
, Hongyu Zhang
:
CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding. 1198-1202 - Changwen Li

, Joseph Sifakis
, Rongjie Yan
, Jian Zhang
:
CCTest: Critical Configuration Testing for Autonomous Driving Systems. 1203-1207 - Andrei Cristian Ionescu

, Sergey Titov
, Maliheh Izadi
:
A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought. 1208-1212 - Wanli Chen

, Yuanliang Chen
, Fuchen Ma
, Ruikang Peng
, Qi Xu
, Yu Jiang
, Qiang Fu
, Heyuan Shi
:
PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing. 1213-1217 - Kevin Guan

, Owolabi Legunsen
:
TraceMOP: An Explicit-Trace Runtime Verification Tool for Java. 1218-1222 - Minghua Ma

, Jackson Clark
, Shenglin Zhang
:
AIOpsLab in Action: An Open Platform for AIOps Research. 1223-1227 - Seema Nagar

, Atri Mandal
, Prateeti Mohapatra
:
Unlocking Insights From Multimodal Data for IT Automation. 1228-1230 - Filipe R. Cogo

, Gopi Krishnan Rajbahadur
, Dayi Lin
, Keheliya Gallaba
, Benjamin Rombaut
, Gustavo Oliva
, Jiahuei (Justina) Lin
, Kirill Vasilevski
, Ahmed E. Hassan
:
A Tutorial on Software Engineering for FMware. 1231-1233 - Dirk Beyer

, Stefan Winter
:
Artifact Evaluations for Stronger Research Results. 1234-1237 - Xingpei Li

, Zhijie Jiang
, Zhouyang Jia
, Yuanliang Zhang
, Si Zheng, Haifang Zhou
, Shanshan Li
:
Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency. 1238-1239 - Aneta Poniszewska-Maranda

, Maciej Kopa
:
Autonomous agents in software development for information retrieval using LLM models. 1240-1241 - Mengyao Xu

, Qiaoyin Gan
, Zhenyu Zhu
, Haojun Qin
:
Logprobs Know Uncertainty: Fighting LLM Hallucinations. 1242-1243 - Soumyadip Bandyopadhyay

, Raoul Jetley
:
Pn4PLC: Verification of Software Upgrade for PLC Code. 1244-1245 - Pavel S. Andrianov

, Vadim S. Mutilin
, Evgeny Gerlits
:
Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned. 1246-1247 - Kieun Kim

, Seongmin Lee
, Shin Hong
:
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis. 1248-1249 - Karina Romanova

, Sergey Senichev
, Lina Veltman
, Ivan Nasonov
, Andrey Kuznetsov
, Ilya Makarov
:
SODAOpt: Socio-Demographic and Textual Adaptive Fusion for Optimizing Developer Task Assignment. 1250-1251 - Zheng Bian

, Zhenbang Chen
, Ji Wang
:
Symbolic Execution Based Automatic Performance Optimization for MPI Programs. 1252-1253 - Zixuan Wu

, Chen Zhi
, Junxiao Han
, Shuiguang Deng
, Jianwei Yin
:
LLMAppHub: A Large Collection of LLM-based Applications for the Research Community. 1254-1255 - Ziyou Li

:
Mediating between Human Programmers and Integrated Development Environments using LLM-based Agents. 1256-1257 - Lavínia Paganini

:
Research Open-Source Software: supporting small communities with technical and social aspects. 1258-1261 - Martin Balfroid

:
Generating Code Tours Using Locally-Runnable LLMs. 1262-1265 - Stefano Campanella

:
Fine-Grained Developer Reification. 1266-1269 - Daniel Rodríguez-Cardenas

:
Towards More Interpretable Large Language Models for Code. 1270-1272 - Tina Masoudi

:
Investigating the Role of Formal Verification in Software Development: From Automatic Specification Generation to Usability of Verification Languages. 1273-1276 - Rui Melo

:
Securing Language Models Against Vulnerability Encoding. 1277-1278 - Leonardo Centellas-Claros

:
Automated Vulnerability-Focused Code Reviews. 1279-1280 - Guillaume Nguyen

:
Automating the conformity assessment of Cyber-Physical Systems software. 1281-1284 - Omkar Joshi

:
Co-Intelligence in Software Engineering: Understanding and Optimizing GenAI Integration in Software Engineering for Skill Development in Time-Constrained Programming. 1285-1288 - Lorenzo Laudadio

:
End-to-End Testing Gamification: A Novel Approach to the Verification and Validation of Web and Mobile Applications. 1289-1290 - Daniele Cipollone

:
Enhancing Large Language Model Integration in Integrated Development Environments. 1291-1292 - Hanmo You

:
Regression Fault Detection and Mitigation in the Evolution of Deep Learning Systems. 1293-1294 - Melih Catal

:
Towards Privacy-Preserving Code Generation: Understanding and Mitigating Memorization in Code Large Language Models. 1295-1296 - Radoslaw Klimek

:
RE-oriented Model Development with LLM Support and Deduction-based Verification. 1297-1304 - Ilya Zakharov

, Ekaterina Koshchenko
, Agnia Sergeyuk
:
AI in Software Engineering: Perceived Roles and Their Impact on Adoption. 1305-1309 - Benedetta Donato

, Leonardo Mariani
, Daniela Micucci
, Oliviero Riganelli
, Marco Somaschini
:
MultiMind: A Plug-in for the Implementation of Development Tasks Aided by AI Assistants. 1310-1317 - Adam Tornhill

, Markus Borg
, Nadim Hagatulah
, Emma Söderberg
:
ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings. 1318-1324 - Viktoria Stray

, Astri Barbala
, Viggo Tellefsen Wivestad
:
Human-AI Collaboration in Software Development: A Mixed-Methods Study of Developers' Use of GitHub Copilot and ChatGPT. 1325-1332 - Krishna Ronanki

:
Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering. 1333-1337 - Sergio Rico

, Lena-Maria Öberg
:
Challenges and Opportunities for Generative AI in Software Engineering: A Managerial View. 1338-1344 - Knud Ronau Larsen

, Magnus Edvall
, Truong Ho-Quang
, Felix Dobslaw
, Rodi Jolak
:
An LLM Assistant for Software Project Onboarding. 1345-1352 - Everton Guimarães

, Nathalia Nascimento
:
AI in the Software Development Lifecycle: Insights and Open Research Questions. 1353-1357 - Antonio Mastropaolo

, Denys Poshyvanyk
:
A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm. 1358-1362 - Ziyou Li

, Maliheh Izadi
:
Enhancing Human-IDE Interaction in the SDLC using LLM-based Mediator Agents. 1363-1367 - Eray Erer

, Turgay Aytac
, Aysun Bozanta
, Ayse Basar
:
Insights into the Generalizability and Robustness of AI-Driven Code Comment Generation: A Replication Study. 1368-1375 - Laura J. Freeman

, John Robert
, Heather Wojton
:
The Impact of Generative AI on Test & Evaluation: Challenges and Opportunities. 1376-1380 - John Robert

, Carlos Olea
, Yash Hindka
, Nanette Brown
:
Generative AI Detection of Document Incompleteness, Inconsistencies, and Discrepancies. 1381-1385 - Anton Altenbernd

, Zhiyuan Wu
, Odej Kao
:
AmocRCA: At Most One Change Segmentation and Relative Correlation Ranking for Root Cause Analysis. 1386-1393 - Luca Devlin

, Michael Foster
:
Evolving Estimation Models for Causal Testing. 1394-1401 - Hans-Martin Heyn

, Yufei Mao
, Roland Weiß
, Eric Knauss
:
Causal Models in Requirement Specifications for Machine Learning: A vision. 1402-1405 - Fatemeh Vares

, Brittany Johnson
:
Causality-Driven Neural Network Repair: Challenges and Opportunities. 1406-1409 - Reshmi Maulik

, Subhajit Datta
, Subhashis Majumder
:
The Causality of Bug Resolution: A Tale of Two Systems. 1410-1417 - Herong Meng

, Dalal Alrajeh
:
Causal Detection in Linear Temporal Counterexamples. 1418-1423 - Akond Rahman

, Gerry V. Dozier
, Yue Zhang
:
Authorship of Minor Contributors in Kubernetes Configuration Scripts: An Exploratory Study. 1424-1427 - Sabato Nocera

, Sira Vegas
, Giuseppe Scanniello
, Natalia Juristo
:
Causal Inference Needs More Than Analysis: The Role of Study Design. 1428-1431 - Jérôme Maquoi

, Maxime Cauz
, Benoît Vanderose
, Xavier Devroey
:
Energy Codesumption, Leveraging Test Execution for Source Code Energy Consumption Analysis. 1432-1436 - Pushpa Priyanka Palesetti

, Emelie Engström
, Emma Söderberg
, Al-Hussein Hameed Jasim
, Andreas Bexell
, Nikolaos Korkakakis
, Amir Aminifar
, Robert Lagerstedt
, Pontus Olsson
, Per Sigurdson
, Markus Borg
, Nadim Hagatulah
, Alma Orucevic-Alagic
, Maria Kihl
:
Towards Sustainable DevOps for Cyber Physical Systems. 1437-1440 - Andreas Brunnert

:
Evaluating the Accuracy of Software Energy Consumption Models for Java Applications at Process and Transaction Levels. 1441-1448 - Gennaro Zanfardino

, Mashal Afzal Memon
, Michele Tucci
:
Enhancing Energy Efficiency with Reusable Software Ecosystems and Persona-Based UI/UX. 1449-1452 - Jiaxue Song

, Xiao-Yi Zhang
, Paolo Arcaini
, Fuyuki Ishikawa
, Yong Liu
, Bin Du
:
Multi-Agent Differential Testing for the Game of Go. 1453-1460 - Jonas de Araújo Luz

, Rafael Fonseca Pessoa
, Guadalupe Prado Saldanha Ribeiro
, João Vitor Vieira Lira, Maria Andréia Formico Rodrigues:
Enhancing Emotional Realism in Games: An Optimized Generative AI Framework for Dynamic 3D Facial Animation. 1461-1468 - Steven Streasick

, Erik M. Fredericks
, Byron DeVries
, Ira Woodring
:
Incorporating Multiple Self-Adaptive Agents in Games. 1469-1476 - Yifan Zhang

, Kevin Leach
:
Training Large Language Models to Comprehend LLVM IR via Feedback-Driven Optimization. 1477-1478 - Yangtian Zi

, Luisa Li
, Arjun Guha
, Carolyn Jane Anderson
, Molly Q. Feldman
:
"I Would Have Written My Code Differently': Beginners Struggle to Understand LLM-Generated Code. 1479-1488 - Fatema Tuz Zohra

, Brittany Johnson-Matthews
:
An Investigation into Maintenance Support for Neural Networks. 1489-1493 - Ebtesam Al Haque

, Chris Brown
, Thomas D. LaToza
, Brittany Johnson
:
The Evolution of Information Seeking in Software Development: Understanding the Role and Impact of AI Assistants. 1494-1502 - Bianca Trinkenreich

, Fabio Calefato
, Geir Hanssen
, Kelly Blincoe
, Marcos Kalinowski
, Mauro Pezzè
, Paolo Tell
, Margaret-Anne D. Storey
:
Get on the Train or be Left on the Station: Using LLMs for Software Engineering Research. 1503-1507 - Fairuz Nawer Meem

, Justin Smith
, Brittany Johnson-Matthews
:
Why Do Software Practitioners Use ChatGPT for Software Development Tasks? 1508-1514 - Tor Sporsem

, Rasmus Ulfsnes
, Morten Hatling
, Inga Strümke
:
Clash of Requirements: Users First vs. Model First. 1515-1519 - Thiago Rocha Silva

, Thomas Troels Hildebrandt
:
Human-Centric Hybrid-AI for No-Code Development. 1520-1521 - Miguel Botto-Tobar

, Alexander Serebrenik
, M. G. J. van den Brand
:
AI Coding Tools in Bilingual Software Development: A Survey of Spanish-Speaking Developers. 1522-1530 - Viggo Tellefsen Wivestad

, Astri Moksnes Barbala
:
Attitudes Towards LLM Use Among Software Engineering Researchers: Results From A Two-Phase Survey Study. 1531-1535 - Yifan Zhang

, Kevin Leach
:
Leveraging Human Insights for Enhanced LLM-based Code Repair. 1536-1537 - Evan Krueger

, Taylor J. Carpenter
, Kevin Leach
, James Weimer
:
Towards a LLM-Based System for Generating and Validating Product Requirements. 1538-1539 - Shamse Tasnim Cynthia

, Banani Roy
:
An Empirical Study on the Impact of Gender Diversity on Code Quality in AI Systems. 1540-1549 - Felix Dobslaw

, Leif Sundberg
:
CodeNoCode Predictive Modeling: Co-Development with LLMs for Transparency and Inclusivity. 1550-1551 - Michelle Nashla Turcios

, Alicia E. Boyd
, Angela D. R. Smith
, Brittany Johnson
:
A Preliminary Framework for Intersectionality in ML Pipelines. 1552-1563 - Hanna Meland Vestvik

, Letizia Jaccheri
:
AI for Empowering Women in AI. 1564-1573 - Lisa Sällvin

, Lena-Maria Öberg
, Jörgen Söderback, Erik Öberg
:
Rethinking Entry Requirements for Gender Diversity in CS Education: A Case Study of Student Performance in an Introductory Programming Course. 1574-1581 - Sonja Hyrynsalmi

, Mary Sánchez-Gordón
, Anna Szlávi
, Letizia Jaccheri
:
The Tech DEI Backlash - The Changing Landscape of Diversity, Equity, and Inclusion in Software Engineering. 1582-1592 - Marco Torchiano

, Riccardo Coppola
, Antonio Vetrò
, Xhoi Musaj
:
The Impact of Team Diversity in Agile Development Education. 1593-1601 - Chuan Yan

, Liuhuo Wan
, Bowei Guan
, Fengqi Yu
, Guangdong Bai
:
Tracking GPTs Third Party Service: Automation, Analysis, and Insights. 1602-1606 - Guanhong Tao

, Siyuan Cheng
, Zhuo Zhang
, Junmin Zhu
, Guangyu Shen
, Wanjing Han
, Mu Zhang
, Xiangyu Zhang
:
A Systematic Threat Modeling of LLM Applications. 1607-1614 - Wenying Wei

, Kaifa Zhao
, Hao Zhou
:
Exposing the Achilles' Heel: Black-box Reverse Engineering of Commercial LLM Plugins' Hidden Prompts. 1615-1618 - Chengwei Liu

, Lyuye Zhang
, Xiufeng Xu
, Wenbo Guo
, Yang Liu
:
Towards the Versioning of LLM-Agent-Based Software. 1619-1622 - Lukasz Chomatek

, Wojciech Slabosz
, Aneta Poniszewska-Maranda
:
From Words to Wisdom: LLMs Summarizing Instructional Content. 1623-1630 - Md Mahir Asef Kabir

, Sk Adnan Hassan
:
How Well Do ChatGPT Models Maintain Software? 1631-1637 - Lukasz Chomatek

, Jakub Papuga
, Przemyslaw Nowak
, Aneta Poniszewska-Maranda
:
Decoding CI/CD Practices in Open-Source Projects with LLM Insights. 1638-1644 - Yan Zhao

, Chiawei Tang
:
Towards LLM-Based Automatic Playtest. 1645-1651 - Alif Al Hasan

, Subarna Saha
, Mia Mohammad Imran
, Tarannum Shaila Zaman
:
LLPut: Investigating Large Language Models for Bug Report-Based Input Generation. 1652-1659 - Dibyendu Brinto Bose

:
From Prompts to Properties: Rethinking LLM Code Generation with Property-Based Testing. 1660-1665 - Zeineb Rejiba

, Raphael Eidenbenz
, Johnny Borkhoche
:
Research: A Tool and Workflow for Benchmarking LLM-Based Code Improvements. 1666-1671 - Matias Martinez

:
The Impact of Hyperparameters on Large Language Model Inference Performance: An Evaluation of vLLM and HuggingFace Pipelines. 1672-1678 - Juan Carlos Recio Abad

, Rubén Saborido
, Francisco Chicano
:
Automatic Proof Generation: Fine-tuning and RAG in Reasoner vs. Math LLMs. 1679-1682 - Reachsak Ly

, Alireza Shojaei
, Xinghua Gao
:
Smart Building Operations and Virtual Assistants Using LLM. 1683-1689 - Danish Vasan, Mohammad Shameem, Mohammad Hammoudeh, Mussadiq Abdul Rahim, Hamad Naeem, Adel Fadhl Ahmed:

Exploring Advanced Quantum Ensemble for Industrial Control Systems Security. 1690-1698 - Masaomi Yamaguchi

, Nobukazu Yoshioka
, Fuyuki Ishikawa
:
Practical Design by Contract Framework for Quantum Applications. 1699-1709 - Shahid Hussain

, Nasreen Azad
, Wen-Li Wang
, Saif Ur Rehman Khan, Muhammad Abdul Basit Ur Rahim
, Naseem Ibrahim
:
A Decision-Making Framework to Recommend Quantum-Based Solutions for Fit Problem Domains with Associated Factors. 1710-1720 - Vincenzo De Maio

, Ivona Brandic
, Ewa Deelman
, Jürgen Cito:
The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software. 1721-1731 - Muhammad Azeem Akbar

, Saima Rafi
, Arif Ali Khan
, Boshuai Ye
:
Quantum Secure DevOps (QSecOps): Integrating Quantum-Based Security Checks into CI/CD Pipelines: Next-Generation Software Security. 1732-1741 - Mobashir Husain

, Muhammad Sohail Khan
, Javed Ali Khan
, Nek Dil Khan
, Arif Ali Khan
, Muhammad Azeem Akbar
:
Exploring Developers Discussion Forums for Quantum Software Engineering: A Fine-Grained Classification Approach Using Large Language Model (ChatGPT). 1742-1755 - Wenbo Guo

, Limin Wang
, Yiran Zhang
, Zhengzi Xu
, Jiahui Wu
:
Automated Environment Extraction for Malicious Package Validation: Leveraging Threat Intelligence. 1756-1759 - Fei Wang

, Xuefeng Xi
, Zhiming Cui
, Huan Dai
, XinYu Wang
:
Embedding Traceability in Large Language Model Code Generation: Towards Trustworthy AI-Augmented Software Engineering. 1760-1763 - Yuqiang Sun

, Sun Ding
, Liwei Tan
, Yue Xue
, Bo Li
, Charles Huang
, Siyang Xiong
:
Beyond Stars and Commits: A Fair and Manipulation-Resistant Framework for Measuring Developer Contributions. 1764-1767 - Yanjie Zhao

, Haoyu Wang
:
AI Model Genome. 1768-1773 - Lingxiao Wang

, Wenjing Dang
, Mengyao Zhao
, Yue Wang
, Xianzong Wu
, Sen Chen
:
Aligning Core Aspects: Improving Vulnerability Proof-of-Concepts via Cross-Source Insights. 1774-1777

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














