FSE 2024
32nd ACM International Conference on the Foundations of Software Engineering (FSE 2024)
Powered by
Conference Publishing Consulting
32nd ACM International Conference on the Foundations of Software Engineering (FSE 2024)
,
July 15–19, 2024
,
Porto de Galinhas, Brazil
FSE 2024 – Companion Proceedings
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Welcome from the Chairs
FSE 2024 Organization
FSE 2024 Sponsors and Supporters
Keynotes
The Incredible Machine: Developer Productivity and the Impact of AI on Productivity (Keynote)
Thomas Zimmermann
(Microsoft Research, USA)
Publisher's Version
It’s Organic: Software Testing of Emerging Domains (Keynote)
Myra B. Cohen
(Iowa State University, USA)
Publisher's Version
Industry Papers
Paths to Testing: Why Women Enter and Remain in Software Testing?
Kleice Silva
,
Ann Barcomb
, and
Ronnie de Souza Santos
(CESAR School, Brazil; University of Calgary, Canada)
Publisher's Version
FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems
Xuanwen Ding
,
Qingshun Wang
,
Dan Liu
,
Lihua Xu
,
Jun Xiao
,
Bojun Zhang
,
Xue Li
,
Liang Dou
,
Liang He
, and
Tao Xie
(East China Normal University, China; New York University Shanghai, China; Ant Group, China; Peking University, China)
Publisher's Version
Automated End-to-End Dynamic Taint Analysis for WhatsApp
Sopot Cela
,
Andrea Ciancone
,
Per Gustafsson
,
Ákos Hajdu
,
Yue Jia
,
Timotej Kapus
,
Maksym Koshtenko
,
Will Lewis
,
Ke Mao
, and
Dragos Martac
(Meta, United Kingdom)
Publisher's Version
Exploring Hybrid Work Realities: A Case Study with Software Professionals from Underrepresented Groups
Ronnie de Souza Santos
,
Cleyton Magalhaes
,
Robson Santos
, and
Jorge Correia-Neto
(University of Calgary, Canada; Rural Federal University of Pernambuco, Brazil; UNINASSAU, Brazil)
Publisher's Version
MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language Models
Zhaoyang Yu
,
Minghua Ma
,
Chaoyun Zhang
,
Si Qin
,
Yu Kang
,
Chetan Bansal
,
Saravan Rajmohan
,
Yingnong Dang
,
Changhua Pei
,
Dan Pei
,
Qingwei Lin
, and
Dongmei Zhang
(Tsinghua University, China; BNRist, China; Microsoft, USA; Microsoft, China; Computer Network Information Center at Chinese Academy of Sciences, China)
Publisher's Version
Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph
Zhenhe Yao
,
Changhua Pei
,
Wenxiao Chen
,
Hanzhang Wang
,
Liangfei Su
,
Huai Jiang
,
Zhe Xie
,
Xiaohui Nie
, and
Dan Pei
(Tsinghua University, China; BNRist, China; Computer Network Information Center at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; eBay, China)
Publisher's Version
Archive submitted (440 kB)
How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel
Kangzheng Gu
,
Yuan Zhang
,
Jiajun Cao
,
Xin Tan
, and
Min Yang
(Fudan University, China)
Publisher's Version
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
Mert Toslali
,
Edward Snible
,
Jing Chen
,
Alan Cha
,
Sandeep Singh
,
Michael Kalantar
, and
Srinivasan Parthasarathy
(IBM Research, USA; IBM, India)
Publisher's Version
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers
Asmar Muqeet
,
Shaukat Ali
,
Tao Yue
, and
Paolo Arcaini
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; National Institute of Informatics, Japan)
Publisher's Version
Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case Study
Szymon Stradowski
and
Lech Madeyski
(Wroclaw University of Science and Technology, Poland; NOKIA, Poland)
Publisher's Version
Neat: Mobile App Layout Similarity Comparison Based on Graph Convolutional Networks
Zhu Tao
,
Yongqiang Gao
,
Jiayi Qi
,
Chao Peng
,
Qinyun Wu
,
Xiang Chen
, and
Ping Yang
(ByteDance, China)
Publisher's Version
Fault Diagnosis for Test Alarms in Microservices through Multi-source Data
Shenglin Zhang
,
Jun Zhu
,
Bowen Hao
,
Yongqian Sun
,
Xiaohui Nie
,
Jingwen Zhu
,
Xilin Liu
,
Xiaoqian Li
,
Yuchi Ma
, and
Dan Pei
(Nankai University, China; Haihe Laboratory of Information Technology Application Innovation, China; TKL-SEHCI, China; Computer Network Information Center at Chinese Academy of Sciences, China; Huawei Technologies, China; Tsinghua University, China; BNRist, China)
Publisher's Version
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems
Shenglin Zhang
,
Yongxin Zhao
,
Xiao Xiong
,
Yongqian Sun
,
Xiaohui Nie
,
Jiacheng Zhang
,
Fenglai Wang
,
Xian Zheng
,
Yuzhi Zhang
, and
Dan Pei
(Nankai University, China; Haihe Laboratory of Information Technology Application Innovation, China; TKL-SEHCI, China; Computer Network Information Center at Chinese Academy of Sciences, China; Huawei Technologies, China; Tsinghua University, China; BNRist, China)
Publisher's Version
Unveil the Mystery of Critical Software Vulnerabilities
Shengyi Pan
,
Lingfeng Bao
,
Jiayuan Zhou
,
Xing Hu
,
Xin Xia
, and
Shanping Li
(Zhejiang University, China; Hangzhou High-Tech Zone (Binjiang), China; Huawei, Canada; Huawei, China)
Publisher's Version
Multi-line AI-Assisted Code Authoring
Omer Dunay
,
Daniel Cheng
,
Adam Tait
,
Parth Thakkar
,
Peter C. Rigby
,
Andy Chiu
,
Imad Ahmad
,
Arun Ganesan
,
Chandra Maddila
,
Vijayaraghavan Murali
,
Ali Tayyebi
, and
Nachiappan Nagappan
(Meta Platforms, USA; Concordia University, Canada)
Publisher's Version
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry
Lennart Holsten
,
Jacob Krüger
, and
Thomas Leich
(Volkswagen, Germany; Harz University of Applied Sciences, Germany; Eindhoven University of Technology, Netherlands)
Publisher's Version
Observation-Based Unit Test Generation at Meta
Nadia Alshahwan
,
Mark Harman
,
Alexandru Marginean
,
Rotem Tal
, and
Eddy Wang
(Meta Platforms, USA; University College London, United Kingdom)
Publisher's Version
Automated Unit Test Improvement using Large Language Models at Meta
Nadia Alshahwan
,
Jubin Chheda
,
Anastasia Finogenova
,
Beliz Gokkaya
,
Mark Harman
,
Inna Harper
,
Alexandru Marginean
,
Shubho Sengupta
, and
Eddy Wang
(Meta Platforms, USA; University College London, United Kingdom)
Publisher's Version
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Călin Georgescu
,
Mitchell Olsthoorn
,
Pouria Derakhshanfar
,
Marat Akhin
, and
Annibale Panichella
(Delft University of Technology, Netherlands; JetBrains Research, Netherlands)
Publisher's Version
Exploring LLM-Based Agents for Root Cause Analysis
Devjeet Roy
,
Xuchao Zhang
,
Rashi Bhave
,
Chetan Bansal
,
Pedro Las-Casas
,
Rodrigo Fonseca
, and
Saravan Rajmohan
(Washington State University, USA; Microsoft Research, USA; Microsoft Research, India; Microsoft, USA; Microsoft 365, USA)
Publisher's Version
Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
Shengnan Wu
,
Yongxiang Hu
,
Yingchuan Wang
,
Jiazhen Gu
,
Jin Meng
,
Liujie Fan
,
Zhongshi Luan
,
Xin Wang
, and
Yangfan Zhou
(Fudan University, China; Meituan, China)
Publisher's Version
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
Qunying Song
,
Emelie Engström
, and
Per Runeson
(Lund University, Sweden)
Publisher's Version
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling
Jie Liang
,
Mingzhe Wang
,
Chijin Zhou
,
Zhiyong Wu
,
Jianzhong Liu
, and
Yu Jiang
(Tsinghua University, China)
Publisher's Version
Checking Complex Source Code-Level Constraints using Runtime Verification
Joshua Heneage Dawes
and
Domenico Bianculli
(University of Luxembourg, Luxembourg)
Publisher's Version
Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4
Xuchao Zhang
,
Supriyo Ghosh
,
Chetan Bansal
,
Rujia Wang
,
Minghua Ma
,
Yu Kang
, and
Saravan Rajmohan
(Microsoft, USA; Microsoft, India; Microsoft, China)
Publisher's Version
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
Lennon Chaves
,
Flávia Oliveira
, and
Leonardo Tiago
(Sidia Institute of Science and Technology, Brazil)
Publisher's Version
An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions
Chao Liu
,
Xindong Zhang
,
Hongyu Zhang
,
Zhiyuan Wan
,
Zhan Huang
, and
Meng Yan
(Chongqing University, China; Alibaba Group, China; Zhejiang University, China)
Publisher's Version
Rethinking Software Engineering in the Era of Foundation Models: A Curated Catalogue of Challenges in the Development of Trustworthy FMware
Ahmed E. Hassan
,
Dayi Lin
,
Gopi Krishnan Rajbahadur
,
Keheliya Gallaba
,
Filipe Roseiro Cogo
,
Boyuan Chen
,
Haoxiang Zhang
,
Kishanthan Thangarajah
,
Gustavo Oliva
,
Jiahuei (Justina) Lin
,
Wali Mohammad Abdullah
, and
Zhen Ming (Jack) Jiang
(Queen’s University, Canada; Huawei, Canada; York University, Canada)
Publisher's Version
Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
Zhipeng Gao
,
Zhipeng Xue
,
Xing Hu
,
Weiyi Shang
, and
Xin Xia
(Zhejiang University, China; University of Waterloo, Canada; Huawei, China)
Publisher's Version
Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-Practice
Philipp Zellmer
,
Jacob Krüger
, and
Thomas Leich
(Volkswagen, Germany; Harz University of Applied Sciences, Germany; Eindhoven University of Technology, Netherlands)
Publisher's Version
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community
Jing Luo
,
Heyuan Shi
,
Yongchao Zhang
,
Runzhe Wang
,
Yuheng Shen
,
Yuao Chen
,
Xiaohai Shi
,
Rongkai Liu
,
Chao Hu
, and
Yu Jiang
(Central South University, China; Alibaba Group, China; Tsinghua University, China)
Publisher's Version
An LGPD Compliance Inspection Checklist to Assess IoT Solutions
Ivonildo Pereira Gomes Neto
,
João Mendes
,
Waldemar Ferreira
,
Luis Rivero
,
Davi Viana
, and
Sergio Soares
(Federal University of Pernambuco, Brazil; Federal University of Maranhão, Brazil; Rural Federal University of Pernambuco, Brazil)
Publisher's Version
How We Built Cedar: A Verification-Guided Approach
Craig Disselkoen
,
Aaron Eline
,
Shaobo He
,
Kyle Headley
,
Michael Hicks
,
Kesha Hietala
,
John Kastner
,
Anwar Mamat
,
Matt McCutchen
,
Neha Rungta
,
Bhakti Shah
,
Emina Torlak
, and
Andrew Wells
(Amazon Web Services, USA; Unaffiliated, USA; University of Maryland, USA; University of Chicago, USA)
Publisher's Version
Leveraging Large Language Models for the Auto-remediation of Microservice Applications: An Experimental Study
Komal Sarda
,
Zakeya Namrud
,
Marin Litoiu
,
Larisa Shwartz
, and
Ian Watts
(York University, Canada; IBM Research, USA; IBM, Canada)
Publisher's Version
Practitioners’ Challenges and Perceptions of CI Build Failure Predictions at Atlassian
Yang Hong
,
Chakkrit Tantithamthavorn
,
Jirat Pasuksmit
,
Patanamon Thongtanunam
,
Arik Friedman
,
Xing Zhao
, and
Anton Krasikov
(Monash University, Australia; Atlassian, Australia; University of Melbourne, Australia)
Publisher's Version
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation
Dong Jae Kim
,
Steven Locke
,
Tse-Hsun (Peter) Chen
,
Andrei Toma
,
Sarah Sajedi
,
Steve Sporea
, and
Laura Weinkam
(Concordia University, Canada; ERA environmental management solutions, Canada)
Publisher's Version
LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents
Dylan Zhang
,
Xuchao Zhang
,
Chetan Bansal
,
Pedro Las-Casas
,
Rodrigo Fonseca
, and
Saravan Rajmohan
(University of Illinois at Urbana-Champaign, USA; Microsoft Research, USA; Microsoft, USA; Microsoft 365, USA)
Publisher's Version
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
Xinyi Wang
,
Shaukat Ali
,
Aitor Arrieta
,
Paolo Arcaini
, and
Maite Arratibel
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Mondragon University, Spain; National Institute of Informatics, Japan; Orona, Spain)
Publisher's Version
Supporting Early Architectural Decision-Making through Tradeoff Analysis: A Study with Volvo Cars
Karl Öqvist
,
Jacob Messinger
, and
Rebekka Wohlrab
(Chalmers - University of Gothenburg, Sweden)
Publisher's Version
Published Artifact
Info
Artifacts Available
X-Lifecycle Learning for Cloud Incident Management using LLMs
Drishti Goel
,
Fiza Husain
,
Aditya Singh
,
Supriyo Ghosh
,
Anjaly Parayil
,
Chetan Bansal
,
Xuchao Zhang
, and
Saravan Rajmohan
(Microsoft, India; Microsoft, USA)
Publisher's Version
S.C.A.L.E: A CO2-Aware Scheduler for OpenShift at ING
Jurriaan Den Toonder
,
Paul Braakman
, and
Thomas Durieux
(Delft University of Technology, Netherlands; ING, Netherlands)
Publisher's Version
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
Jingling Sun
,
Ting Su
,
Jun Sun
,
Jianwen Li
,
Mengfei Wang
, and
Geguang Pu
(University of Electronic Science and Technology of China, China; East China Normal University, China; Singapore Management University, Singapore; ByteDance, China)
Publisher's Version
Ideas, Visions, and Reflections
The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
Justyna Petke
,
Matias Martinez
,
Maria Kechagia
,
Aldeida Aleti
, and
Federica Sarro
(University College London, United Kingdom; Universitat Politècnica de Catalunya, Spain; Monash University, Australia)
Publisher's Version
Info
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice
Nafiz Imtiaz Khan
and
Vladimir Filkov
(University of California at Davis, USA)
Publisher's Version
Published Artifact
Info
Artifacts Available
Reproducibility Debt: Challenges and Future Pathways
Zara Hassan
,
Christoph Treude
,
Michael Norrish
,
Graham Williams
, and
Alex Potanin
(Australian National University, Australia; Singapore Management University, Singapore)
Publisher's Version
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Xi Zheng
,
Aloysius K. Mok
,
Ruzica Piskac
,
Yong Jae Lee
,
Bhaskar Krishnamachari
,
Dakai Zhu
,
Oleg Sokolsky
, and
Insup Lee
(Macquarie University, Australia; University of Texas at Austin, USA; Yale University, USA; University of Wisconsin-Madison, USA; University of Southern California, USA; University of Texas at San Antonio, USA; University of Pennsylvania, USA)
Publisher's Version
AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
Jie JW Wu
(University of British Columbia, Canada)
Publisher's Version
Personal Data-Less Personalized Software Applications
Sana Belguith
,
Inah Omoronyia
, and
Ruzanna Chitchyan
(University of Bristol, United Kingdom)
Publisher's Version
The Lion, the Ecologist and the Plankton: A Classification of Species in Multi-bot Ecosystems
Dimitrios Platis
,
Linda Erlenhov
, and
Francisco Gomes de Oliveira Neto
(Zenseact, Sweden; Chalmers - University of Gothenburg, Sweden)
Publisher's Version
Verification of Programs with Common Fragments
Ivan Postolski
,
Víctor Braberman
,
Diego Garbervetsky
, and
Sebastian Uchitel
(University of Buenos Aires, Argentina; CONICET, Argentina; Imperial College London, United Kingdom)
Publisher's Version
When Fuzzing Meets LLMs: Challenges and Opportunities
Yu Jiang
,
Jie Liang
,
Fuchen Ma
,
Yuanliang Chen
,
Chijin Zhou
,
Yuheng Shen
,
Zhiyong Wu
,
Jingzhou Fu
,
Mingzhe Wang
,
Shanshan Li
, and
Quan Zhang
(Tsinghua University, China; National University of Defense Technology, China)
Publisher's Version
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
Yiran Wang
,
José Antonio Hernández López
,
Ulf Nilsson
, and
Dániel Varró
(Linköping University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications
Quan Zhang
,
Binqi Zeng
,
Chijin Zhou
,
Gwihwan Go
,
Heyuan Shi
, and
Yu Jiang
(Tsinghua University, China; Central South University, China)
Publisher's Version
On Polyglot Program Testing
Philémon Houdaille
,
Djamel Eddine Khelladi
,
Benoit Combemale
, and
Gunter Mussbacher
(CNRS - Univ. Rennes - IRISA - Inria, France; Univ. Rennes - IRISA - CNRS - Inria, France; McGill University, Canada; Inria, France)
Publisher's Version
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Edson OliveiraJr
,
Fernanda Madeiral
,
Alcemir Rodrigues Santos
,
Christina von Flach
, and
Sergio Soares
(State University of Maringá, Brazil; Vrije Universiteit Amsterdam, Netherlands; State University of Piauí, Brazil; Federal University of Bahia, Brazil; Federal University of Pernambuco, Brazil)
Publisher's Version
Execution-Free Program Repair
Li Huang
,
Bertrand Meyer
,
Ilgiz Mustafin
, and
Manuel Oriol
(Constructor Institute, Switzerland)
Publisher's Version
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
Leon Bettscheider
and
Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Published Artifact
Artifacts Available
A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
Issam Sedki
(Concordia University, Canada)
Publisher's Version
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path That Is Significantly More Executed
Andre Hora
(Federal University of Minas Gerais, Brazil)
Publisher's Version
Test Polarity: Detecting Positive and Negative Tests
Andre Hora
(Federal University of Minas Gerais, Brazil)
Publisher's Version
Predicting Test Results without Execution
Andre Hora
(Federal University of Minas Gerais, Brazil)
Publisher's Version
Demonstrations
Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
Zihan Zhou
,
Zhongkai Zhao
,
Bonan Kou
, and
Tianyi Zhang
(University of Hong Kong, Hong Kong; National University of Singapore, Singapore; Purdue University, USA)
Publisher's Version
Video
MineCPP: Mining Bug Fix Pairs and Their Structures
Sai Krishna Avula
and
Shouvick Mondal
(IIT Gandhinagar, India)
Publisher's Version
Video
Tests4Py: A Benchmark for System Testing
Marius Smytzek
,
Martin Eberlein
,
Batuhan Serçe
,
Lars Grunske
, and
Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany; Humboldt-Universität zu Berlin, Germany)
Publisher's Version
Video
Info
Ctest4J: A Practical Configuration Testing Framework for Java
Shuai Wang
,
Xinyu Lian
,
Qingyu Li
,
Darko Marinov
, and
Tianyin Xu
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version
VinJ: An Automated Tool for Large-Scale Software Vulnerability Data Generation
Yu Nong
,
Haoran Yang
,
Feng Chen
, and
Haipeng Cai
(Washington State University, USA; University of Texas at Dallas, USA)
Publisher's Version
ChatUniTest: A Framework for LLM-Based Test Generation
Yinghao Chen
,
Zehao Hu
,
Chen Zhi
,
Junxiao Han
,
Shuiguang Deng
, and
Jianwei Yin
(Zhejiang University, China; Hangzhou City University, China)
Publisher's Version
Video
Info
ASAC: A Benchmark for Algorithm Synthesis
Zhao Zhang
,
Yican Sun
,
Ruyi Ji
,
Siyuan Li
,
Xuanyu Peng
,
Zhechong Huang
,
Sizhe Li
,
Tianran Zhu
, and
Yingfei Xiong
(Peking University, China)
Publisher's Version
Video
Info
EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs
Dorin Pomian
,
Abhiram Bellur
,
Malinda Dilhara
,
Zarina Kurbatova
,
Egor Bogomolov
,
Andrey Sokolov
,
Timofey Bryksin
, and
Danny Dig
(University of Colorado Boulder, USA; JetBrains Research, Serbia; JetBrains Research, Netherlands; JetBrains Research, Cyprus)
Publisher's Version
Video
Info
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
Federico Formica
,
Mohammad Mahdi Mahboob
,
Mehrnoosh Askarpour
, and
Claudio Menghi
(McMaster University, Canada; University of Bergamo, Italy)
Publisher's Version
Video
CognitIDE: An IDE Plugin for Mapping Physiological Measurements to Source Code
Fabian Stolp
,
Malte Stellmacher
, and
Bert Arnrich
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Publisher's Version
Video
Info
AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan Samhi
and
Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany)
Publisher's Version
Video
Py-holmes: Causal Testing for Deep Neural Networks in Python
Wren McQueary
,
Sadia Afrin Mim
,
Md Nishat Raihan
,
Justin Smith
, and
Brittany Johnson
(George Mason University, USA; Lafayette College, USA)
Publisher's Version
Published Artifact
Video
Info
Artifacts Available
MicroKarta: Visualising Microservice Architectures
Oscar Manglaras
,
Alex Farkas
,
Peter Fule
,
Christoph Treude
, and
Markus Wagner
(University of Adelaide, Australia; Swordfish Computing, Australia; Singapore Management University, Singapore; Monash University, Australia)
Publisher's Version
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges
Ke Wang
,
Yue Li
,
Che Wang
,
Jianbo Gao
,
Zhi Guan
, and
Zhong Chen
(Peking University, China; Taiyuan University of Technology, China)
Publisher's Version
Video
Info
ModelFoundry: A Tool for DNN Modularization and On-Demand Model Reuse Inspired by the Wisdom of Software Engineering
Xiaohan Bi
,
Ruobing Zhao
,
Binhang Qi
,
Hailong Sun
,
Xiang Gao
,
Yue Yu
, and
Xiaojun Liang
(Beihang University, China; PengCheng Lab, China)
Publisher's Version
Video
Info
GAISSALabel: A Tool for Energy Labeling of ML Models
Pau Duran
,
Joel Castaño
,
Cristina Gómez
, and
Silverio Martínez-Fernández
(Universitat Politècnica de Catalunya, Spain)
Publisher's Version
Video
Rapid Taint Assisted Concolic Execution (TACE)
Ridhi Jain
,
Norbert Tihanyi
,
Mthandazo Ndhlovu
,
Mohamed Amine Ferrag
, and
Lucas C. Cordeiro
(Technology Innovation Institute, UAE; University of Manchester, United Kingdom)
Publisher's Version
Video
Info
Variability-Aware Differencing with DiffDetective
Paul Maximilian Bittner
,
Alexander Schultheiß
,
Benjamin Moosherr
,
Timo Kehrer
, and
Thomas Thüm
(University of Paderborn, Germany; University of Ulm, Germany; University of Bern, Switzerland)
Publisher's Version
Published Artifact
Video
Info
Artifacts Available
Artifacts Reusable
CoqPyt: Proof Navigation in Python in the Era of LLMs
Pedro Carrott
,
Nuno Saavedra
,
Kyle Thompson
,
Sorin Lerner
,
João F. Ferreira
, and
Emily First
(Imperial College London, United Kingdom; INESC-ID, Portugal; University of Lisbon, Portugal; University of California at San Diego, USA)
Publisher's Version
Video
ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-Based Fault Localization and Program Repair
Yonghao Wu
,
Zheng Li
,
Jie M. Zhang
, and
Yong Liu
(Beijing University of Chemical Technology, China; King’s College London, United Kingdom)
Publisher's Version
PathSpotter: Exploring Tested Paths to Discover Missing Tests
Andre Hora
(Federal University of Minas Gerais, Brazil)
Publisher's Version
ExLi: An Inline-Test Generation Tool for Java
Yu Liu
,
Aditya Thimmaiah
,
Owolabi Legunsen
, and
Milos Gligoric
(University of Texas at Austin, USA; Cornell University, USA)
Publisher's Version
Video
Info
Posters
Inferring Natural Preconditions via Program Transformation
Elizabeth Dinella
,
Shuvendu K. Lahiri
, and
Mayur Naik
(Bryn Mawr College, USA; Microsoft Research, USA; University of Pennsylvania, USA)
Publisher's Version
Building Software Engineering Capacity through a University Open Source Program Office
Ekaterina Holdener
and
Daniel Shown
(Saint Louis University, USA)
Publisher's Version
Go the Extra Mile: Fixing Propagated Error-Handling Bugs
Haoran Liu
,
Zhouyang Jia
,
Huiping Zhou
,
Haifang Zhou
, and
Shanshan Li
(National University of Defense Technology, China)
Publisher's Version
Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code?
Sagar Bhikan Chavan
and
Shouvick Mondal
(IIT Gandhinagar, India)
Publisher's Version
Testing AI Systems Leveraging Graph Perturbation
Zhaorui Yang
,
Haichao Zhu
, and
Qian Zhang
(University of California at Riverside, USA; Tencent, USA)
Publisher's Version
RFNIT: Robotic Framework for Non-invasive Testing
Davi Freitas
,
Breno Miranda
, and
Juliano Iyoda
(Federal University of Pernambuco, Brazil)
Publisher's Version
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences
Luyao Liu
,
Guofeng Zhang
,
Zhenbang Chen
, and
Ji Wang
(National University of Defense Technology, China)
Publisher's Version
Do Large Language Models Generate Similar Codes from Mutated Prompts? A Case Study of Gemini Pro
Hetvi Patel
,
Kevin Amit Shah
, and
Shouvick Mondal
(IIT Gandhinagar, India)
Publisher's Version
MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous Integration
Edson Soares
,
Matheus Paixao
, and
Allysson Allex Araújo
(Instituto Atlantico, Brazil; State University of Ceará, Brazil; Federal University of Cariri, Brazil)
Publisher's Version
Towards Realistic SATD Identification through Machine Learning Models: Ongoing Research and Preliminary Results
Eliakim Gama
,
Matheus Paixao
,
Mariela I. Cortés
, and
Lucas Monteiro
(State University of Ceará, Brazil)
Publisher's Version
Student Research Competition
Toward Systematizing Hot Fixing for Production Software
Carol Hanna
(University College London, United Kingdom)
Publisher's Version
Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions
Chihao Yu
(University of California at San Diego, USA)
Publisher's Version
Detecting Code Comment Inconsistencies using LLM and Program Analysis
Yichi Zhang
(Nanjing University, China)
Publisher's Version
Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization
Md Nakhla Rafi
(Concordia University, Canada)
Publisher's Version
Productionizing PILAR as a Logstash Plugin
Aaron Abraham
,
Yash Dani
, and
Kevin Zhang
(University of Waterloo, Canada)
Publisher's Version
Studying Privacy Leaks in Android App Logs
Zhiyuan Chen
(Rochester Institute of Technology, USA)
Publisher's Version
Evaluating Social Bias in Code Generation Models
Lin Ling
(Concordia University, Canada)
Publisher's Version
Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems
Débora Souza
(Federal University of Campina Grande, Brazil)
Publisher's Version
Towards a Theory for Source Code Rejuvenation
Walter Mendonça
(University of Brasília, Brazil)
Publisher's Version
Tutorials
Software Engineering and Gender: A Tutorial
Letizia Jaccheri
and
Anh Nguyen Duc
(NTNU, Norway; University of Southeast Norway, Norway)
Publisher's Version
Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering
Miqing Li
and
Tao Chen
(University of Birmingham, United Kingdom)
Publisher's Version
A Tutorial on Software Engineering for FMware
Filipe Roseiro Cogo
,
Gopi Krishnan Rajbahadur
,
Dayi Lin
, and
Ahmed E. Hassan
(Huawei, Canada; Queen’s University, Canada)
Publisher's Version
A Developer’s Guide to Building and Testing Accessible Mobile Apps
Juan Pablo Sandoval Alcocer
,
Leonel Merino
,
Alison Fernandez-Blanco
,
William Ravelo-Mendez
,
Camilo Escobar-Velásquez
, and
Mario Linares-Vásquez
(Pontificia Universidad Católica de Chile, Chile; Universidad de Los Andes, Colombia)
Publisher's Version
Info
proc time: 26.28