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 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Abdullah, Wali Mohammad FSE Companion '24: "Rethinking Software Engineering ..."
Abraham, Aaron FSE Companion '24: "Productionizing PILAR as a ..."
Ahmad, Imad FSE Companion '24: "Multi-line AI-Assisted Code ..."
Akhin, Marat FSE Companion '24: "Evolutionary Generative Fuzzing ..."
Aleti, Aldeida FSE Companion '24: "The Patch Overfitting Problem ..."
Ali, Shaukat FSE Companion '24: "Application of Quantum Extreme ..." FSE Companion '24: "A Machine Learning-Based Error ..."
Alshahwan, Nadia FSE Companion '24: "Observation-Based Unit Test ..." FSE Companion '24: "Automated Unit Test Improvement ..."
Araújo, Allysson Allex FSE Companion '24: "MicroSensor: Towards an Extensible ..."
Arcaini, Paolo FSE Companion '24: "Application of Quantum Extreme ..." FSE Companion '24: "A Machine Learning-Based Error ..."
Arnrich, Bert FSE Companion '24: "CognitIDE: An IDE Plugin for ..."
Arratibel, Maite FSE Companion '24: "Application of Quantum Extreme ..."
Arrieta, Aitor FSE Companion '24: "Application of Quantum Extreme ..."
Askarpour, Mehrnoosh FSE Companion '24: "ATheNA-S: A Testing Tool for ..."
Avula, Sai Krishna FSE Companion '24: "MineCPP: Mining Bug Fix Pairs ..."
Bansal, Chetan FSE Companion '24: "Exploring LLM-Based Agents ..." FSE Companion '24: "Automated Root Causing of ..." FSE Companion '24: "LM-PACE: Confidence Estimation ..." FSE Companion '24: "MonitorAssistant: Simplifying ..." FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Bao, Lingfeng FSE Companion '24: "Unveil the Mystery of Critical ..."
Barcomb, Ann FSE Companion '24: "Paths to Testing: Why Women ..."
Belguith, Sana FSE Companion '24: "Personal Data-Less Personalized ..."
Bellur, Abhiram FSE Companion '24: "EM-Assist: Safe Automated ..."
Bettscheider, Leon FSE Companion '24: "Look Ma, No Input Samples! ..."
Bhave, Rashi FSE Companion '24: "Exploring LLM-Based Agents ..."
Bi, Xiaohan FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Bianculli, Domenico FSE Companion '24: "Checking Complex Source Code-Level ..."
Bittner, Paul Maximilian FSE Companion '24: "Variability-Aware Differencing ..."
Bogomolov, Egor FSE Companion '24: "EM-Assist: Safe Automated ..."
Braakman, Paul FSE Companion '24: "S.C.A.L.E: A CO2-Aware Scheduler ..."
Braberman, Víctor FSE Companion '24: "Verification of Programs with ..."
Bryksin, Timofey FSE Companion '24: "EM-Assist: Safe Automated ..."
Cai, Haipeng FSE Companion '24: "VinJ: An Automated Tool for ..."
Cao, Jiajun FSE Companion '24: "How Well Industry-Level Cause ..."
Carrott, Pedro FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Castaño, Joel FSE Companion '24: "GAISSALabel: A Tool for Energy ..."
Cela, Sopot FSE Companion '24: "Automated End-to-End Dynamic ..."
Cha, Alan FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Chavan, Sagar Bhikan FSE Companion '24: "Do Large Language Models Recognize ..."
Chaves, Lennon FSE Companion '24: "Automating Issue Reporting ..."
Chen, Boyuan FSE Companion '24: "Rethinking Software Engineering ..."
Chen, Feng FSE Companion '24: "VinJ: An Automated Tool for ..."
Chen, Jing FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Chen, Tao FSE Companion '24: "Methodology and Guidelines ..."
Chen, Tse-Hsun (Peter) FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Chen, Wenxiao FSE Companion '24: "Chain-of-Event: Interpretable ..."
Chen, Xiang FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Chen, Yinghao FSE Companion '24: "ChatUniTest: A Framework for ..."
Chen, Yuanliang FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Chen, Yuao FSE Companion '24: "CVECenter: Industry Practice ..."
Chen, Zhenbang FSE Companion '24: "Hybrid Regression Test Selection ..."
Chen, Zhiyuan FSE Companion '24: "Studying Privacy Leaks in ..."
Chen, Zhong FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Cheng, Daniel FSE Companion '24: "Multi-line AI-Assisted Code ..."
Chheda, Jubin FSE Companion '24: "Automated Unit Test Improvement ..."
Chitchyan, Ruzanna FSE Companion '24: "Personal Data-Less Personalized ..."
Chiu, Andy FSE Companion '24: "Multi-line AI-Assisted Code ..."
Ciancone, Andrea FSE Companion '24: "Automated End-to-End Dynamic ..."
Cogo, Filipe Roseiro FSE Companion '24: "Rethinking Software Engineering ..." FSE Companion '24: "A Tutorial on Software Engineering ..."
Cohen, Myra B. FSE Companion '24: "It’s Organic: Software Testing ..."
Combemale, Benoit FSE Companion '24: "On Polyglot Program Testing ..."
Cordeiro, Lucas C. FSE Companion '24: "Rapid Taint Assisted Concolic ..."
Correia-Neto, Jorge FSE Companion '24: "Exploring Hybrid Work Realities: ..."
Cortés, Mariela I. FSE Companion '24: "Towards Realistic SATD Identification ..."
Dang, Yingnong FSE Companion '24: "MonitorAssistant: Simplifying ..."
Dani, Yash FSE Companion '24: "Productionizing PILAR as a ..."
Dawes, Joshua Heneage FSE Companion '24: "Checking Complex Source Code-Level ..."
Deng, Shuiguang FSE Companion '24: "ChatUniTest: A Framework for ..."
Den Toonder, Jurriaan FSE Companion '24: "S.C.A.L.E: A CO2-Aware Scheduler ..."
Derakhshanfar, Pouria FSE Companion '24: "Evolutionary Generative Fuzzing ..."
Dig, Danny FSE Companion '24: "EM-Assist: Safe Automated ..."
Dilhara, Malinda FSE Companion '24: "EM-Assist: Safe Automated ..."
Dinella, Elizabeth FSE Companion '24: "Inferring Natural Preconditions ..."
Ding, Xuanwen FSE Companion '24: "FinHunter: Improved Search-Based ..."
Disselkoen, Craig FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Dou, Liang FSE Companion '24: "FinHunter: Improved Search-Based ..."
Duc, Anh Nguyen FSE Companion '24: "Software Engineering and Gender: ..."
Dunay, Omer FSE Companion '24: "Multi-line AI-Assisted Code ..."
Duran, Pau FSE Companion '24: "GAISSALabel: A Tool for Energy ..."
Durieux, Thomas FSE Companion '24: "S.C.A.L.E: A CO2-Aware Scheduler ..."
Eberlein, Martin FSE Companion '24: "Tests4Py: A Benchmark for ..."
Eline, Aaron FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Engström, Emelie FSE Companion '24: "An Empirically Grounded Path ..."
Erlenhov, Linda FSE Companion '24: "The Lion, the Ecologist and ..."
Escobar-Velásquez, Camilo FSE Companion '24: "A Developer’s Guide to Building ..."
Fan, Liujie FSE Companion '24: "Combating Missed Recalls in ..."
Farkas, Alex FSE Companion '24: "MicroKarta: Visualising Microservice ..."
Fernandez-Blanco, Alison FSE Companion '24: "A Developer’s Guide to Building ..."
Ferrag, Mohamed Amine FSE Companion '24: "Rapid Taint Assisted Concolic ..."
Ferreira, João F. FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Ferreira, Waldemar FSE Companion '24: "An LGPD Compliance Inspection ..."
Filkov, Vladimir FSE Companion '24: "From Models to Practice: Enhancing ..."
Finogenova, Anastasia FSE Companion '24: "Automated Unit Test Improvement ..."
First, Emily FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Fonseca, Rodrigo FSE Companion '24: "Exploring LLM-Based Agents ..." FSE Companion '24: "LM-PACE: Confidence Estimation ..."
Formica, Federico FSE Companion '24: "ATheNA-S: A Testing Tool for ..."
Freitas, Davi FSE Companion '24: "RFNIT: Robotic Framework for ..."
Friedman, Arik FSE Companion '24: "Practitioners’ Challenges ..."
Fu, Jingzhou FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Fule, Peter FSE Companion '24: "MicroKarta: Visualising Microservice ..."
Gallaba, Keheliya FSE Companion '24: "Rethinking Software Engineering ..."
Gama, Eliakim FSE Companion '24: "Towards Realistic SATD Identification ..."
Ganesan, Arun FSE Companion '24: "Multi-line AI-Assisted Code ..."
Gao, Jianbo FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Gao, Xiang FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Gao, Yongqiang FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Gao, Zhipeng FSE Companion '24: "Easy over Hard: A Simple Baseline ..."
Garbervetsky, Diego FSE Companion '24: "Verification of Programs with ..."
Georgescu, Călin FSE Companion '24: "Evolutionary Generative Fuzzing ..."
Ghosh, Supriyo FSE Companion '24: "Automated Root Causing of ..." FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Gligoric, Milos FSE Companion '24: "ExLi: An Inline-Test Generation ..."
Go, Gwihwan FSE Companion '24: "Human-Imperceptible Retrieval ..."
Goel, Drishti FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Gokkaya, Beliz FSE Companion '24: "Automated Unit Test Improvement ..."
Gómez, Cristina FSE Companion '24: "GAISSALabel: A Tool for Energy ..."
Grunske, Lars FSE Companion '24: "Tests4Py: A Benchmark for ..."
Gu, Jiazhen FSE Companion '24: "Combating Missed Recalls in ..."
Gu, Kangzheng FSE Companion '24: "How Well Industry-Level Cause ..."
Guan, Zhi FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Gustafsson, Per FSE Companion '24: "Automated End-to-End Dynamic ..."
Hajdu, Ákos FSE Companion '24: "Automated End-to-End Dynamic ..."
Han, Junxiao FSE Companion '24: "ChatUniTest: A Framework for ..."
Hanna, Carol FSE Companion '24: "Toward Systematizing Hot Fixing ..."
Hao, Bowen FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Harman, Mark FSE Companion '24: "Observation-Based Unit Test ..." FSE Companion '24: "Automated Unit Test Improvement ..."
Harper, Inna FSE Companion '24: "Automated Unit Test Improvement ..."
Hassan, Ahmed E. FSE Companion '24: "Rethinking Software Engineering ..." FSE Companion '24: "A Tutorial on Software Engineering ..."
Hassan, Zara FSE Companion '24: "Reproducibility Debt: Challenges ..."
He, Liang FSE Companion '24: "FinHunter: Improved Search-Based ..."
He, Shaobo FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Headley, Kyle FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Hicks, Michael FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Hietala, Kesha FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Holdener, Ekaterina FSE Companion '24: "Building Software Engineering ..."
Holsten, Lennart FSE Companion '24: "Insights into Transitioning ..."
Hong, Yang FSE Companion '24: "Practitioners’ Challenges ..."
Hora, Andre FSE Companion '24: "PathSpotter: Exploring Tested ..." FSE Companion '24: "Monitoring the Execution of ..." FSE Companion '24: "Test Polarity: Detecting Positive ..." FSE Companion '24: "Predicting Test Results without ..."
Houdaille, Philémon FSE Companion '24: "On Polyglot Program Testing ..."
Hu, Chao FSE Companion '24: "CVECenter: Industry Practice ..."
Hu, Xing FSE Companion '24: "Unveil the Mystery of Critical ..." FSE Companion '24: "Easy over Hard: A Simple Baseline ..."
Hu, Yongxiang FSE Companion '24: "Combating Missed Recalls in ..."
Hu, Zehao FSE Companion '24: "ChatUniTest: A Framework for ..."
Huang, Li FSE Companion '24: "Execution-Free Program Repair ..."
Huang, Zhan FSE Companion '24: "An Empirical Study of Code ..."
Huang, Zhechong FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Husain, Fiza FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Iyoda, Juliano FSE Companion '24: "RFNIT: Robotic Framework for ..."
Jaccheri, Letizia FSE Companion '24: "Software Engineering and Gender: ..."
Jain, Ridhi FSE Companion '24: "Rapid Taint Assisted Concolic ..."
Ji, Ruyi FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Jia, Yue FSE Companion '24: "Automated End-to-End Dynamic ..."
Jia, Zhouyang FSE Companion '24: "Go the Extra Mile: Fixing ..."
Jiang, Huai FSE Companion '24: "Chain-of-Event: Interpretable ..."
Jiang, Yu FSE Companion '24: "Dodrio: Parallelizing Taint ..." FSE Companion '24: "CVECenter: Industry Practice ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..." FSE Companion '24: "Human-Imperceptible Retrieval ..."
Jiang, Zhen Ming (Jack) FSE Companion '24: "Rethinking Software Engineering ..."
Johnson, Brittany FSE Companion '24: "Py-holmes: Causal Testing ..."
Kalantar, Michael FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Kang, Yu FSE Companion '24: "Automated Root Causing of ..." FSE Companion '24: "MonitorAssistant: Simplifying ..."
Kapus, Timotej FSE Companion '24: "Automated End-to-End Dynamic ..."
Kastner, John FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Kechagia, Maria FSE Companion '24: "The Patch Overfitting Problem ..."
Kehrer, Timo FSE Companion '24: "Variability-Aware Differencing ..."
Khan, Nafiz Imtiaz FSE Companion '24: "From Models to Practice: Enhancing ..."
Khelladi, Djamel Eddine FSE Companion '24: "On Polyglot Program Testing ..."
Kim, Dong Jae FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Koshtenko, Maksym FSE Companion '24: "Automated End-to-End Dynamic ..."
Kou, Bonan FSE Companion '24: "Decide: Knowledge-Based Version ..."
Krasikov, Anton FSE Companion '24: "Practitioners’ Challenges ..."
Krishnamachari, Bhaskar FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Krüger, Jacob FSE Companion '24: "Insights into Transitioning ..." FSE Companion '24: "Decision Making for Managing ..."
Kurbatova, Zarina FSE Companion '24: "EM-Assist: Safe Automated ..."
Lahiri, Shuvendu K. FSE Companion '24: "Inferring Natural Preconditions ..."
Las-Casas, Pedro FSE Companion '24: "Exploring LLM-Based Agents ..." FSE Companion '24: "LM-PACE: Confidence Estimation ..."
Lee, Insup FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Lee, Yong Jae FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Legunsen, Owolabi FSE Companion '24: "ExLi: An Inline-Test Generation ..."
Leich, Thomas FSE Companion '24: "Insights into Transitioning ..." FSE Companion '24: "Decision Making for Managing ..."
Lerner, Sorin FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Lewis, Will FSE Companion '24: "Automated End-to-End Dynamic ..."
Li, Jianwen FSE Companion '24: "Property-Based Testing for ..."
Li, Miqing FSE Companion '24: "Methodology and Guidelines ..."
Li, Qingyu FSE Companion '24: "Ctest4J: A Practical Configuration ..."
Li, Shanping FSE Companion '24: "Unveil the Mystery of Critical ..."
Li, Shanshan FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..." FSE Companion '24: "Go the Extra Mile: Fixing ..."
Li, Siyuan FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Li, Sizhe FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Li, Xiaoqian FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Li, Xue FSE Companion '24: "FinHunter: Improved Search-Based ..."
Li, Yue FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Li, Zheng FSE Companion '24: "ConDefects: A Complementary ..."
Lian, Xinyu FSE Companion '24: "Ctest4J: A Practical Configuration ..."
Liang, Jie FSE Companion '24: "Dodrio: Parallelizing Taint ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Liang, Xiaojun FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Lin, Dayi FSE Companion '24: "Rethinking Software Engineering ..." FSE Companion '24: "A Tutorial on Software Engineering ..."
Lin, Jiahuei (Justina) FSE Companion '24: "Rethinking Software Engineering ..."
Lin, Qingwei FSE Companion '24: "MonitorAssistant: Simplifying ..."
Linares-Vásquez, Mario FSE Companion '24: "A Developer’s Guide to Building ..."
Ling, Lin FSE Companion '24: "Evaluating Social Bias in ..."
Litoiu, Marin FSE Companion '24: "Leveraging Large Language ..."
Liu, Chao FSE Companion '24: "An Empirical Study of Code ..."
Liu, Dan FSE Companion '24: "FinHunter: Improved Search-Based ..."
Liu, Haoran FSE Companion '24: "Go the Extra Mile: Fixing ..."
Liu, Jianzhong FSE Companion '24: "Dodrio: Parallelizing Taint ..."
Liu, Luyao FSE Companion '24: "Hybrid Regression Test Selection ..."
Liu, Rongkai FSE Companion '24: "CVECenter: Industry Practice ..."
Liu, Xilin FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Liu, Yong FSE Companion '24: "ConDefects: A Complementary ..."
Liu, Yu FSE Companion '24: "ExLi: An Inline-Test Generation ..."
Locke, Steven FSE Companion '24: "Decoding Anomalies! Unraveling ..."
López, José Antonio Hernández FSE Companion '24: "Using Run-Time Information ..."
Luan, Zhongshi FSE Companion '24: "Combating Missed Recalls in ..."
Luo, Jing FSE Companion '24: "CVECenter: Industry Practice ..."
Ma, Fuchen FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Ma, Minghua FSE Companion '24: "Automated Root Causing of ..." FSE Companion '24: "MonitorAssistant: Simplifying ..."
Ma, Yuchi FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Maddila, Chandra FSE Companion '24: "Multi-line AI-Assisted Code ..."
Madeiral, Fernanda FSE Companion '24: "A Vision on Open Science for ..."
Madeyski, Lech FSE Companion '24: "Costs and Benefits of Machine ..."
Magalhaes, Cleyton FSE Companion '24: "Exploring Hybrid Work Realities: ..."
Mahboob, Mohammad Mahdi FSE Companion '24: "ATheNA-S: A Testing Tool for ..."
Mamat, Anwar FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Manglaras, Oscar FSE Companion '24: "MicroKarta: Visualising Microservice ..."
Mao, Ke FSE Companion '24: "Automated End-to-End Dynamic ..."
Marginean, Alexandru FSE Companion '24: "Observation-Based Unit Test ..." FSE Companion '24: "Automated Unit Test Improvement ..."
Marinov, Darko FSE Companion '24: "Ctest4J: A Practical Configuration ..."
Martac, Dragos FSE Companion '24: "Automated End-to-End Dynamic ..."
Martinez, Matias FSE Companion '24: "The Patch Overfitting Problem ..."
Martínez-Fernández, Silverio FSE Companion '24: "GAISSALabel: A Tool for Energy ..."
McCutchen, Matt FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
McQueary, Wren FSE Companion '24: "Py-holmes: Causal Testing ..."
Mendes, João FSE Companion '24: "An LGPD Compliance Inspection ..."
Mendonça, Walter FSE Companion '24: "Towards a Theory for Source ..."
Meng, Jin FSE Companion '24: "Combating Missed Recalls in ..."
Menghi, Claudio FSE Companion '24: "ATheNA-S: A Testing Tool for ..."
Merino, Leonel FSE Companion '24: "A Developer’s Guide to Building ..."
Messinger, Jacob FSE Companion '24: "Supporting Early Architectural ..."
Meyer, Bertrand FSE Companion '24: "Execution-Free Program Repair ..."
Mim, Sadia Afrin FSE Companion '24: "Py-holmes: Causal Testing ..."
Miranda, Breno FSE Companion '24: "RFNIT: Robotic Framework for ..."
Mok, Aloysius K. FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Mondal, Shouvick FSE Companion '24: "MineCPP: Mining Bug Fix Pairs ..." FSE Companion '24: "Do Large Language Models Recognize ..." FSE Companion '24: "Do Large Language Models Generate ..."
Monteiro, Lucas FSE Companion '24: "Towards Realistic SATD Identification ..."
Moosherr, Benjamin FSE Companion '24: "Variability-Aware Differencing ..."