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 – Preliminary Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

Industry

Paths to Testing: Why Women Enter and Remain in Software Testing?
Kleice Silva ORCID logo, Ann Barcomb ORCID logo, and Ronnie de Souza Santos ORCID logo
(CESAR School, n.n.; University of Calgary, Canada)
Article Search
FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems
Xuanwen Ding ORCID logo, Qingshun Wang, Dan Liu, Lihua Xu, Jun Xiao, Bojun Zhang, Xue Li, Liang Dou, Liang He, and Tao Xie ORCID logo
(East China Normal University, China; New York University Shanghai, China; Ant Group, China; Peking University, China)
Article Search
Automated End-to-End Dynamic Taint Analysis for WhatsApp
Sopot Cela ORCID logo, Andrea Ciancone ORCID logo, Per Gustafsson ORCID logo, Ákos Hajdu ORCID logo, Yue Jia ORCID logo, Timotej Kapus ORCID logo, Maksym Koshtenko ORCID logo, Will Lewis ORCID logo, Ke Mao ORCID logo, and Dragos Martac ORCID logo
(Meta, n.n.)
Article Search
Exploring Hybrid Work Realities: A Case Study with Software Professionals from Underrepresented Groups
Ronnie de Souza Santos ORCID logo, Cleyton Magalhaes ORCID logo, Robson Santos ORCID logo, and Jorge Correia-Neto ORCID logo
(University of Calgary, Canada; Rural Federal University of Pernambuco, Brazil; UNINASSAU, Brazil)
Article Search
MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language Models
Zhaoyang Yu ORCID logo, Minghua MaORCID logo, Chaoyun Zhang ORCID logo, Si Qin ORCID logo, Yu Kang ORCID logo, Chetan Bansal ORCID logo, Saravan Rajmohan ORCID logo, Yingnong Dang ORCID logo, Changhua Pei ORCID logo, Dan Pei ORCID logo, Qingwei Lin ORCID logo, and Dongmei Zhang ORCID logo
(Tsinghua University, China; Microsoft, n.n.; Computer Network Information Center at Chinese Academy of Sciences, China)
Article Search
Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph
Zhenhe Yao ORCID logo, Changhua Pei ORCID logo, Wenxiao Chen ORCID logo, Hanzhang Wang ORCID logo, Liangfei Su ORCID logo, Huai Jiang ORCID logo, Zhe Xie ORCID logo, Xiaohui Nie ORCID logo, and Dan Pei ORCID logo
(Tsinghua University, China; Computer Network Information Center at Chinese Academy of Sciences, China; Walmart Global Tech, China; eBay, China)
Article Search
How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel
Kangzheng Gu ORCID logo, Yuan Zhang ORCID logo, Jiajun Cao ORCID logo, Xin Tan ORCID logo, and Min Yang ORCID logo
(Fudan University, China)
Article Search
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
Mert Toslali ORCID logo, Edward Snible ORCID logo, Jing Chen ORCID logo, Alan Cha ORCID logo, Sandeep Singh ORCID logo, Michael Kalantar ORCID logo, and Srinivasan Parthasarathy ORCID logo
(IBM Research, USA; IBM, India)
Article Search
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers
Asmar Muqeet ORCID logo, Shaukat AliORCID logo, Tao Yue ORCID logo, and Paolo ArcainiORCID logo
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; National Institute of Informatics, Japan)
Article Search
Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case Study
Szymon Stradowski ORCID logo and Lech Madeyski ORCID logo
(Wroclaw University of Science and Technology, Poland; NOKIA, n.n.)
Article Search
Neat: Mobile App Layout Similarity Comparison Based on Graph Convolutional Networks
Zhu Tao ORCID logo, Yongqiang Gao ORCID logo, Jiayi Qi ORCID logo, Chao PengORCID logo, Qinyun Wu ORCID logo, Xiang Chen ORCID logo, and Ping Yang ORCID logo
(ByteDance, China; Bytedance, China)
Article Search
Fault Diagnosis for Test Alarms in Microservices through Multi-source Data
Shenglin Zhang ORCID logo, Jun Zhu ORCID logo, Bowen Hao ORCID logo, Yongqian Sun ORCID logo, Xiaohui Nie ORCID logo, Jingwen Zhu ORCID logo, Xilin Liu ORCID logo, Xiaoqian Li ORCID logo, Yuchi Ma ORCID logo, and Dan Pei ORCID logo
(Nankai University, China; Computer Network Information Center at Chinese Academy of Sciences, China; Huawei Cloud, China; Tsinghua University, China)
Article Search
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems
Shenglin Zhang ORCID logo, Yongxin Zhao ORCID logo, Xiao Xiong ORCID logo, Yongqian Sun ORCID logo, Xiaohui Nie ORCID logo, Jiacheng Zhang ORCID logo, Fenglai Wang ORCID logo, Xian Zheng ORCID logo, Yuzhi Zhang ORCID logo, and Dan Pei ORCID logo
(Nankai University, China; Haihe Laboratory of Information Technology Application Innovation, China; Computer Network Information Center at Chinese Academy of Sciences, China; Huawei Technologies, China; Tsinghua University, China)
Article Search
Unveil the Mystery of Critical Software Vulnerabilities
Shengyi Pan ORCID logo, Lingfeng Bao ORCID logo, Jiayuan Zhou ORCID logo, Xing Hu ORCID logo, Xin Xia ORCID logo, and Shanping Li ORCID logo
(Zhejiang University, China; Huawei, Canada)
Article Search
Multi-line AI-Assisted Code Authoring
Omer Dunay ORCID logo, Daniel Cheng ORCID logo, Adam Tait ORCID logo, Parth Thakkar ORCID logo, Peter Rigby ORCID logo, Andy Chiu ORCID logo, Imad Ahmad ORCID logo, Arun Ganesan ORCID logo, Chandra Maddila ORCID logo, Vijayaraghavan Murali ORCID logo, Ali Tayyebi ORCID logo, and Nachiappan Nagappan ORCID logo
(Meta Platforms, USA; Concordia University, Canada)
Preprint
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry
Lennart Holsten ORCID logo, Jacob Krüger ORCID logo, and Thomas Leich ORCID logo
(Volkswagen, Germany; Harz University of Applied Sciences, Germany; Eindhoven University of Technology, Netherlands)
Preprint
Observation-Based Unit Test Generation at Meta
Mark Harman ORCID logo, Rotem Tal ORCID logo, Alexandru Marginean ORCID logo, Eddy Wang ORCID logo, and Nadia Alshahwan ORCID logo
(Meta Platforms, USA; University College London, United Kingdom)
Article Search
Automated Unit Test Improvement using Large Language Models at Meta
Mark Harman ORCID logo, Jubin Chheda ORCID logo, Anastasia Finogenova ORCID logo, Inna Harper ORCID logo, Alexandru Marginean ORCID logo, Shubho Sengupta ORCID logo, Eddy Wang ORCID logo, Nadia Alshahwan ORCID logo, and Beliz Gokkaya ORCID logo
(Meta Platforms, USA; University of California at Los Angeles, USA)
Article Search
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Calin Georgescu ORCID logo, Mitchell OlsthoornORCID logo, Pouria Derakhshanfar ORCID logo, Marat Akhin ORCID logo, and Annibale Panichella ORCID logo
(Delft University of Technology, Netherlands; JetBrains Research, n.n.)
Article Search
Exploring LLM-Based Agents for Root Cause Analysis
Devjeet Roy ORCID logo, Xuchao Zhang ORCID logo, Rashi Bhave ORCID logo, Chetan Bansal ORCID logo, Pedro Las-Casas ORCID logo, Rodrigo Fonseca ORCID logo, and Saravan Rajmohan ORCID logo
(Washington State University, USA; Microsoft Research, n.n.; Microsoft, n.n.; Microsoft 365, n.n.)
Article Search
Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
Shengnan Wu ORCID logo, Yongxiang Hu ORCID logo, Yingchuan Wang ORCID logo, Jiazhen Gu ORCID logo, Jin Meng ORCID logo, Liujie Fan ORCID logo, Zhongshi Luan ORCID logo, Xin Wang ORCID logo, and Yangfan Zhou ORCID logo
(Fudan University, China; Meituan, China)
Article Search
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
Qunying Song ORCID logo, Emelie Engström ORCID logo, and Per RunesonORCID logo
(Lund University, Sweden)
Article Search
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling
Jie Liang ORCID logo, Mingzhe Wang ORCID logo, Chijin Zhou ORCID logo, Zhiyong Wu ORCID logo, Jianzhong Liu ORCID logo, and Yu JiangORCID logo
(Tsinghua University, China)
Article Search
Checking Complex Source Code-Level Constraints using Runtime Verification
Joshua Heneage Dawes ORCID logo and Domenico BianculliORCID logo
(University of Luxembourg, Luxembourg)
Article Search
Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4
Xuchao Zhang ORCID logo, Supriyo Ghosh ORCID logo, Chetan Bansal ORCID logo, Rujia Wang ORCID logo, Minghua MaORCID logo, Yu Kang ORCID logo, and Saravan Rajmohan ORCID logo
(Microsoft, n.n.)
Article Search
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
Lennon Chaves ORCID logo, Flávia Oliveira ORCID logo, and Leonardo Tiago ORCID logo
(SIDIA Institute of Science and Technology, n.n.; Sidia Institute of Science and Technology, n.n.)
Article Search
An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions
Chao Liu ORCID logo, Xindong Zhang ORCID logo, Hongyu Zhang ORCID logo, Zhiyuan WanORCID logo, Zhan Huang ORCID logo, and Meng Yan ORCID logo
(Chongqing University, China; Alibaba Group, China; Zhejiang University, China)
Article Search
Rethinking Software Engineering in the Era of Foundation Models: A Curated Catalogue of Challenges in the Development of Trustworthy FMware
Ahmed E. Hassan ORCID logo, Dayi Lin ORCID logo, Gopi Krishnan Rajbahadur ORCID logo, Keheliya Gallaba ORCID logo, Filipe Roseiro Cogo ORCID logo, Boyuan Chen ORCID logo, Haoxiang Zhang ORCID logo, Kishanthan Thangarajah ORCID logo, Gustavo Oliva ORCID logo, Jiahuei (Justina) Lin ORCID logo, Wali Mohammad Abdullah ORCID logo, and Zhen Ming (Jack) Jiang ORCID logo
(Queen’s University, Canada; Huawei, Canada; York University, Canada)
Article Search
Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
Zhipeng GaoORCID logo, Zhipeng Xue ORCID logo, Xing Hu ORCID logo, Weiyi ShangORCID logo, and Xin Xia ORCID logo
(Zhejiang University, China; Concordia University, Canada; Huawei, n.n.)
Article Search
Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-Practice
Philipp Zellmer ORCID logo, Jacob Krüger ORCID logo, and Thomas Leich ORCID logo
(Volkswagen, Germany; Harz University of Applied Sciences, Germany; Eindhoven University of Technology, Netherlands)
Preprint
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community
Jing Luo ORCID logo, Heyuan Shi ORCID logo, Yongchao Zhang ORCID logo, Runzhe Wang ORCID logo, Yuheng Shen ORCID logo, Yuao Chen ORCID logo, Rongkai Liu ORCID logo, Xiaohai Shi ORCID logo, Chao Hu ORCID logo, and Yu JiangORCID logo
(Central South University, China; Alibaba Group, China; Tsinghua University, China)
Article Search
An LGPD Compliance Inspection Checklist to Assess IoT Solutions
Ivonildo Pereira Gomes Neto ORCID logo, João Mendes ORCID logo, Waldemar Ferreira ORCID logo, Luis Rivero ORCID logo, Davi Viana ORCID logo, and Sergio Soares ORCID logo
(Federal University of Pernambuco, Brazil; Federal University of Maranhão, Brazil; Rural Federal University of Pernambuco, Brazil)
Article Search
How We Built Cedar: A Verification-Guided Approach
Craig Disselkoen ORCID logo, Aaron Eline ORCID logo, Shaobo He ORCID logo, Kyle Headley ORCID logo, Michael Hicks ORCID logo, Kesha Hietala ORCID logo, John Kastner ORCID logo, Anwar Mamat ORCID logo, Matt McCutchen ORCID logo, Neha Rungta ORCID logo, Bhakti Shah ORCID logo, Emina Torlak ORCID logo, and Andrew Wells ORCID logo
(Amazon Web Services, n.n.; University of Maryland, USA; University of Chicago, USA)
Article Search
Leveraging Large Language Models for the Auto-remediation of Microservice Applications: An Experimental Study
Komal Sarda ORCID logo, Zakeya Namrud ORCID logo, Marin LitoiuORCID logo, Larisa Shwartz ORCID logo, and Ian Watts ORCID logo
(York University, Canada; IBM Research, USA; IBM, Canada)
Article Search
Practitioners’ Challenges and Perceptions of CI Build Failure Predictions at Atlassian
Yang Hong ORCID logo, Chakkrit Tantithamthavorn ORCID logo, Jirat Pasuksmit ORCID logo, Patanamon Thongtanunam ORCID logo, Arik Friedman ORCID logo, Xing Zhao ORCID logo, and Anton Krasikov ORCID logo
(Monash University, Australia; Atlassian, n.n.; University of Melbourne, Australia)
Article Search
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation
Dong Jae Kim ORCID logo, Steven Locke ORCID logo, Tse-Hsun (Peter) Chen ORCID logo, Andrei Toma ORCID logo, Sarah Sajedi ORCID logo, Steve Sporea ORCID logo, and Laura Weinkam ORCID logo
(Concordia University, Canada; ERA environmental management solutions, n.n.)
Article Search
LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents
Dylan Zhang ORCID logo, Xuchao Zhang ORCID logo, Chetan Bansal ORCID logo, Pedro Las-Casas ORCID logo, Rodrigo Fonseca ORCID logo, and Saravan Rajmohan ORCID logo
(University of Illinois at Urbana-Champaign, USA; Microsoft Research, n.n.; Microsoft 365, n.n.)
Article Search
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context
Xinyi Wang ORCID logo, Shaukat AliORCID logo, Aitor Arrieta ORCID logo, Paolo ArcainiORCID logo, and Maite Arratibel ORCID logo
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Mondragon University, n.n.; National Institute of Informatics, n.n.; Orona, n.n.)
Article Search
Supporting Early Architectural Decision-Making through Tradeoff Analysis: A Study with Volvo Cars
Karl Öqvist ORCID logo, Jacob Messinger ORCID logo, and Rebekka Wohlrab ORCID logo
(Chalmers - University of Gothenburg, Sweden)
Article Search Info Artifacts Available
X-Lifecycle Learning for Cloud Incident Management using LLMs
Drishti Goel ORCID logo, Fiza Husain ORCID logo, Aditya Singh ORCID logo, Supriyo Ghosh ORCID logo, Anjaly Parayil ORCID logo, Chetan Bansal ORCID logo, Xuchao Zhang ORCID logo, and Saravan Rajmohan ORCID logo
(Microsoft, n.n.)
Article Search
S.C.A.L.E: A CO2-aware Scheduler for OpenShift at ING
Jurriaan Den Toonder ORCID logo, Paul Braakman ORCID logo, and Thomas DurieuxORCID logo
(TU Delft, Netherlands; ING, Netherlands)
Article Search
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps
Jingling Sun ORCID logo, Ting Su ORCID logo, Jun Sun ORCID logo, Jianwen Li ORCID logo, Mengfei Wang ORCID logo, and Geguang Pu ORCID logo
(University of Electronic Science and Technology of China, China; East China Normal University, China; Singapore Management University, Singapore; ByteDance, n.n.)
Article Search

