default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd SIGSOFT FSE 2024: Porto de Galinhas, Brazil
- Marcelo d'Amorim:
Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE 2024, Porto de Galinhas, Brazil, July 15-19, 2024. ACM 2024
Keynotes
- Thomas Zimmermann
:
The Incredible Machine: Developer Productivity and the Impact of AI on Productivity (Keynote). 1 - Myra B. Cohen:
It's Organic: Software Testing of Emerging Domains (Keynote). 2-3
Industry Papers
- Kleice Silva, Ann Barcomb, Ronnie de Souza Santos:
Paths to Testing: Why Women Enter and Remain in Software Testing? 4-9 - Xuanwen Ding, Qingshun Wang, Dan Liu, Lihua Xu, Jun Xiao, Bojun Zhang, Xue Li, Liang Dou, Liang He, Tao Xie:
FinHunter: Improved Search-Based Test Generation for Structural Testing of FinTech Systems. 10-20 - Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac:
Automated End-to-End Dynamic Taint Analysis for WhatsApp. 21-26 - Ronnie de Souza Santos, Cleyton V. C. de Magalhães, Robson Santos, Jorge Correia-Neto:
Exploring Hybrid Work Realities: A Case Study with Software Professionals from Underrepresented Groups. 27-37 - Zhaoyang Yu, Minghua Ma, Chaoyun Zhang, Si Qin, Yu Kang, Chetan Bansal, Saravan Rajmohan, Yingnong Dang, Changhua Pei, Dan Pei, Qingwei Lin, Dongmei Zhang:
MonitorAssistant: Simplifying Cloud Service Monitoring via Large Language Models. 38-49 - Zhenhe Yao, Changhua Pei, Wenxiao Chen, Hanzhang Wang, Liangfei Su, Huai Jiang, Zhe Xie, Xiaohui Nie, Dan Pei:
Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph. 50-61 - Kangzheng Gu, Yuan Zhang, Jiajun Cao, Xin Tan, Min Yang:
How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux Kernel. 62-73 - Mert Toslali, Edward C. Snible, Jing Chen, Alan Cha, Sandeep Singh, Michael H. Kalantar, Srinivasan Parthasarathy:
AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI. 74-79 - Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. 80-91 - Szymon Stradowski, Lech Madeyski:
Costs and Benefits of Machine Learning Software Defect Prediction: Industrial Case Study. 92-103 - Zhu Tao, Yongqiang Gao, Jiayi Qi, Chao Peng, Qinyun Wu, Xiang Chen, Ping Yang:
Neat: Mobile App Layout Similarity Comparison Based on Graph Convolutional Networks. 104-114 - Shenglin Zhang, Jun Zhu, Bowen Hao, Yongqian Sun, Xiaohui Nie, Jingwen Zhu, Xilin Liu, Xiaoqian Li, Yuchi Ma, Dan Pei:
Fault Diagnosis for Test Alarms in Microservices through Multi-source Data. 115-125 - Shenglin Zhang, Yongxin Zhao, Xiao Xiong, Yongqian Sun, Xiaohui Nie, Jiacheng Zhang, Fenglai Wang, Xian Zheng, Yuzhi Zhang, Dan Pei:
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems. 126-137 - Shengyi Pan, Lingfeng Bao, Jiayuan Zhou, Xing Hu, Xin Xia, Shanping Li:
Unveil the Mystery of Critical Software Vulnerabilities. 138-149 - Omer 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:
Multi-line AI-Assisted Code Authoring. 150-160 - Lennart Holsten, Jacob Krüger, Thomas Leich:
Insights into Transitioning towards Electrics/Electronics Platform Management in the Automotive Industry. 161-172 - Nadia Alshahwan, Mark Harman, Alexandru Marginean, Rotem Tal, Eddy Wang:
Observation-Based Unit Test Generation at Meta. 173-184 - Nadia Alshahwan, Jubin Chheda, Anastasia Finogenova, Beliz Gokkaya, Mark Harman, Inna Harper, Alexandru Marginean, Shubho Sengupta, Eddy Wang:
Automated Unit Test Improvement using Large Language Models at Meta. 185-196 - Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella:
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. 197-207 - Devjeet Roy, Xuchao Zhang, Rashi Bhave, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan:
Exploring LLM-Based Agents for Root Cause Analysis. 208-219 - Shengnan Wu, Yongxiang Hu, Yingchuan Wang, Jiazhen Gu, Jin Meng, Liujie Fan, Zhongshi Luan, Xin Wang, Yangfan Zhou:
Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach. 220-231 - Qunying Song, Emelie Engström, Per Runeson:
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems. 232-243 - Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Jianzhong Liu, Yu Jiang:
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling. 244-254 - Joshua Heneage Dawes, Domenico Bianculli:
Checking Complex Source Code-Level Constraints using Runtime Verification. 255-265 - Xuchao Zhang, Supriyo Ghosh, Chetan Bansal, Rujia Wang, Minghua Ma, Yu Kang, Saravan Rajmohan:
Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4. 266-277 - Lennon Chaves, Flavia Camila Morais Oliveira, Leonardo Tiago:
Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool. 278-282 - Chao Liu, Xindong Zhang, Hongyu Zhang, Zhiyuan Wan, Zhan Huang, Meng Yan:
An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions. 283-293 - Ahmed E. Hassan, Dayi Lin, Gopi Krishnan Rajbahadur, Keheliya Gallaba, Filipe Roseiro Côgo, Boyuan Chen, Haoxiang Zhang, Kishanthan Thangarajah, Gustavo Ansaldi Oliva, Jiahuei (Justina) Lin, Wali Mohammad Abdullah, Zhen Ming (Jack) Jiang:
Rethinking Software Engineering in the Era of Foundation Models: A Curated Catalogue of Challenges in the Development of Trustworthy FMware. 294-305 - Zhipeng Gao, Zhipeng Xue, Xing Hu, Weiyi Shang, Xin Xia:
Easy over Hard: A Simple Baseline for Test Failures Causes Prediction. 306-317 - Philipp Zellmer, Jacob Krüger, Thomas Leich:
Decision Making for Managing Automotive Platforms: An Interview Survey on the State-of-Practice. 318-328 - Jing Luo, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Xiaohai Shi, Rongkai Liu, Chao Hu, Yu Jiang:
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. 329-339 - Ivonildo Pereira Gomes Neto, João Mendes, Waldemar Ferreira, Luis Rivero, Davi Viana, Sérgio Soares:
An LGPD Compliance Inspection Checklist to Assess IoT Solutions. 340-350 - Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells:
How We Built Cedar: A Verification-Guided Approach. 351-357 - Komal Sarda, Zakeya Namrud, Marin Litoiu, Larisa Shwartz, Ian Watts:
Leveraging Large Language Models for the Auto-remediation of Microservice Applications: An Experimental Study. 358-369 - Yang Hong, Chakkrit Tantithamthavorn, Jirat Pasuksmit, Patanamon Thongtanunam, Arik Friedman, Xing Zhao, Anton Krasikov:
Practitioners' Challenges and Perceptions of CI Build Failure Predictions at Atlassian. 370-381 - Dong Jae Kim, Steven Locke, Tse-Hsun (Peter) Chen, Andrei Toma, Sarah Sajedi, Steve Sporea, Laura Weinkam:
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation. 382-387 - Dylan Zhang, Xuchao Zhang, Chetan Bansal, Pedro Henrique B. Las-Casas, Rodrigo Fonseca, Saravan Rajmohan:
LM-PACE: Confidence Estimation by Large Language Models for Effective Root Causing of Cloud Incidents. 388-398 - Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. 399-410 - Karl Öqvist, Jacob Messinger, Rebekka Wohlrab:
Supporting Early Architectural Decision-Making through Tradeoff Analysis: A Study with Volvo Cars. 411-416 - Drishti Goel, Fiza Husain, Aditya Singh, Supriyo Ghosh, Anjaly Parayil, Chetan Bansal, Xuchao Zhang, Saravan Rajmohan:
X-Lifecycle Learning for Cloud Incident Management using LLMs. 417-428 - Jurriaan Den Toonder, Paul Braakman, Thomas Durieux:
S.C.A.L.E: A CO2-Aware Scheduler for OpenShift at ING. 429-439 - Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu:
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. 440-451
Ideas, Visions, and Reflections
- Justyna Petke, Matias Martinez, Maria Kechagia, Aldeida Aleti, Federica Sarro:
The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking. 452-456 - Nafiz Imtiaz Khan, Vladimir Filkov:
From Models to Practice: Enhancing OSS Project Sustainability with Evidence-Based Advice. 457-461 - Zara Hassan, Christoph Treude, Michael Norrish, Graham J. Williams, Alex Potanin:
Reproducibility Debt: Challenges and Future Pathways. 462-466 - Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. 467-471 - Jie JW Wu:
AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering. 472-476 - Sana Belguith, Inah Omoronyia, Ruzanna Chitchyan:
Personal Data-Less Personalized Software Applications. 477-481 - Dimitrios Platis, Linda Erlenhov, Francisco Gomes de Oliveira Neto:
The Lion, the Ecologist and the Plankton: A Classification of Species in Multi-bot Ecosystems. 482-486 - Ivan Postolski, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Verification of Programs with Common Fragments. 487-491 - Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, Quan Zhang:
When Fuzzing Meets LLMs: Challenges and Opportunities. 492-496 - Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Dániel Varró:
Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks. 497-501 - Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang:
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. 502-506 - Philémon Houdaille, Djamel Eddine Khelladi, Benoît Combemale, Gunter Mussbacher:
On Polyglot Program Testing. 507-511 - Edson OliveiraJr, Fernanda Madeiral, Alcemir Rodrigues Santos, Christina von Flach, Sérgio Soares:
A Vision on Open Science for the Evolution of Software Engineering Research and Practice. 512-516 - Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-Free Program Repair. 517-521 - Leon Bettscheider, Andreas Zeller:
Look Ma, No Input Samples! Mining Input Grammars from Code with Symbolic Parsing. 522-526 - Issam Sedki:
A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data. 527-531 - Andre Hora:
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path That Is Significantly More Executed. 532-536 - Andre Hora:
Test Polarity: Detecting Positive and Negative Tests. 537-541 - Andre Hora:
Predicting Test Results without Execution. 542-546
Demonstrations
- Zihan Zhou, Zhongkai Zhao, Bonan Kou, Tianyi Zhang:
Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks. 547-551 - Sai Krishna Avula, Shouvick Mondal:
MineCPP: Mining Bug Fix Pairs and Their Structures. 552-556 - Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller:
Tests4Py: A Benchmark for System Testing. 557-561 - Shuai Wang, Xinyu Lian, Qingyu Li, Darko Marinov, Tianyin Xu:
Ctest4J: A Practical Configuration Testing Framework for Java. 562-566 - Yu Nong, Haoran Yang, Feng Chen, Haipeng Cai:
VinJ: An Automated Tool for Large-Scale Software Vulnerability Data Generation. 567-571 - Yinghao Chen, Zehao Hu, Chen Zhi, Junxiao Han, Shuiguang Deng, Jianwei Yin:
ChatUniTest: A Framework for LLM-Based Test Generation. 572-576 - Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong:
ASAC: A Benchmark for Algorithm Synthesis. 577-581 - Dorin Pomian, Abhiram Bellur, Malinda Dilhara, Zarina Kurbatova, Egor Bogomolov, Andrey Sokolov, Timofey Bryksin, Danny Dig:
EM-Assist: Safe Automated ExtractMethod Refactoring with LLMs. 582-586 - Federico Formica, Mohammad Mahdi Mahboob, Mehrnoosh Askarpour, Claudio Menghi:
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. 587-591 - Fabian Stolp, Malte Stellmacher, Bert Arnrich:
CognitIDE: An IDE Plugin for Mapping Physiological Measurements to Source Code. 592-596 - Jordan Samhi, Andreas Zeller:
AndroLog: Android Instrumentation and Code Coverage Analysis. 597-601 - Wren McQueary, Sadia Afrin Mim, Md. Nishat Raihan, Justin Smith, Brittany Johnson:
Py-holmes: Causal Testing for Deep Neural Networks in Python. 602-606 - Oscar Manglaras, Alex Farkas, Peter Fule, Christoph Treude, Markus Wagner:
MicroKarta: Visualising Microservice Architectures. 607-611 - Ke Wang, Yue Li, Che Wang, Jianbo Gao, Zhi Guan, Zhong Chen:
XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges. 612-616 - Xiaohan Bi, Ruobing Zhao, Binhang Qi, Hailong Sun, Xiang Gao, Yue Yu, Xiaojun Liang:
ModelFoundry: A Tool for DNN Modularization and On-Demand Model Reuse Inspired by the Wisdom of Software Engineering. 617-621 - Pau Duran, Joel Castaño, Cristina Gómez, Silverio Martínez-Fernández:
GAISSALabel: A Tool for Energy Labeling of ML Models. 622-626 - Ridhi Jain, Norbert Tihanyi, Mthandazo Ndhlovu, Mohamed Amine Ferrag, Lucas C. Cordeiro:
Rapid Taint Assisted Concolic Execution (TACE). 627-631 - Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr, Timo Kehrer, Thomas Thüm:
Variability-Aware Differencing with DiffDetective. 632-636 - Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, Emily First:
CoqPyt: Proof Navigation in Python in the Era of LLMs. 637-641 - Yonghao Wu, Zheng Li, Jie M. Zhang, Yong Liu:
ConDefects: A Complementary Dataset to Address the Data Leakage Concern for LLM-Based Fault Localization and Program Repair. 642-646 - Andre Hora:
PathSpotter: Exploring Tested Paths to Discover Missing Tests. 647-651 - Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric:
ExLi: An Inline-Test Generation Tool for Java. 652-656
Posters
- Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik:
Inferring Natural Preconditions via Program Transformation. 657-658 - Ekaterina A. Holdener, Daniel Shown:
Building Software Engineering Capacity through a University Open Source Program Office. 659-660 - Haoran Liu, Zhouyang Jia, Huiping Zhou, Haifang Zhou, Shanshan Li:
Go the Extra Mile: Fixing Propagated Error-Handling Bugs. 661-662 - Sagar Bhikan Chavan, Shouvick Mondal:
Do Large Language Models Recognize Python Identifier Swaps in Their Generated Code? 663-664 - Zhaorui Yang, Haichao Zhu, Qian Zhang:
Testing AI Systems Leveraging Graph Perturbation. 665-666 - Davi Freitas, Breno Miranda, Juliano Iyoda:
RFNIT: Robotic Framework for Non-invasive Testing. 667-668 - Luyao Liu, Guofeng Zhang, Zhenbang Chen, Ji Wang:
Hybrid Regression Test Selection by Synergizing File and Method Call Dependences. 669-670 - Hetvi Patel, Kevin Amit Shah, Shouvick Mondal:
Do Large Language Models Generate Similar Codes from Mutated Prompts? A Case Study of Gemini Pro. 671-672 - Edson Soares, Matheus Paixão, Allysson Allex Araújo:
MicroSensor: Towards an Extensible Tool for the Static Analysis of Microservices Systems in Continuous Integration. 673-674 - Eliakim Gama, Matheus Paixão, Mariela I. Cortés, Lucas Monteiro:
Towards Realistic SATD Identification through Machine Learning Models: Ongoing Research and Preliminary Results. 675-676
Student Research Competition
- Carol Hanna:
Toward Systematizing Hot Fixing for Production Software. 677-679 - Chihao Yu:
Unlocking the Full Potential of AI Chatbots: A Guide to Maximizing Your Digital Companions. 680-682 - Yichi Zhang:
Detecting Code Comment Inconsistencies using LLM and Program Analysis. 683-685 - Md Nakhla Rafi:
Enhancing Code Representation for Improved Graph Neural Network-Based Fault Localization. 686-688 - Aaron Abraham, Yash Dani, Kevin Zhang:
Productionizing PILAR as a Logstash Plugin. 689-691 - Zhiyuan Chen:
Studying Privacy Leaks in Android App Logs. 692-694 - Lin Ling:
Evaluating Social Bias in Code Generation Models. 695-697 - Debora Souza:
Comparing Gemini Pro and GPT-3.5 in Algorithmic Problems. 698-700 - Walter Lucas Monteiro de Mendonça:
Towards a Theory for Source Code Rejuvenation. 701-703
Tutorials
- Letizia Jaccheri, Anh Nguyen-Duc:
Software Engineering and Gender: A Tutorial. 704-706 - Miqing Li, Tao Chen:
Methodology and Guidelines for Evaluating Multi-objective Search-Based Software Engineering. 707-709 - Filipe Roseiro Côgo, Gopi Krishnan Rajbahadur, Dayi Lin, Ahmed E. Hassan:
A Tutorial on Software Engineering for FMware. 710-712 - Juan Pablo Sandoval Alcocer, Leonel Merino, Alison Fernandez-Blanco, William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez:
A Developer's Guide to Building and Testing Accessible Mobile Apps. 713-715
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-08-06 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
