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