IVR

The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking
Justyna Petke ORCID logo, Matias Martinez ORCID logo, Maria Kechagia ORCID logo, Aldeida Aleti ORCID logo, and Federica SarroORCID logo
(University College London, United Kingdom; Universitat Politècnica de Catalunya, Spain; Monash University, Australia)
Article Search Info
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice
Nafiz Imtiaz Khan ORCID logo and Vladimir Filkov ORCID logo
(University of California at Davis, USA)
Article Search Info Artifacts Available
Reproducibility Debt: Challenges and Future Pathways
Zara Hassan ORCID logo, Christoph Treude ORCID logo, Michael Norrish ORCID logo, Graham Williams ORCID logo, and Alex Potanin ORCID logo
(Australian National University, Australia; Singapore Management University, Singapore)
Article Search
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Xi Zheng ORCID logo, Aloysius K. Mok ORCID logo, Ruzica Piskac ORCID logo, Yong Jae Lee ORCID logo, Bhaskar Krishnamachari ORCID logo, Dakai Zhu ORCID logo, Oleg Sokolsky ORCID logo, and Insup Lee ORCID logo
(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 Dallas, USA; University of Pennsylvania, USA)
Article Search
AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
Jie JW Wu ORCID logo
(niversity of British Columbia, Canada)
Article Search
Personal Data-Less Personalized Software Applications
Sana Belguith ORCID logo, Inah Omoronyia ORCID logo, and Ruzanna Chitchyan ORCID logo
(University of Bristol, United Kingdom)
Article Search
The Lion, the Ecologist and the Plankton: A Classification of Species in Multi-bot Ecosystems
Dimitrios Platis ORCID logo, Linda Erlenhov ORCID logo, and Francisco Gomes de Oliveira Neto ORCID logo
(Zenseact, Sweden; Chalmers - University of Gothenburg, Sweden)
Article Search
Verification of Programs with Common Fragments
Ivan Postolski, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel ORCID logo
(University of Buenos Aires, Argentina; CONICET, Argentina; Imperial College London, United Kingdom)
Article Search
When Fuzzing Meets LLMs: Challenges and Opportunities
Yu JiangORCID logo, Jie Liang ORCID logo, Fuchen Ma ORCID logo, Yuanliang Chen ORCID logo, Chijin Zhou ORCID logo, Yuheng Shen ORCID logo, Zhiyong Wu ORCID logo, Jingzhou Fu ORCID logo, Mingzhe Wang ORCID logo, ShanShan Li ORCID logo, and Quan Zhang ORCID logo
(Tsinghua University, China; National University of Defense Technology, China)
Article Search
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
Yiran Wang ORCID logo, José Antonio Hernández López ORCID logo, Ulf Nilsson ORCID logo, and Dániel Varró ORCID logo
(Linköping University, Sweden)
Article Search Artifacts Available
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications
Quan Zhang ORCID logo, Binqi Zeng ORCID logo, Chijin Zhou ORCID logo, Gwihwan Go ORCID logo, Heyuan Shi ORCID logo, and Yu JiangORCID logo
(Tsinghua University, China; Central South University, China)
Article Search
On Polyglot Program Testing
Philémon Houdaille ORCID logo, Djamel Eddine Khelladi ORCID logo, Benoit Combemale ORCID logo, and Gunter Mussbacher ORCID logo
(CNRS - Univ. Rennes - IRISA - Inria, France; Univ. Rennes - IRISA - CNRS - Inria, France; McGill University, Canada; Inria, France)
Article Search
A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Edson OliveiraJr ORCID logo, Fernanda Madeiral ORCID logo, Alcemir Rodrigues Santos ORCID logo, Christina von Flach ORCID logo, and Sergio Soares ORCID logo
(State University of Maringá, Brazil; Vrije Universiteit Amsterdam, Netherlands; State University of Piauí, Brazil; Federal University of Bahia, Brazil; Federal University of Pernambuco, Brazil)
Article Search
Execution-Free Program Repair
Li Huang ORCID logo, Bertrand Meyer ORCID logo, Ilgiz Mustafin ORCID logo, and Manuel Oriol ORCID logo
(Constructor Institute, Switzerland; ETH Zurich, Switzerland)
Article Search
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing
Leon Bettscheider ORCID logo and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany)
Article Search Artifacts Available
A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
Issam Sedki ORCID logo
(Concordia University, Canada)
Article Search
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path That Is Significantly More Executed
Andre HoraORCID logo
(Federal University of Minas Gerais, Brazil)
Article Search
Test Polarity: Detecting Positive and Negative Tests
Andre HoraORCID logo
(Federal University of Minas Gerais, Brazil)
Article Search
Predicting Test Results without Execution
Andre HoraORCID logo
(Federal University of Minas Gerais, Brazil)
Article Search

