FSE 2024 – Companion Proceedings

Frontmatter

Keynotes

The Incredible Machine: Developer Productivity and the Impact of AI on Productivity (Keynote)
Thomas Zimmermann
(Microsoft Research, USA)

Publisher's Version Article: fsecomp24key-key1-p doi:10.1145/3663529.3674721

It’s Organic: Software Testing of Emerging Domains (Keynote)
Myra B. Cohen
(Iowa State University, USA)

Publisher's Version Article: fsecomp24key-key2-p doi:10.1145/3663529.3674720

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 Article: fsecomp24industry-p3-p doi:10.1145/3663529.3663822

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 Article: fsecomp24industry-p4-p doi:10.1145/3663529.3663823

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 Article: fsecomp24industry-p7-p doi:10.1145/3663529.3663824

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 Article: fsecomp24industry-p9-p doi:10.1145/3663529.3663825

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 Article: fsecomp24industry-p10-p doi:10.1145/3663529.3663826

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) Article: fsecomp24industry-p11-p doi:10.1145/3663529.3663827

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 Article: fsecomp24industry-p13-p doi:10.1145/3663529.3663828

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 Article: fsecomp24industry-p14-p doi:10.1145/3663529.3663829

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 Article: fsecomp24industry-p17-p doi:10.1145/3663529.3663830

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 Article: fsecomp24industry-p19-p doi:10.1145/3663529.3663831

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 Article: fsecomp24industry-p22-p doi:10.1145/3663529.3663832

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 Article: fsecomp24industry-p25-p doi:10.1145/3663529.3663833

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 Article: fsecomp24industry-p26-p doi:10.1145/3663529.3663834

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 Article: fsecomp24industry-p27-p doi:10.1145/3663529.3663835

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 Article: fsecomp24industry-p31-p doi:10.1145/3663529.3663836

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 Article: fsecomp24industry-p35-p doi:10.1145/3663529.3663837

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 Article: fsecomp24industry-p36-p doi:10.1145/3663529.3663838

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 Article: fsecomp24industry-p37-p doi:10.1145/3663529.3663839

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 Article: fsecomp24industry-p38-p doi:10.1145/3663529.3663864

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 Article: fsecomp24industry-p42-p doi:10.1145/3663529.3663841

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 Article: fsecomp24industry-p46-p doi:10.1145/3663529.3663842

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 Article: fsecomp24industry-p54-p doi:10.1145/3663529.3663843

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 Article: fsecomp24industry-p55-p doi:10.1145/3663529.3663844

Checking Complex Source Code-Level Constraints using Runtime Verification
Joshua Heneage Dawes and Domenico Bianculli
(University of Luxembourg, Luxembourg)

Publisher's Version Article: fsecomp24industry-p57-p doi:10.1145/3663529.3663845

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 Article: fsecomp24industry-p59-p doi:10.1145/3663529.3663846

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 Article: fsecomp24industry-p61-p doi:10.1145/3663529.3663847

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 Article: fsecomp24industry-p64-p doi:10.1145/3663529.3663848

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 Article: fsecomp24industry-p65-p doi:10.1145/3663529.3663849

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 Article: fsecomp24industry-p68-p doi:10.1145/3663529.3663850

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 Article: fsecomp24industry-p75-p doi:10.1145/3663529.3663851

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 Article: fsecomp24industry-p77-p doi:10.1145/3663529.3663852

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 Article: fsecomp24industry-p85-p doi:10.1145/3663529.3663853

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 Article: fsecomp24industry-p88-p doi:10.1145/3663529.3663854

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 Article: fsecomp24industry-p92-p doi:10.1145/3663529.3663855

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 Article: fsecomp24industry-p93-p doi:10.1145/3663529.3663856

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 Article: fsecomp24industry-p94-p doi:10.1145/3663529.3663857

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 Article: fsecomp24industry-p98-p doi:10.1145/3663529.3663858

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 Article: fsecomp24industry-p101-p doi:10.1145/3663529.3663859

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 Article: fsecomp24industry-p105-p doi:10.1145/3663529.3663860

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 Article: fsecomp24industry-p110-p doi:10.1145/3663529.3663861

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 Article: fsecomp24industry-p111-p doi:10.1145/3663529.3663862

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 Article: fsecomp24industry-p112-p doi:10.1145/3663529.3663863

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 Article: fsecomp24ivr-p20-p doi:10.1145/3663529.3663776

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 Article: fsecomp24ivr-p22-p doi:10.1145/3663529.3663777

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 Article: fsecomp24ivr-p31-p doi:10.1145/3663529.3663778

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 Article: fsecomp24ivr-p36-p doi:10.1145/3663529.3663779

AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
Jie JW Wu
(University of British Columbia, Canada)

Publisher's Version Article: fsecomp24ivr-p58-p doi:10.1145/3663529.3663780

Personal Data-Less Personalized Software Applications
Sana Belguith, Inah Omoronyia, and Ruzanna Chitchyan
(University of Bristol, United Kingdom)

Publisher's Version Article: fsecomp24ivr-p70-p doi:10.1145/3663529.3663781

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 Article: fsecomp24ivr-p74-p doi:10.1145/3663529.3663782

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 Article: fsecomp24ivr-p76-p doi:10.1145/3663529.3663783

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 Article: fsecomp24ivr-p78-p doi:10.1145/3663529.3663784

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 Article: fsecomp24ivr-p79-p doi:10.1145/3663529.3663785

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 Article: fsecomp24ivr-p91-p doi:10.1145/3663529.3663786

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 Article: fsecomp24ivr-p92-p doi:10.1145/3663529.3663787

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 Article: fsecomp24ivr-p93-p doi:10.1145/3663529.3663788

Execution-Free Program Repair
Li Huang, Bertrand Meyer, Ilgiz Mustafin, and Manuel Oriol
(Constructor Institute, Switzerland)

Publisher's Version Article: fsecomp24ivr-p96-p doi:10.1145/3663529.3663789

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 Article: fsecomp24ivr-p102-p doi:10.1145/3663529.3663790

A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
Issam Sedki
(Concordia University, Canada)

Publisher's Version Article: fsecomp24ivr-p119-p doi:10.1145/3663529.3663791

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 Article: fsecomp24ivr-p122-p doi:10.1145/3663529.3663792

Test Polarity: Detecting Positive and Negative Tests
Andre Hora
(Federal University of Minas Gerais, Brazil)

Publisher's Version Article: fsecomp24ivr-p123-p doi:10.1145/3663529.3663793

Predicting Test Results without Execution
Andre Hora
(Federal University of Minas Gerais, Brazil)

Publisher's Version Article: fsecomp24ivr-p126-p doi:10.1145/3663529.3663794

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 Article: fsecomp24demo-p3-p doi:10.1145/3663529.3663796

MineCPP: Mining Bug Fix Pairs and Their Structures
Sai Krishna Avula and Shouvick Mondal
(IIT Gandhinagar, India)

Publisher's Version Video Article: fsecomp24demo-p11-p doi:10.1145/3663529.3663797

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 Article: fsecomp24demo-p12-p doi:10.1145/3663529.3663798

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 Article: fsecomp24demo-p20-p doi:10.1145/3663529.3663799

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 Article: fsecomp24demo-p27-p doi:10.1145/3663529.3663800

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 Article: fsecomp24demo-p31-p doi:10.1145/3663529.3663801

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 Article: fsecomp24demo-p32-p doi:10.1145/3663529.3663802

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 Article: fsecomp24demo-p37-p doi:10.1145/3663529.3663803

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 Article: fsecomp24demo-p41-p doi:10.1145/3663529.3663804

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 Article: fsecomp24demo-p42-p doi:10.1145/3663529.3663805

AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan Samhi and Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany)

Publisher's Version Video Article: fsecomp24demo-p44-p doi:10.1145/3663529.3663806

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 Article: fsecomp24demo-p52-p doi:10.1145/3663529.3663807

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 Article: fsecomp24demo-p59-p doi:10.1145/3663529.3663808

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 Article: fsecomp24demo-p65-p doi:10.1145/3663529.3663809

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 Article: fsecomp24demo-p84-p doi:10.1145/3663529.3663810

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 Article: fsecomp24demo-p87-p doi:10.1145/3663529.3663811

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 Article: fsecomp24demo-p93-p doi:10.1145/3663529.3663812

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 Article: fsecomp24demo-p94-p doi:10.1145/3663529.3663813

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 Article: fsecomp24demo-p98-p doi:10.1145/3663529.3663814

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 Article: fsecomp24demo-p99-p doi:10.1145/3663529.3663815

