Table of Contents

• The Incredible Machine: Developer Productivity and the Impact of AI on Productivity (Keynote)Thomas Zimmermann. 1 [doi]
• It's Organic: Software Testing of Emerging Domains (Keynote)Myra B. Cohen. 2-3 [doi]
• Paths to Testing: Why Women Enter and Remain in Software Testing?Kleice Silva, Ann Barcomb, Ronnie de Souza Santos. 4-9 [doi]
• FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech SystemsXuanwen Ding, Qingshun Wang, Dan Liu, Lihua Xu, Jun Xiao, Bojun Zhang, Xue Li, Liang Dou, Liang He 0001, Tao Xie 0001. 10-20 [doi]
• Automated End-to-End Dynamic Taint Analysis for WhatsAppSopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia 0001, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac. 21-26 [doi]
• Exploring Hybrid Work Realities: A Case Study with Software Professionals from Underrepresented GroupsRonnie de Souza Santos, Cleyton V. C. de Magalhães, Robson Santos, Jorge Correia-Neto. 27-37 [doi]
• MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language ModelsZhaoyang Yu, Minghua Ma, Chaoyun Zhang, Si-qin, Yu Kang 0006, Chetan Bansal, Saravan Rajmohan, Yingnong Dang, Changhua Pei, Dan Pei, Qingwei Lin, Dongmei Zhang 0001. 38-49 [doi]
• Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal GraphZhenhe Yao, Changhua Pei, Wenxiao Chen, Hanzhang Wang, Liangfei Su, Huai Jiang, Zhe Xie, Xiaohui Nie, Dan Pei. 50-61 [doi]
• How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux KernelKangzheng Gu, Yuan Zhang 0009, Jiajun Cao, Xin Tan, Min Yang 0002. 62-73 [doi]
• AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AIMert Toslali, Edward C. Snible, Jing Chen, Alan Cha, Sandeep Singh, Michael H. Kalantar, Srinivasan Parthasarathy 0001. 74-79 [doi]
• A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum ComputersAsmar Muqeet, Shaukat Ali 0001, Tao Yue 0002, Paolo Arcaini. 80-91 [doi]
• Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case StudySzymon Stradowski, Lech Madeyski. 92-103 [doi]
• Neat: Mobile App Layout Similarity Comparison Based on Graph Convolutional NetworksZhu Tao, Yongqiang Gao, Jiayi Qi, Chao Peng, Qinyun Wu, Xiang Chen, Ping Yang. 104-114 [doi]
• Fault Diagnosis for Test Alarms in Microservices through Multi-source DataShenglin Zhang, Jun Zhu, Bowen Hao, Yongqian Sun, Xiaohui Nie, Jingwen Zhu, Xilin Liu, Xiaoqian Li, Yuchi Ma, Dan Pei. 115-125 [doi]
• Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating SystemsShenglin Zhang, Yongxin Zhao, Xiao-Xiong, Yongqian Sun, Xiaohui Nie, Jiacheng Zhang, Fenglai Wang, Xian Zheng, Yuzhi Zhang, Dan Pei. 126-137 [doi]
• Unveil the Mystery of Critical Software VulnerabilitiesShengyi Pan, Lingfeng Bao, Jiayuan Zhou, Xing Hu 0008, Xin Xia 0001, Shanping Li. 138-149 [doi]
• Multi-line AI-Assisted Code AuthoringOmer Dunay, Daniel Cheng, Adam Tait, Parth Thakkar, Peter C. Rigby, Andy Chiu, Imad Ahmad, Arun Ganesan, Chandra Shekhar Maddila, Vijayaraghavan Murali, Ali Tayyebi, Nachiappan Nagappan. 150-160 [doi]
• Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive IndustryLennart Holsten, Jacob Krüger, Thomas Leich. 161-172 [doi]
• Observation-Based Unit Test Generation at MetaNadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang. 173-184 [doi]
• Automated Unit Test Improvement using Large Language Models at MetaNadia Alshahwan, Jubin Chheda, Anastasia Finogenova, Beliz Gokkaya, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang. 185-196 [doi]
• Evolutionary Generative Fuzzing for Differential Testing of the Kotlin CompilerCalin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella. 197-207 [doi]
• Exploring LLM-Based Agents for Root Cause AnalysisDevjeet Roy, Xuchao Zhang, Rashi Bhave, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan. 208-219 [doi]
• Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing ApproachShengnan Wu, Yongxiang Hu, Yingchuan Wang, Jiazhen Gu, Jin Meng, Liujie Fan, Zhongshi Luan, Xin Wang 0002, Yangfan Zhou. 220-231 [doi]
• An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving SystemsQunying Song, Emelie Engström, Per Runeson. 232-243 [doi]
• Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free SchedulingJie Liang 0006, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Jianzhong Liu, Yu Jiang 0001. 244-254 [doi]
• Checking Complex Source Code-Level Constraints using Runtime VerificationJoshua Heneage Dawes, Domenico Bianculli. 255-265 [doi]
• Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4Xuchao Zhang, Supriyo Ghosh, Chetan Bansal, Rujia Wang, Minghua Ma, Yu Kang 0006, Saravan Rajmohan. 266-277 [doi]
• Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator ToolLennon Chaves, Flávia Oliveira, Leonardo Tiago. 278-282 [doi]
• An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and DirectionsChao Liu, Xindong Zhang, Hongyu Zhang 0002, Zhiyuan Wan, Zhan Huang, Meng Yan 0001. 283-293 [doi]
• Rethinking Software Engineering in the Era of Foundation Models: A Curated Catalogue of Challenges in the Development of Trustworthy FMwareAhmed E. Hassan, Dayi Lin, Gopi Krishnan Rajbahadur, Keheliya Gallaba, Filipe Roseiro Côgo, Boyuan Chen 0002, Haoxiang Zhang 0001, Kishanthan Thangarajah, Gustavo Ansaldi Oliva, Jiahuei (Justina) Lin, Wali Mohammad Abdullah, Zhen Ming (Jack) Jiang. 294-305 [doi]
• Easy over Hard: A Simple Baseline for Test Failures Causes PredictionZhipeng Gao, Zhipeng Xue, Xing Hu 0008, Weiyi Shang, Xin Xia 0001. 306-317 [doi]
• Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-PracticePhilipp Zellmer, Jacob Krüger, Thomas Leich. 318-328 [doi]
• CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution CommunityJing Luo, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Xiaohai Shi, Rongkai Liu, Chao Hu, Yu Jiang. 329-339 [doi]
• An LGPD Compliance Inspection Checklist to Assess IoT SolutionsIvonildo Pereira Gomes Neto, João Mendes, Waldemar Ferreira, Luis Rivero 0001, Davi Viana, Sérgio Soares. 340-350 [doi]
• How We Built Cedar: A Verification-Guided ApproachCraig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks 0001, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells. 351-357 [doi]
• Leveraging Large Language Models for the Auto-remediation of Microservice Applications: An Experimental StudyKomal Sarda, Zakeya Namrud, Marin Litoiu, Larisa Shwartz, Ian Watts. 358-369 [doi]
• Practitioners' Challenges and Perceptions of CI Build Failure Predictions at AtlassianYang Hong, Chakkrit Tantithamthavorn, Jirat Pasuksmit, Patanamon Thongtanunam, Arik Friedman, Xing Zhao, Anton Krasikov. 370-381 [doi]
• Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly ValidationDong Jae Kim, Steven Locke, Tse-Hsun (Peter) Chen, Andrei Toma, Sarah Sajedi, Steve Sporea, Laura Weinkam. 382-387 [doi]
• LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud IncidentsDylan Zhang, Xuchao Zhang, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan. 388-398 [doi]
• Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial ContextXinyi Wang 0004, Shaukat Ali 0001, Aitor Arrieta, Paolo Arcaini, Maite Arratibel. 399-410 [doi]
• Supporting Early Architectural Decision-Making through Tradeoff Analysis: A Study with Volvo CarsKarl Öqvist, Jacob Messinger, Rebekka Wohlrab. 411-416 [doi]
• X-Lifecycle Learning for Cloud Incident Management using LLMsDrishti Goel, Fiza Husain, Aditya Singh, Supriyo Ghosh, Anjaly Parayil, Chetan Bansal, Xuchao Zhang, Saravan Rajmohan. 417-428 [doi]
• S.C.A.L.E: A CO2-Aware Scheduler for OpenShift at INGJurriaan Den Toonder, Paul Braakman, Thomas Durieux. 429-439 [doi]
• Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media AppsJingling Sun, Ting Su 0001, Jun Sun 0001, Jianwen Li, Mengfei Wang, Geguang Pu. 440-451 [doi]
• The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic BenchmarkingJustyna Petke, Matias Martinez, Maria Kechagia, Aldeida Aleti, Federica Sarro. 452-456 [doi]
• From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based AdviceNafiz Imtiaz Khan, Vladimir Filkov. 457-461 [doi]
• Reproducibility Debt: Challenges and Future PathwaysZara Hassan, Christoph Treude, Michael Norrish, Graham Williams, Alex Potanin. 462-466 [doi]
• Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal ApproachXi Zheng 0002, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu 0001, Oleg Sokolsky, Insup Lee 0001. 467-471 [doi]
• AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement EngineeringJie JW Wu. 472-476 [doi]
• Personal Data-Less Personalized Software ApplicationsSana Belguith, Inah Omoronyia, Ruzanna Chitchyan. 477-481 [doi]
• The Lion, the Ecologist and the Plankton: A Classification of Species in Multi-bot EcosystemsDimitrios Platis, Linda Erlenhov, Francisco Gomes de Oliveira Neto. 482-486 [doi]
• Verification of Programs with Common FragmentsIvan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel. 487-491 [doi]
• When Fuzzing Meets LLMs: Challenges and OpportunitiesYu Jiang, Jie Liang 0006, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, Quan Zhang. 492-496 [doi]
• Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in NotebooksYiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró. 497-501 [doi]
• Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered ApplicationsQuan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang 0001. 502-506 [doi]
• On Polyglot Program TestingPhilémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher. 507-511 [doi]
• A Vision on Open Science for the Evolution of Software Engineering Research and PracticeEdson OliveiraJr, Fernanda Madeiral, Alcemir Rodrigues Santos, Christina von Flach, Sérgio Soares. 512-516 [doi]
• Execution-Free Program RepairLi Huang 0003, Bertrand Meyer 0001, Ilgiz Mustafin, Manuel Oriol. 517-521 [doi]
• Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic ParsingLeon Bettscheider, Andreas Zeller. 522-526 [doi]
• A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log DataIssam Sedki. 527-531 [doi]
• Monitoring the Execution of 14K Tests: Methods Tend to Have One Path That Is Significantly More ExecutedAndre Hora. 532-536 [doi]
• Test Polarity: Detecting Positive and Negative TestsAndre Hora. 537-541 [doi]
• Predicting Test Results without ExecutionAndre Hora. 542-546 [doi]
• Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning StacksZihan Zhou, Zhongkai Zhao, Bonan Kou, Tianyi Zhang 0001. 547-551 [doi]
• MineCPP: Mining Bug Fix Pairs and Their StructuresSai Krishna Avula, Shouvick Mondal. 552-556 [doi]
• Tests4Py: A Benchmark for System TestingMarius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller. 557-561 [doi]
• Ctest4J: A Practical Configuration Testing Framework for JavaShuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu. 562-566 [doi]
• VinJ: An Automated Tool for Large-Scale Software Vulnerability Data GenerationYu Nong, Haoran Yang, Feng Chen, Haipeng Cai. 567-571 [doi]
• ChatUniTest: A Framework for LLM-Based Test GenerationYinghao Chen, Zehao Hu, Chen Zhi, Junxiao Han, ShuiGuang Deng, Jianwei Yin. 572-576 [doi]
• ASAC: A Benchmark for Algorithm SynthesisZhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong 0001. 577-581 [doi]
• EM-Assist: Safe Automated ExtractMethod Refactoring with LLMsDorin Pomian, Abhiram Bellur, Malinda Dilhara, Zarina Kurbatova, Egor Bogomolov, Andrey Sokolov, Timofey Bryksin, Danny Dig. 582-586 [doi]
• ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain ExpertiseFederico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi. 587-591 [doi]
• CognitIDE: An IDE Plugin for Mapping Physiological Measurements to Source CodeFabian Stolp, Malte Stellmacher, Bert Arnrich. 592-596 [doi]
• AndroLog: Android Instrumentation and Code Coverage AnalysisJordan Samhi, Andreas Zeller. 597-601 [doi]
• Py-holmes: Causal Testing for Deep Neural Networks in PythonWren McQueary, Sadia Afrin Mim, Md. Nishat Raihan, Justin Smith 0001, Brittany Johnson. 602-606 [doi]
• MicroKarta: Visualising Microservice ArchitecturesOscar Manglaras, Alex Farkas, Peter Fule, Christoph Treude, Markus Wagner 0007. 607-611 [doi]
• XGuard: Detecting Inconsistency Behaviors of Crosschain BridgesKe Wang, Yue Li 0037, Che Wang, Jianbo Gao, Zhi Guan, Zhong Chen 0001. 612-616 [doi]
• ModelFoundry: A Tool for DNN Modularization and On-Demand Model Reuse Inspired by the Wisdom of Software EngineeringXiaohan Bi, Ruobing Zhao, Binhang Qi, Hailong Sun 0001, Xiang Gao, Yue Yu, Xiaojun Liang. 617-621 [doi]
• GAISSALabel: A Tool for Energy Labeling of ML ModelsPau Duran, Joel Castaño, Cristina Gómez 0001, Silverio Martínez-Fernández. 622-626 [doi]
• Rapid Taint Assisted Concolic Execution (TACE)Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro. 627-631 [doi]
• Variability-Aware Differencing with DiffDetectivePaul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm. 632-636 [doi]
• CoqPyt: Proof Navigation in Python in the Era of LLMsPedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira 0001, Emily First. 637-641 [doi]
• ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-Based Fault Localization and Program RepairYonghao Wu, Zheng Li, Jie M. Zhang, Yong Liu 0030. 642-646 [doi]
• PathSpotter: Exploring Tested Paths to Discover Missing TestsAndre Hora. 647-651 [doi]
• ExLi: An Inline-Test Generation Tool for JavaYu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric 0001. 652-656 [doi]
• Inferring Natural Preconditions via Program TransformationElizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik. 657-658 [doi]
• Building Software Engineering Capacity through a University Open Source Program OfficeEkaterina A. Holdener, Daniel Shown. 659-660 [doi]
• Go the Extra Mile: Fixing Propagated Error-Handling BugsHaoran Liu, Zhouyang Jia, Huiping Zhou, Haifang Zhou, Shanshan Li 0001. 661-662 [doi]
• Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code?Sagar Bhikan Chavan, Shouvick Mondal. 663-664 [doi]
• Testing AI Systems Leveraging Graph PerturbationZhaorui Yang, Haichao Zhu, Qian Zhang 0020. 665-666 [doi]
• RFNIT: Robotic Framework for Non-invasive TestingDavi Freitas, Breno Miranda, Juliano Iyoda. 667-668 [doi]
• Hybrid Regression Test Selection by Synergizing File and Method Call DependencesLuyao Liu, Guofeng Zhang 0005, Zhenbang Chen, Ji Wang 0001. 669-670 [doi]
• Do Large Language Models Generate Similar Codes from Mutated Prompts? A Case Study of Gemini ProHetvi Patel, Kevin Amit Shah, Shouvick Mondal. 671-672 [doi]
• MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous IntegrationEdson Soares, Matheus Paixão, Allysson Allex Araújo. 673-674 [doi]
• Towards Realistic SATD Identification through Machine Learning Models: Ongoing Research and Preliminary ResultsEliakim Gama, Matheus Paixão, Mariela I. Cortés, Lucas Monteiro. 675-676 [doi]
• Toward Systematizing Hot Fixing for Production SoftwareCarol Hanna. 677-679 [doi]
• Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital CompanionsChihao Yu. 680-682 [doi]
• Detecting Code Comment Inconsistencies using LLM and Program AnalysisYichi Zhang. 683-685 [doi]
• Enhancing Code Representation for Improved Graph Neural Network-Based Fault LocalizationMd Nakhla Rafi. 686-688 [doi]
• Productionizing PILAR as a Logstash PluginAaron Abraham, Yash Dani, Kevin Zhang. 689-691 [doi]
• Studying Privacy Leaks in Android App LogsZhiyuan Chen. 692-694 [doi]
• Evaluating Social Bias in Code Generation ModelsLin Ling. 695-697 [doi]
• Comparing Gemini Pro and GPT-3.5 in Algorithmic ProblemsDebora Souza. 698-700 [doi]
• Towards a Theory for Source Code RejuvenationWalter Mendonça. 701-703 [doi]
• Software Engineering and Gender: A TutorialLetizia Jaccheri, Anh Nguyen Duc 0001. 704-706 [doi]
• Methodology and Guidelines for Evaluating Multi-objective Search-Based Software EngineeringMiqing Li, Tao Chen. 707-709 [doi]
• A Tutorial on Software Engineering for FMwareFilipe Roseiro Côgo, Gopi Krishnan Rajbahadur, Dayi Lin, Ahmed E. Hassan. 710-712 [doi]
• A Developer's Guide to Building and Testing Accessible Mobile AppsJuan Pablo Sandoval Alcocer, Leonel Merino, Alison Fernandez Blanco, William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares Vásquez. 713-715 [doi]