DEMOS

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
Zihan Zhou ORCID logo, Zhongkai Zhao ORCID logo, Bonan Kou ORCID logo, and Tianyi Zhang ORCID logo
(University of Hong Kong, China; National University of Singapore, Singapore; Purdue University, USA)
Article Search Video
MineCPP: Mining Bug Fix Pairs and Their Structures
Sai Krishna Avula ORCID logo and Shouvick Mondal ORCID logo
(IIT Gandhinagar, India)
Article Search Video
Tests4Py: A Benchmark for System Testing
Marius Smytzek ORCID logo, Martin EberleinORCID logo, Batuhan Serce ORCID logo, Lars Grunske ORCID logo, and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany; Humboldt-Universität zu Berlin, Germany)
Preprint Video Info
Ctest4J: A Practical Configuration Testing Framework for Java
Shuai Wang ORCID logo, Xinyu Lian ORCID logo, Qingyu Li ORCID logo, Darko MarinovORCID logo, and Tianyin Xu ORCID logo
(University of Illinois at Urbana-Champaign, USA)
Article Search
VinJ: An Automated Tool for Large-Scale Software Vulnerability Data Generation
Yu Nong ORCID logo, Haoran Yang ORCID logo, Feng Chen ORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA; University of Texas at Dallas, USA)
Preprint
ChatUniTest: A Framework for LLM-Based Test Generation
Yinghao Chen ORCID logo, Zehao Hu ORCID logo, Chen Zhi ORCID logo, Junxiao Han ORCID logo, Shuiguang Deng ORCID logo, and Jianwei Yin ORCID logo
(Zhejiang University, China; Hangzhou City University, China)
Preprint Video Info
ASAC: A Benchmark for Algorithm Synthesis
Zhao Zhang ORCID logo, Yican Sun ORCID logo, Ruyi Ji ORCID logo, Siyuan Li ORCID logo, Xuanyu Peng ORCID logo, Zhechong Huang ORCID logo, Sizhe Li ORCID logo, Tianran Zhu ORCID logo, and Yingfei Xiong ORCID logo
(Peking University, China)
Article Search Video Info
EM-Assist: Safe Automated Extract Method Refactoring with LLMs
Dorin Pomian ORCID logo, Abhiram Bellur ORCID logo, Malinda DilharaORCID logo, Zarina Kurbatova ORCID logo, Egor Bogomolov ORCID logo, Andrey Sokolov ORCID logo, Timofey Bryksin ORCID logo, and Danny Dig ORCID logo
(University of Colorado Boulder, USA; JetBrains Research, n.n.)
Article Search Video Info
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
Federico Formica ORCID logo, Mohammad Mahdi Mahboob ORCID logo, Mehrnoosh Askarpour ORCID logo, and Claudio Menghi ORCID logo
(McMaster University, Canada; University of Bergamo, Italy)
Article Search Video
CognitIDE: An IDE Plugin for Mapping Physiological Measurements to Source Code
Fabian Stolp ORCID logo, Malte Stellmacher ORCID logo, and Bert Arnrich ORCID logo
(Hasso Plattner Institute, Germany; University of Potsdam, Germany)
Article Search Video Info
AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan SamhiORCID logo and Andreas Zeller ORCID logo
(CISPA Helmholtz Center for Information Security, Germany)
Article Search Video
Py-holmes: Causal Testing for Deep Neural Networks in Python
Wren McQueary ORCID logo, Sadia Afrin Mim ORCID logo, Md Nishat Raihan ORCID logo, Justin Smith ORCID logo, and Brittany Johnson ORCID logo
(George Mason University, USA; Lafayette College, USA)
Preprint Video Info Artifacts Available
MicroKarta: Visualising Microservice Architectures
Oscar Manglaras ORCID logo, Alex Farkas ORCID logo, Peter Fule ORCID logo, Christoph Treude ORCID logo, and Markus Wagner ORCID logo
(University of Adelaide, Australia; Swordfish Computing, Australia; Singapore Management University, Singapore; Monash University, Australia)
Article Search
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges
Ke Wang ORCID logo, Yue Li ORCID logo, Che Wang ORCID logo, Jianbo Gao ORCID logo, Zhi Guan ORCID logo, and Zhong Chen ORCID logo
(Peking University, China; Taiyuan University of Technology, China)
Article Search 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 ORCID logo, Xiang Gao ORCID logo, Yue Yu, and Xiaojun Liang
(Beihang University, China; PengCheng Lab, China)
Article Search Video Info
GAISSALabel: A Tool for Energy Labeling of ML Models
Pau Duran ORCID logo, Joel Castaño ORCID logo, Cristina Gómez ORCID logo, and Silverio Martínez-Fernández ORCID logo
(Universitat Politècnica de Catalunya, Spain)
Article Search Video Info
Rapid Taint Assisted Concolic Execution (TACE)
Ridhi Jain ORCID logo, Norbert Tihanyi ORCID logo, Mthandazo Ndhlovu ORCID logo, Mohamed Amine Ferrag ORCID logo, and Lucas C. Cordeiro ORCID logo
(Technology Innovation Institute, n.n.; University of Manchester, United Kingdom)
Article Search Video Info
Variability-Aware Differencing with DiffDetective
Paul Maximilian Bittner ORCID logo, Alexander Schultheiß ORCID logo, Benjamin Moosherr ORCID logo, Timo KehrerORCID logo, and Thomas Thüm ORCID logo
(University of Paderborn, Germany; University of Ulm, Germany; University of Bern, Switzerland)
Article Search Video Info Artifacts Available
CoqPyt: Proof Navigation in Python in the Era of LLMs
Pedro Carrott ORCID logo, Nuno Saavedra ORCID logo, Kyle Thompson ORCID logo, Sorin LernerORCID logo, João F. Ferreira ORCID logo, and Emily First ORCID logo
(Imperial College London, United Kingdom; INESC-ID, Portugal; University of Lisbon, Portugal; University of California at San Diego, USA)
Preprint Video
ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-Based Fault Localization and Program Repair
Yonghao Wu ORCID logo, Zheng Li ORCID logo, Jie M. Zhang ORCID logo, and Yong Liu ORCID logo
(Beijing University of Chemical Technology, China; King’s College London, United Kingdom)
Article Search
PathSpotter: Exploring Tested Paths to Discover Missing Tests
Andre HoraORCID logo
(Federal University of Minas Gerais, Brazil)
Article Search
ExLi: An Inline-Test Generation Tool for Java
Yu Liu ORCID logo, Aditya Thimmaiah ORCID logo, Owolabi Legunsen ORCID logo, and Milos GligoricORCID logo
(University of Texas at Austin, USA; Cornell University, USA)
Article Search Video Info

