- Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu:
OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach. ESEC/SIGSOFT FSE 2023: 733-744 - Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, Weixing Ji:
An Automated Approach to Extracting Local Variables. ESEC/SIGSOFT FSE 2023: 313-325 - Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - Arthur Correnson, Dominic Steinhöfel:
Engineering a Formally Verified Automated Bug Finder. ESEC/SIGSOFT FSE 2023: 1165-1176 - Ella Dagan, Anita Sarma, Alison Chang, Sarah D'Angelo, Jill Dicker, Emerson R. Murphy-Hill:
Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google. ESEC/SIGSOFT FSE 2023: 631-643 - Tung Dao, Na Meng, ThanhVu Nguyen:
Triggering Modes in Spectrum-Based Multi-location Fault Localization. ESEC/SIGSOFT FSE 2023: 1774-1785 - Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine:
NaNofuzz: A Usable Tool for Automatic Test Generation. ESEC/SIGSOFT FSE 2023: 1114-1126 - Mouna Dhaouadi:
A Data Set of Extracted Rationale from Linux Kernel Commit Messages. ESEC/SIGSOFT FSE 2023: 2187-2188 - Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel:
HyperDiff: Computing Source Code Diffs at Scale. ESEC/SIGSOFT FSE 2023: 288-299 - Ruomeng Ding, Chaoyun Zhang, Lu Wang, Yong Xu, Minghua Ma, Xiaomin Wu, Meng Zhang, Qingjun Chen, Xin Gao, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang:
TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems. ESEC/SIGSOFT FSE 2023: 1762-1773 - Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero:
LibKit: Detecting Third-Party Libraries in iOS Apps. ESEC/SIGSOFT FSE 2023: 1407-1418 - Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, Geguang Pu:
LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. ESEC/SIGSOFT FSE 2023: 1914-1925 - Xiaohu Du, Ming Wen, Zichao Wei, Shangwen Wang, Hai Jin:
An Extensive Study on Adversarial Attack against Pre-trained Models of Code. ESEC/SIGSOFT FSE 2023: 489-501 - Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, Hai Jin:
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. ESEC/SIGSOFT FSE 2023: 1358-1370 - Xueying Du, Yiling Lou, Mingwei Liu, Xin Peng, Tianyong Yang:
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph. ESEC/SIGSOFT FSE 2023: 1242-1254 - Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. ESEC/SIGSOFT FSE 2023: 438-449 - Ramtin Ehsani, Rezvaneh Rezapour, Preetha Chatterjee:
Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues. ESEC/SIGSOFT FSE 2023: 2092-2096 - Emad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby:
Accelerating Continuous Integration with Parallel Batch Testing. ESEC/SIGSOFT FSE 2023: 55-67 - Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, Yu Huang:
A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. ESEC/SIGSOFT FSE 2023: 3-15 - Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu:
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors. ESEC/SIGSOFT FSE 2023: 42-54 - Kobi Feldman, Martin Kellogg, Oscar Chaparro:
On the Relationship between Code Verifiability and Understandability. ESEC/SIGSOFT FSE 2023: 211-223 - Zixuan Feng:
The State of Survival in OSS: The Impact of Diversity. ESEC/SIGSOFT FSE 2023: 2213-2215 - Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, Chunyang Chen:
Towards Efficient Record and Replay: A Case Study in WeChat. ESEC/SIGSOFT FSE 2023: 1681-1692 - Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun:
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE 2023: 1229-1241 - Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi:
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. ESEC/SIGSOFT FSE 2023: 1949-1960 - Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa, Igor Steinmacher:
Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers? ESEC/SIGSOFT FSE 2023: 16-28 - Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang, Minghua Ma, Chetan Bansal, Suman Nath, Jonathan Mace:
Detection Is Better Than Cure: A Cloud Incidents Perspective. ESEC/SIGSOFT FSE 2023: 1891-1902 - Mohammad Ganji, Saba Alimadadi, Frank Tip:
Code Coverage Criteria for Asynchronous Programs. ESEC/SIGSOFT FSE 2023: 1307-1319 - Haoyu Gao, Christoph Treude, Mansooreh Zahedi:
Evaluating Transfer Learning for Simplifying GitHub READMEs. ESEC/SIGSOFT FSE 2023: 1548-1560 - Xinyu Gao, Zhijie Wang, Yang Feng, Lei Ma, Zhenyu Chen, Baowen Xu:
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. ESEC/SIGSOFT FSE 2023: 871-882