default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ESEC / 31st SIGSOFT FSE 2023: San Francisco, CA, USA
- Satish Chandra, Kelly Blincoe, Paolo Tonella:
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. ACM 2023
Keynotes
- Eran Yahav
:
Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). 1 - Margaret Burnett:
Getting Outside the Bug Boxes (Keynote). 2
Human Aspects I
- 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. 3-15 - 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? 16-28 - Wenxin Xiao, Hao He, Weiwei Xu, Yuxia Zhang, Minghui Zhou:
How Early Participation Determines Long-Term Sustained Activity in GitHub Projects? 29-41 - Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu:
Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors. 42-54
Testing I
- Emad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby:
Accelerating Continuous Integration with Parallel Batch Testing. 55-67 - Longtian Wang, Xiaofei Xie, Xiaoning Du, Meng Tian, Qing Guo, Zheng Yang, Chao Shen:
DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems. 68-80 - Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu:
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. 81-93
Machine Learning I
- Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan:
Design by Contract for Deep Learning APIs. 94-106 - Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung:
Testing Coreference Resolution Systems without Labeled Test Sets. 107-119 - Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser:
Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. 120-132 - Maria-Irina Nicolae, Max Eisele, Andreas Zeller:
Revisiting Neural Program Smoothing for Fuzzing. 133-145
Automated Repair I
- Weishi Wang, Yue Wang, Shafiq Joty, Steven C. H. Hoi:
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair. 146-158 - Akshay Utture, Jens Palsberg:
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. 159-171 - Yuxiang Wei, Chunqiu Steven Xia, Lingming Zhang:
Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair. 172-184 - Sunbeom So, Hakjoo Oh:
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. 185-197 - Huiyan Wang, Shuguan Liu, Lingyu Zhang, Chang Xu:
Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. 198-210
Empirical Studies I
- Kobi Feldman, Martin Kellogg, Oscar Chaparro:
On the Relationship between Code Verifiability and Understandability. 211-223 - Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Uddin Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, Bing Xiang:
Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. 224-236
Testing II
- Huaien Zhang, Yu Pei, Junjie Chen, Shin Hwei Tan:
Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. 237-249 - Kush Jain, Uri Alon, Alex Groce, Claire Le Goues:
Contextual Predictive Mutation Testing. 250-261 - Mohsen Moradi-Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, Hamid Bagheri:
µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. 262-274
Software Evolution I
- Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang, Alberto Bacchelli:
EvaCRC: Evaluating Code Review Comments. 275-287 - Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel:
HyperDiff: Computing Source Code Diffs at Scale. 288-299 - Lantian Li, Yejian Liang, Zhihao Liu, Zhongxing Yu:
Understanding Solidity Event Logging Practices in the Wild. 300-312
Program Analysis I
- Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, Weixing Ji:
An Automated Approach to Extracting Local Variables. 313-325 - Seongmin Lee, Marcel Böhme:
Statistical Reachability Analysis. 326-337 - Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, Chengnian Sun:
PPR: Pairwise Program Reduction. 338-349 - Alan Romano, Weihang Wang:
When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance. 350-362
Code Search and Text to Code
- Yuetian Mao, Chengcheng Wan, Yuze Jiang, Xiaodong Gu:
Self-Supervised Query Reformulation for Code Search. 363-374 - Shangwen Wang, Mingyang Geng, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Li Li, Tegawendé F. Bissyandé, Xiaoguang Mao:
Natural Language to Code: How Far Are We? 375-387 - Akhilesh Deepak Gotmare, Junnan Li, Shafiq Joty, Steven C. H. Hoi:
Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models. 388-400 - Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang:
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. 401-412
Log Analysis and Debugging
- Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li, Yuchi Ma, Pinjia He:
Hue: A User-Adaptive Parser for Hybrid Logs. 413-424 - Siyu Yu, Yifan Wu, Zhijing Li, Pinjia He, Ningjiang Chen, Changjian Liu:
Log Parsing with Generalization Ability under New Log Types. 425-437 - Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. 438-449 - Kaifeng Huang, Bihuan Chen, Susheng Wu, Junming Cao, Lei Ma, Xin Peng:
Demystifying Dependency Bugs in Deep Learning Stack. 450-462
Machine Learning II
- Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Can Machine Learning Pipelines Be Better Configured? 463-475 - Jun Wang, Guanping Xiao, Shuai Zhang, Huashan Lei, Yepang Liu, Yulei Sui:
Compatibility Issues in Deep Learning Systems: Problems and Opportunities. 476-488 - Xiaohu Du, Ming Wen, Zichao Wei, Shangwen Wang, Hai Jin:
An Extensive Study on Adversarial Attack against Pre-trained Models of Code. 489-501 - Giang Nguyen, Sumon Biswas, Hridesh Rajan:
Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. 502-514 - Yuxuan Wan, Wenxuan Wang, Pinjia He, Jiazhen Gu, Haonan Bai, Michael R. Lyu:
BiasAsker: Measuring the Bias in Conversational AI System. 515-527 - Sira Vegas, Sebastian G. Elbaum:
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. 528-540 - Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik:
DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. 541-552
Fault Diagnosis and Root Cause Analysis I
- Guangba Yu, Pengfei Chen, Yufeng Li, Hongyang Chen, Xiaoyun Li, Zibin Zheng:
Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data. 553-565 - Zhiming Chen, Pengfei Chen, Peipei Wang, Guangba Yu, Zilong He, Genting Mai:
DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems. 566-578 - Yali Du, Zhongxing Yu:
Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization. 579-591 - Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su:
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. 592-604 - Liyan Song, Leandro L. Minku, Cong Teng, Xin Yao:
A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction. 605-617
Human Aspects II
- Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, Anu Sivunen:
Flow Experience in Software Engineering. 618-630 - 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. 631-643 - Hsu Myat Win, Haibo Wang, Shin Hwei Tan:
Towards Automated Detection of Unethical Behavior in Open-Source Software Projects. 644-656
Testing III
- Jiawei Liu, Jinjun Peng, Yuyao Wang, Lingming Zhang:
NeuRI: Diversifying DNN Generation via Inductive Rule Inference. 657-669 - Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen, Yuming Zhou:
Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support. 670-681 - Shubham Agarwal, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain, Ashritha Gonuguntla, Shiv Kumar Saini:
Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer. 682-694
Software Evolution II
- Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, Milos Gligoric:
Multilingual Code Co-evolution using Large Language Models. 695-707 - Zhongkai Zhao, Bonan Kou, Mohamed Yilmaz Ibrahim, Muhao Chen, Tianyi Zhang:
Knowledge-Based Version Incompatibility Detection for Deep Learning. 708-719
Program Analysis II
- Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, Mengting Yuan:
Statistical Type Inference for Incomplete Programs. 720-732 - 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. 733-744 - Kunsong Zhao, Zihao Li, Jianfeng Li, He Ye, Xiapu Luo, Ting Chen:
DeepInfer: Deep Type Inference from Smart Contract Bytecode. 745-757 - Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, Tien N. Nguyen:
DeMinify: Neural Variable Name Recovery and Type Inference. 758-770
Clone and Similarity Detection
- Deqing Zou, Siyue Feng, Yueming Wu, Wenqi Suo, Hai Jin:
Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model. 771-783 - Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, Yang Liu:
Gitor: Scalable Code Clone Detection by Building Global Sample Graph. 784-795 - Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, Yang Liu:
Demystifying the Composition and Code Reuse in Solidity Smart Contracts. 796-807 - Tristan Benoit, Jean-Yves Marion, Sébastien Bardin:
Scalable Program Clone Search through Spectral Analysis. 808-820
Performance
- Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz:
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. 821-831 - Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai:
Discovering Parallelisms in Python Programs. 832-844 - Jinfu Chen, Zishuo Ding, Yiming Tang, Mohammed Sayagh, Heng Li, Bram Adams, Weiyi Shang:
IoPV: On Inconsistent Option Performance Variations. 845-857 - Jingzhi Gong, Tao Chen:
Predicting Software Performance with Divide-and-Learn. 858-870
Machine Learning III
- Xinyu Gao, Zhijie Wang, Yang Feng, Lei Ma, Zhenyu Chen, Baowen Xu:
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. 871-882 - Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, Pinjia He:
Automated Testing and Improvement of Named Entity Recognition Systems. 883-894 - Anastasiia Grishina, Max Hort, Leon Moonen:
The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification. 895-907 - Bo Liu, Hui Liu, Guangjie Li, Nan Niu, Zimao Xu, Yifan Wang, Yunni Xia, Yuxia Zhang, Yanjie Jiang:
Deep Learning Based Feature Envy Detection Boosted by Real-World Examples. 908-920
Security I
- Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen:
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. 921-933 - Xiaoke Wang, Tao Hui, Lei Zhao, Yueqiang Cheng:
Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation. 934-946 - Chenyang Ma, Wei Song, Jeff Huang:
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. 947-959 - Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. 960-972
Fault Diagnosis and Root Cause Analysis II
- Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei:
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. 973-985 - Chong Wang, Yiling Lou, Xin Peng, Jianan Liu, Baihan Zou:
Mining Resource-Operation Knowledge to Support Resource Leak Detection. 986-998 - Bo Wang, Ruishi Li, Mingkai Li, Prateek Saxena:
TransMap: Pinpointing Mistakes in Neural Code Translation. 999-1011 - Elvan Kula, Eric Greuter, Arie van Deursen, Georgios Gousios:
Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling. 1012-1023 - Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, Tien N. Nguyen:
Commit-Level, Neural Vulnerability Detection and Assessment. 1024-1036
Fuzzing
- Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi, Junjie Chen, Heming Cui, Yuqun Zhang:
Enhancing Coverage-Guided Fuzzing via Phantom Program. 1037-1049 - Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar:
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. 1050-1061 - Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, Yuqun Zhang:
SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. 1062-1074 - Suhwan Song, Byoungyoung Lee:
Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. 1075-1087 - Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su:
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. 1088-1100 - Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, Miryung Kim:
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. 1101-1113 - Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine:
NaNofuzz: A Usable Tool for Automatic Test Generation. 1114-1126 - Guixin Ye, Tianmin Hu, Zhanyong Tang, Zhenye Fan, Shin Hwei Tan, Bo Zhang, Wenxiang Qian, Zheng Wang:
A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing. 1127-1139
Formal Verification
- David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma:
State Merging with Quantifiers in Symbolic Execution. 1140-1152 - Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. 1153-1164 - Arthur Correnson, Dominic Steinhöfel:
Engineering a Formally Verified Automated Bug Finder. 1165-1176 - Benjamin Mikek, Qirun Zhang:
Speeding up SMT Solving via Compiler Optimization. 1177-1189
Automated Repair II
- Xiaofang Qi, Xiang Qian, Yanhui Li:
Semantic Test Repair for Web Applications. 1190-1202 - Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen, Lingming Zhang:
A Large-Scale Empirical Review of Patch Correctness Checking Approaches. 1203-1215 - Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury:
Program Repair Guided by Datalog-Defined Static Analysis. 1216-1228 - Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun:
Baldur: Whole-Proof Generation and Repair with Large Language Models. 1229-1241 - Xueying Du, Yiling Lou, Mingwei Liu, Xin Peng, Tianyong Yang:
KG4CraSolver: Recommending Crash Solutions via Knowledge Graph. 1242-1254 - Yuxin Zhang, Sen Chen, Lingling Fan, Chunyang Chen, Xiaohong Li:
Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps. 1255-1267
Human Aspects III
- Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, Kim Herzig:
A Case Study of Developer Bots: Motivations, Perceptions, and Challenges. 1268-1280 - Courtney Miller, Christian Kästner, Bogdan Vasilescu:
"We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment. 1281-1293 - Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, Yuetang Deng:
How Practitioners Expect Code Completion? 1294-1306
Testing IV
- Mohammad Ganji, Saba Alimadadi, Frank Tip:
Code Coverage Criteria for Asynchronous Programs. 1307-1319 - Xiaoxue Ren, Xinyuan Ye, Yun Lin, Zhenchang Xing, Shuqing Li, Michael R. Lyu:
API-Knowledge Aware Search-Based Software Testing: Where, What, and How. 1320-1332 - Shinhae Kim, Sungjae Hwang:
EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes. 1333-1344