Posters

Inferring Natural Preconditions via Program Transformation
Elizabeth Dinella ORCID logo, Shuvendu K. LahiriORCID logo, and Mayur Naik ORCID logo
(Bryn Mawr College, USA; Microsoft Research, n.n.; University of Pennsylvania, USA)
Article Search
Building Software Engineering Capacity through a University Open Source Program Office
Ekaterina Holdener ORCID logo and Daniel Shown ORCID logo
(Saint Louis University, USA)
Article Search
Identification and Evaluation of the Main Factors Related to Turnover in Distributed Software Projects
Amanda Chaves, Ivaldir De Farias Jr., and Hermano Moura
(Federal University of Pernambuco, Brazil; University of Pernambuco, Brazil)
Article Search
Go the Extra Mile: Fixing Propagated Error-Handling Bugs
Haoran Liu ORCID logo, Zhouyang Jia ORCID logo, Huiping Zhou ORCID logo, Haifang Zhou ORCID logo, and Shanshan Li ORCID logo
(National University of Defense Technology, China)
Article Search
Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code?
Sagar Bhikan Chavan ORCID logo and Shouvick Mondal ORCID logo
(IIT Gandhinagar, India)
Article Search
Testing AI Systems Leveraging Graph Perturbation
Zhaorui Yang ORCID logo, Haichao Zhu ORCID logo, and Qian Zhang ORCID logo
(University of California at Riverside, USA; Tencent America, n.n.)
Article Search
RFNIT: Robotic Framework for Non-invasive Testing
Davi Freitas ORCID logo, Breno Miranda ORCID logo, and Juliano Iyoda ORCID logo
(Federal University of Pernambuco, Brazil)
Article Search
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences
Luyao Liu ORCID logo, Guofeng Zhang ORCID logo, Zhenbang ChenORCID logo, and Ji Wang ORCID logo
(National University of Defense Technology, China)
Article Search
Do Large Language Models Generate Similar Codes from Mutated Prompts? A Case Study of Gemini Pro
Hetvi Patel ORCID logo, Kevin Amit Shah ORCID logo, and Shouvick Mondal ORCID logo
(IIT Gandhinagar, India)
Article Search
MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous Integration
Edson SoaresORCID logo, Matheus Paixao ORCID logo, and Allysson Allex Araújo ORCID logo
(Instituto Atlantico, Brazil; State University of Ceará, Brazil; Federal University of Cariri, Brazil)
Article Search
Towards Realistic SATD Identification through Machine Learning Models: Ongoing Research and Preliminary Results
Eliakim Gama ORCID logo, Matheus Paixao ORCID logo, Mariela I. Cortés ORCID logo, and Lucas Monteiro ORCID logo
(State University of Ceará, Brazil)
Article Search