PathSpotter: Exploring Tested Paths to Discover Missing Tests
Andre Hora
(Federal University of Minas Gerais, Brazil)

Publisher's Version Article: fsecomp24demo-p103-p doi:10.1145/3663529.3663816

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 Article: fsecomp24demo-p124-p doi:10.1145/3663529.3663817

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 Article: fsecomp24poster-p1-p doi:10.1145/3663529.3663865

Building Software Engineering Capacity through a University Open Source Program Office
Ekaterina Holdener and Daniel Shown
(Saint Louis University, USA)

Publisher's Version Article: fsecomp24poster-p2-p doi:10.1145/3663529.3663866

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 Article: fsecomp24poster-p5-p doi:10.1145/3663529.3663868

Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code?
Sagar Bhikan Chavan and Shouvick Mondal
(IIT Gandhinagar, India)

Publisher's Version Article: fsecomp24poster-p8-p doi:10.1145/3663529.3663869

Testing AI Systems Leveraging Graph Perturbation
Zhaorui Yang, Haichao Zhu, and Qian Zhang
(University of California at Riverside, USA; Tencent, USA)

Publisher's Version Article: fsecomp24poster-p9-p doi:10.1145/3663529.3663870

RFNIT: Robotic Framework for Non-invasive Testing
Davi Freitas, Breno Miranda, and Juliano Iyoda
(Federal University of Pernambuco, Brazil)

Publisher's Version Article: fsecomp24poster-p10-p doi:10.1145/3663529.3663871

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 Article: fsecomp24poster-p11-p doi:10.1145/3663529.3663872

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 Article: fsecomp24poster-p12-p doi:10.1145/3663529.3663873

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 Article: fsecomp24poster-p13-p doi:10.1145/3663529.3663874

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 Article: fsecomp24poster-p15-p doi:10.1145/3663529.3663876

Student Research Competition

Toward Systematizing Hot Fixing for Production Software
Carol Hanna
(University College London, United Kingdom)

Publisher's Version Article: fsecomp24src-id5-p doi:10.1145/3663529.3664456

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 Article: fsecomp24src-id9-p doi:10.1145/3663529.3664457

Detecting Code Comment Inconsistencies using LLM and Program Analysis
Yichi Zhang
(Nanjing University, China)

Publisher's Version Article: fsecomp24src-id16-p doi:10.1145/3663529.3664458

Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization
Md Nakhla Rafi
(Concordia University, Canada)

Publisher's Version Article: fsecomp24src-id25-p doi:10.1145/3663529.3664459

Productionizing PILAR as a Logstash Plugin
Aaron Abraham, Yash Dani, and Kevin Zhang
(University of Waterloo, Canada)

Publisher's Version Article: fsecomp24src-id34-p doi:10.1145/3663529.3664460

Studying Privacy Leaks in Android App Logs
Zhiyuan Chen
(Rochester Institute of Technology, USA)

Publisher's Version Article: fsecomp24src-id44-p doi:10.1145/3663529.3664461

Evaluating Social Bias in Code Generation Models
Lin Ling
(Concordia University, Canada)

Publisher's Version Article: fsecomp24src-id61-p doi:10.1145/3663529.3664462

Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems
Débora Souza
(Federal University of Campina Grande, Brazil)

Publisher's Version Article: fsecomp24src-id87-p doi:10.1145/3663529.3664463

Towards a Theory for Source Code Rejuvenation
Walter Mendonça
(University of Brasília, Brazil)

Publisher's Version Article: fsecomp24src-id99-p doi:10.1145/3663529.3664464

Tutorials

Software Engineering and Gender: A Tutorial
Letizia Jaccheri and Anh Nguyen Duc
(NTNU, Norway; University of Southeast Norway, Norway)

Publisher's Version Article: fsecomp24tut-p1-p doi:10.1145/3663529.3663818

Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering
Miqing Li and Tao Chen
(University of Birmingham, United Kingdom)

Publisher's Version Article: fsecomp24tut-p2-p doi:10.1145/3663529.3663819

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 Article: fsecomp24tut-p3-p doi:10.1145/3663529.3663820

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 Article: fsecomp24tut-p5-p doi:10.1145/3663529.3663821

proc time: 1.03