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 ..."
Muqeet, Asmar FSE Companion '24: "A Machine Learning-Based Error ..."
Murali, Vijayaraghavan FSE Companion '24: "Multi-line AI-Assisted Code ..."
Mussbacher, Gunter FSE Companion '24: "On Polyglot Program Testing ..."
Mustafin, Ilgiz FSE Companion '24: "Execution-Free Program Repair ..."
Nagappan, Nachiappan FSE Companion '24: "Multi-line AI-Assisted Code ..."
Naik, Mayur FSE Companion '24: "Inferring Natural Preconditions ..."
Namrud, Zakeya FSE Companion '24: "Leveraging Large Language ..."
Ndhlovu, Mthandazo FSE Companion '24: "Rapid Taint Assisted Concolic ..."
Neto, Francisco Gomes de Oliveira FSE Companion '24: "The Lion, the Ecologist and ..."
Neto, Ivonildo Pereira Gomes FSE Companion '24: "An LGPD Compliance Inspection ..."
Nie, Xiaohui FSE Companion '24: "Fault Diagnosis for Test Alarms ..." FSE Companion '24: "Illuminating the Gray Zone: ..." FSE Companion '24: "Chain-of-Event: Interpretable ..."
Nilsson, Ulf FSE Companion '24: "Using Run-Time Information ..."
Nong, Yu FSE Companion '24: "VinJ: An Automated Tool for ..."
Norrish, Michael FSE Companion '24: "Reproducibility Debt: Challenges ..."
Oliva, Gustavo FSE Companion '24: "Rethinking Software Engineering ..."
Oliveira, Flávia FSE Companion '24: "Automating Issue Reporting ..."
OliveiraJr, Edson FSE Companion '24: "A Vision on Open Science for ..."
Olsthoorn, Mitchell FSE Companion '24: "Evolutionary Generative Fuzzing ..."
Omoronyia, Inah FSE Companion '24: "Personal Data-Less Personalized ..."
Öqvist, Karl FSE Companion '24: "Supporting Early Architectural ..."
Oriol, Manuel FSE Companion '24: "Execution-Free Program Repair ..."
Paixao, Matheus FSE Companion '24: "MicroSensor: Towards an Extensible ..." FSE Companion '24: "Towards Realistic SATD Identification ..."
Pan, Shengyi FSE Companion '24: "Unveil the Mystery of Critical ..."
Panichella, Annibale FSE Companion '24: "Evolutionary Generative Fuzzing ..."
Parayil, Anjaly FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Parthasarathy, Srinivasan FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Pasuksmit, Jirat FSE Companion '24: "Practitioners’ Challenges ..."
Patel, Hetvi FSE Companion '24: "Do Large Language Models Generate ..."
Pei, Changhua FSE Companion '24: "MonitorAssistant: Simplifying ..." FSE Companion '24: "Chain-of-Event: Interpretable ..."
Pei, Dan FSE Companion '24: "Fault Diagnosis for Test Alarms ..." FSE Companion '24: "Illuminating the Gray Zone: ..." FSE Companion '24: "MonitorAssistant: Simplifying ..." FSE Companion '24: "Chain-of-Event: Interpretable ..."
Peng, Chao FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Peng, Xuanyu FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Petke, Justyna FSE Companion '24: "The Patch Overfitting Problem ..."
Piskac, Ruzica FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Platis, Dimitrios FSE Companion '24: "The Lion, the Ecologist and ..."
Pomian, Dorin FSE Companion '24: "EM-Assist: Safe Automated ..."
Postolski, Ivan FSE Companion '24: "Verification of Programs with ..."
Potanin, Alex FSE Companion '24: "Reproducibility Debt: Challenges ..."
Pu, Geguang FSE Companion '24: "Property-Based Testing for ..."
Qi, Binhang FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Qi, Jiayi FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Qin, Si FSE Companion '24: "MonitorAssistant: Simplifying ..."
Rafi, Md Nakhla FSE Companion '24: "Enhancing Code Representation ..."
Raihan, Md Nishat FSE Companion '24: "Py-holmes: Causal Testing ..."
Rajbahadur, Gopi Krishnan FSE Companion '24: "Rethinking Software Engineering ..." FSE Companion '24: "A Tutorial on Software Engineering ..."
Rajmohan, Saravan 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 ..."
Ravelo-Mendez, William FSE Companion '24: "A Developer’s Guide to Building ..."
Rigby, Peter C. FSE Companion '24: "Multi-line AI-Assisted Code ..."
Rivero, Luis FSE Companion '24: "An LGPD Compliance Inspection ..."
Roy, Devjeet FSE Companion '24: "Exploring LLM-Based Agents ..."
Runeson, Per FSE Companion '24: "An Empirically Grounded Path ..."
Rungta, Neha FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Saavedra, Nuno FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Sajedi, Sarah FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Samhi, Jordan FSE Companion '24: "AndroLog: Android Instrumentation ..."
Sandoval Alcocer, Juan Pablo FSE Companion '24: "A Developer’s Guide to Building ..."
Santos, Alcemir Rodrigues FSE Companion '24: "A Vision on Open Science for ..."
Santos, Robson FSE Companion '24: "Exploring Hybrid Work Realities: ..."
Santos, Ronnie de Souza FSE Companion '24: "Exploring Hybrid Work Realities: ..." FSE Companion '24: "Paths to Testing: Why Women ..."
Sarda, Komal FSE Companion '24: "Leveraging Large Language ..."
Sarro, Federica FSE Companion '24: "The Patch Overfitting Problem ..."
Schultheiß, Alexander FSE Companion '24: "Variability-Aware Differencing ..."
Sedki, Issam FSE Companion '24: "A Preliminary Study on the ..."
Sengupta, Shubho FSE Companion '24: "Automated Unit Test Improvement ..."
Serçe, Batuhan FSE Companion '24: "Tests4Py: A Benchmark for ..."
Shah, Bhakti FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Shah, Kevin Amit FSE Companion '24: "Do Large Language Models Generate ..."
Shang, Weiyi FSE Companion '24: "Easy over Hard: A Simple Baseline ..."
Shen, Yuheng FSE Companion '24: "CVECenter: Industry Practice ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Shi, Heyuan FSE Companion '24: "CVECenter: Industry Practice ..." FSE Companion '24: "Human-Imperceptible Retrieval ..."
Shi, Xiaohai FSE Companion '24: "CVECenter: Industry Practice ..."
Shown, Daniel FSE Companion '24: "Building Software Engineering ..."
Shwartz, Larisa FSE Companion '24: "Leveraging Large Language ..."
Silva, Kleice FSE Companion '24: "Paths to Testing: Why Women ..."
Singh, Aditya FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Singh, Sandeep FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Smith, Justin FSE Companion '24: "Py-holmes: Causal Testing ..."
Smytzek, Marius FSE Companion '24: "Tests4Py: A Benchmark for ..."
Snible, Edward FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Soares, Edson FSE Companion '24: "MicroSensor: Towards an Extensible ..."
Soares, Sergio FSE Companion '24: "An LGPD Compliance Inspection ..." FSE Companion '24: "A Vision on Open Science for ..."
Sokolov, Andrey FSE Companion '24: "EM-Assist: Safe Automated ..."
Sokolsky, Oleg FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Song, Qunying FSE Companion '24: "An Empirically Grounded Path ..."
Souza, Débora FSE Companion '24: "Comparing Gemini Pro and GPT-3.5 ..."
Sporea, Steve FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Stellmacher, Malte FSE Companion '24: "CognitIDE: An IDE Plugin for ..."
Stolp, Fabian FSE Companion '24: "CognitIDE: An IDE Plugin for ..."
Stradowski, Szymon FSE Companion '24: "Costs and Benefits of Machine ..."
Su, Liangfei FSE Companion '24: "Chain-of-Event: Interpretable ..."
Su, Ting FSE Companion '24: "Property-Based Testing for ..."
Sun, Hailong FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Sun, Jingling FSE Companion '24: "Property-Based Testing for ..."
Sun, Jun FSE Companion '24: "Property-Based Testing for ..."
Sun, Yican FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Sun, Yongqian FSE Companion '24: "Fault Diagnosis for Test Alarms ..." FSE Companion '24: "Illuminating the Gray Zone: ..."
Tait, Adam FSE Companion '24: "Multi-line AI-Assisted Code ..."
Tal, Rotem FSE Companion '24: "Observation-Based Unit Test ..."
Tan, Xin FSE Companion '24: "How Well Industry-Level Cause ..."
Tantithamthavorn, Chakkrit FSE Companion '24: "Practitioners’ Challenges ..."
Tao, Zhu FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Tayyebi, Ali FSE Companion '24: "Multi-line AI-Assisted Code ..."
Thakkar, Parth FSE Companion '24: "Multi-line AI-Assisted Code ..."
Thangarajah, Kishanthan FSE Companion '24: "Rethinking Software Engineering ..."
Thimmaiah, Aditya FSE Companion '24: "ExLi: An Inline-Test Generation ..."
Thompson, Kyle FSE Companion '24: "CoqPyt: Proof Navigation in ..."
Thongtanunam, Patanamon FSE Companion '24: "Practitioners’ Challenges ..."
Thüm, Thomas FSE Companion '24: "Variability-Aware Differencing ..."
Tiago, Leonardo FSE Companion '24: "Automating Issue Reporting ..."
Tihanyi, Norbert FSE Companion '24: "Rapid Taint Assisted Concolic ..."
Toma, Andrei FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Torlak, Emina FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Toslali, Mert FSE Companion '24: "AgraBOT: Accelerating Third-Party ..."
Treude, Christoph FSE Companion '24: "MicroKarta: Visualising Microservice ..." FSE Companion '24: "Reproducibility Debt: Challenges ..."
Uchitel, Sebastian FSE Companion '24: "Verification of Programs with ..."
Varró, Dániel FSE Companion '24: "Using Run-Time Information ..."
Viana, Davi FSE Companion '24: "An LGPD Compliance Inspection ..."
Von Flach, Christina FSE Companion '24: "A Vision on Open Science for ..."
Wagner, Markus FSE Companion '24: "MicroKarta: Visualising Microservice ..."
Wan, Zhiyuan FSE Companion '24: "An Empirical Study of Code ..."
Wang, Che FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Wang, Eddy FSE Companion '24: "Observation-Based Unit Test ..." FSE Companion '24: "Automated Unit Test Improvement ..."
Wang, Fenglai FSE Companion '24: "Illuminating the Gray Zone: ..."
Wang, Hanzhang FSE Companion '24: "Chain-of-Event: Interpretable ..."
Wang, Ji FSE Companion '24: "Hybrid Regression Test Selection ..."
Wang, Ke FSE Companion '24: "XGuard: Detecting Inconsistency ..."
Wang, Mengfei FSE Companion '24: "Property-Based Testing for ..."
Wang, Mingzhe FSE Companion '24: "Dodrio: Parallelizing Taint ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Wang, Qingshun FSE Companion '24: "FinHunter: Improved Search-Based ..."
Wang, Rujia FSE Companion '24: "Automated Root Causing of ..."
Wang, Runzhe FSE Companion '24: "CVECenter: Industry Practice ..."
Wang, Shuai FSE Companion '24: "Ctest4J: A Practical Configuration ..."
Wang, Xin FSE Companion '24: "Combating Missed Recalls in ..."
Wang, Xinyi FSE Companion '24: "Application of Quantum Extreme ..."
Wang, Yingchuan FSE Companion '24: "Combating Missed Recalls in ..."
Wang, Yiran FSE Companion '24: "Using Run-Time Information ..."
Watts, Ian FSE Companion '24: "Leveraging Large Language ..."
Weinkam, Laura FSE Companion '24: "Decoding Anomalies! Unraveling ..."
Wells, Andrew FSE Companion '24: "How We Built Cedar: A Verification-Guided ..."
Williams, Graham FSE Companion '24: "Reproducibility Debt: Challenges ..."
Wohlrab, Rebekka FSE Companion '24: "Supporting Early Architectural ..."
Wu, Jie JW FSE Companion '24: "AutoOffAB: Toward Automated ..."
Wu, Qinyun FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Wu, Shengnan FSE Companion '24: "Combating Missed Recalls in ..."
Wu, Yonghao FSE Companion '24: "ConDefects: A Complementary ..."
Wu, Zhiyong FSE Companion '24: "Dodrio: Parallelizing Taint ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..."
Xia, Xin FSE Companion '24: "Unveil the Mystery of Critical ..." FSE Companion '24: "Easy over Hard: A Simple Baseline ..."
Xiao, Jun FSE Companion '24: "FinHunter: Improved Search-Based ..."
Xie, Tao FSE Companion '24: "FinHunter: Improved Search-Based ..."
Xie, Zhe FSE Companion '24: "Chain-of-Event: Interpretable ..."
Xiong, Xiao FSE Companion '24: "Illuminating the Gray Zone: ..."
Xiong, Yingfei FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Xu, Lihua FSE Companion '24: "FinHunter: Improved Search-Based ..."
Xu, Tianyin FSE Companion '24: "Ctest4J: A Practical Configuration ..."
Xue, Zhipeng FSE Companion '24: "Easy over Hard: A Simple Baseline ..."
Yan, Meng FSE Companion '24: "An Empirical Study of Code ..."
Yang, Haoran FSE Companion '24: "VinJ: An Automated Tool for ..."
Yang, Min FSE Companion '24: "How Well Industry-Level Cause ..."
Yang, Ping FSE Companion '24: "Neat: Mobile App Layout Similarity ..."
Yang, Zhaorui FSE Companion '24: "Testing AI Systems Leveraging ..."
Yao, Zhenhe FSE Companion '24: "Chain-of-Event: Interpretable ..."
Yin, Jianwei FSE Companion '24: "ChatUniTest: A Framework for ..."
Yu, Chihao FSE Companion '24: "Unlocking the Full Potential ..."
Yu, Yue FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Yu, Zhaoyang FSE Companion '24: "MonitorAssistant: Simplifying ..."
Yue, Tao FSE Companion '24: "A Machine Learning-Based Error ..."
Zeller, Andreas FSE Companion '24: "Tests4Py: A Benchmark for ..." FSE Companion '24: "AndroLog: Android Instrumentation ..." FSE Companion '24: "Look Ma, No Input Samples! ..."
Zellmer, Philipp FSE Companion '24: "Decision Making for Managing ..."
Zeng, Binqi FSE Companion '24: "Human-Imperceptible Retrieval ..."
Zhang, Bojun FSE Companion '24: "FinHunter: Improved Search-Based ..."
Zhang, Chaoyun FSE Companion '24: "MonitorAssistant: Simplifying ..."
Zhang, Dongmei FSE Companion '24: "MonitorAssistant: Simplifying ..."
Zhang, Dylan FSE Companion '24: "LM-PACE: Confidence Estimation ..."
Zhang, Guofeng FSE Companion '24: "Hybrid Regression Test Selection ..."
Zhang, Haoxiang FSE Companion '24: "Rethinking Software Engineering ..."
Zhang, Hongyu FSE Companion '24: "An Empirical Study of Code ..."
Zhang, Jiacheng FSE Companion '24: "Illuminating the Gray Zone: ..."
Zhang, Jie M. FSE Companion '24: "ConDefects: A Complementary ..."
Zhang, Kevin FSE Companion '24: "Productionizing PILAR as a ..."
Zhang, Qian FSE Companion '24: "Testing AI Systems Leveraging ..."
Zhang, Quan FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..." FSE Companion '24: "Human-Imperceptible Retrieval ..."
Zhang, Shenglin FSE Companion '24: "Fault Diagnosis for Test Alarms ..." FSE Companion '24: "Illuminating the Gray Zone: ..."
Zhang, Tianyi FSE Companion '24: "Decide: Knowledge-Based Version ..."
Zhang, Xindong FSE Companion '24: "An Empirical Study of Code ..."
Zhang, Xuchao FSE Companion '24: "Exploring LLM-Based Agents ..." FSE Companion '24: "Automated Root Causing of ..." FSE Companion '24: "LM-PACE: Confidence Estimation ..." FSE Companion '24: "X-Lifecycle Learning for Cloud ..."
Zhang, Yichi FSE Companion '24: "Detecting Code Comment Inconsistencies ..."
Zhang, Yongchao FSE Companion '24: "CVECenter: Industry Practice ..."
Zhang, Yuan FSE Companion '24: "How Well Industry-Level Cause ..."
Zhang, Yuzhi FSE Companion '24: "Illuminating the Gray Zone: ..."
Zhang, Zhao FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Zhao, Ruobing FSE Companion '24: "ModelFoundry: A Tool for DNN ..."
Zhao, Xing FSE Companion '24: "Practitioners’ Challenges ..."
Zhao, Yongxin FSE Companion '24: "Illuminating the Gray Zone: ..."
Zhao, Zhongkai FSE Companion '24: "Decide: Knowledge-Based Version ..."
Zheng, Xi FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Zheng, Xian FSE Companion '24: "Illuminating the Gray Zone: ..."
Zhi, Chen FSE Companion '24: "ChatUniTest: A Framework for ..."
Zhou, Chijin FSE Companion '24: "Dodrio: Parallelizing Taint ..." FSE Companion '24: "When Fuzzing Meets LLMs: Challenges ..." FSE Companion '24: "Human-Imperceptible Retrieval ..."
Zhou, Haifang FSE Companion '24: "Go the Extra Mile: Fixing ..."
Zhou, Huiping FSE Companion '24: "Go the Extra Mile: Fixing ..."
Zhou, Jiayuan FSE Companion '24: "Unveil the Mystery of Critical ..."
Zhou, Yangfan FSE Companion '24: "Combating Missed Recalls in ..."
Zhou, Zihan FSE Companion '24: "Decide: Knowledge-Based Version ..."
Zhu, Dakai FSE Companion '24: "Testing Learning-Enabled Cyber-Physical ..."
Zhu, Haichao FSE Companion '24: "Testing AI Systems Leveraging ..."
Zhu, Jingwen FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Zhu, Jun FSE Companion '24: "Fault Diagnosis for Test Alarms ..."
Zhu, Tianran FSE Companion '24: "ASAC: A Benchmark for Algorithm ..."
Zimmermann, Thomas FSE Companion '24: "The Incredible Machine: Developer ..."

509 authors

proc time: 10.01