


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 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.