SRC

Toward Systematizing Hot Fixing for Production Software
Carol Hanna ORCID logo
(University College London, United Kingdom)
Article Search
Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions
Chihao Yu ORCID logo
(University of California at San Diego, USA)
Article Search
Detecting Code Comment Inconsistencies using LLM and Program Analysis
Yichi Zhang ORCID logo
(Nanjing University, China)
Article Search
Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization
Md Nakhla Rafi ORCID logo
(Concordia University, Canada)
Article Search
Productionizing PILAR as a Logstash Plugin
Aaron Abraham ORCID logo, Kevin Zhang ORCID logo, and Yash Dani ORCID logo
(University of Waterloo, Canada)
Article Search
Studying Privacy Leaks in Android App Logs
Zhiyuan Chen
(Rochester Institute of Technology, USA)
Article Search
Evaluating Social Bias in Code Generation Models
Lin Ling ORCID logo
(Concordia University, Canada)
Article Search
Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems
Debora Souza ORCID logo
(Federal University of Campina Grande, Brazil)
Article Search
Towards a Theory for Source Code Rejuvenation
Walter Mendonça ORCID logo
(University of Brasília, Brazil)
Article Search

Tutorials

Software Engineering and Gender: A Tutorial
Letizia Jaccheri ORCID logo and Anh Nguyen Duc ORCID logo
(NTNU, Norway; University of Southeast Norway, Norway)
Article Search
Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering
Miqing Li ORCID logo and Tao Chen ORCID logo
(University of Birmingham, United Kingdom)
Article Search
A Tutorial on Software Engineering for FMware
Filipe Roseiro Cogo ORCID logo, Gopi Krishnan Rajbahadur ORCID logo, Dayi Lin ORCID logo, and Ahmed E. Hassan ORCID logo
(Huawei, Canada; Queen’s University, Canada)
Article Search
A Developer’s Guide to Building and Testing Accessible Mobile Apps
Juan Pablo Sandoval Alcocer ORCID logo, Leonel Merino ORCID logo, Alison Fernandez-Blanco ORCID logo, William Ravelo-Mendez ORCID logo, Camilo Escobar-VelásquezORCID logo, and Mario Linares-VásquezORCID logo
(Pontificia Universidad Católica de Chile, Chile; Universidad de Los Andes, Colombia)
Article Search Info

proc time: 23.95