ESEC/FSE 2023 – Proceedings

Frontmatter

Keynotes

Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote)
Eran Yahav
(Technion, Israel)


@InProceedings{ESEC/FSE23p1, author = {Eran Yahav}, title = {Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3611643.3633451}, year = {2023}, } Publisher's Version

Getting Outside the Bug Boxes (Keynote)
Margaret Burnett
(Oregon State University, USA)


@InProceedings{ESEC/FSE23p2, author = {Margaret Burnett}, title = {Getting Outside the Bug Boxes (Keynote)}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2-1}, doi = {10.1145/3611643.3633452}, year = {2023}, } Publisher's Version

Research Papers

Human Aspects I

A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention
Zihan Fang, Madeline Endres, Thomas Zimmermann, Denae Ford, Westley Weimer, Kevin Leach, and Yu Huang
(Vanderbilt University, USA; University of Michigan, USA; Microsoft Research, USA)


@InProceedings{ESEC/FSE23p3, author = {Zihan Fang and Madeline Endres and Thomas Zimmermann and Denae Ford and Westley Weimer and Kevin Leach and Yu Huang}, title = {A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3611643.3616250}, year = {2023}, } Publisher's Version

Do CONTRIBUTING Files Provide Information about OSS Newcomers’ Onboarding Barriers?
Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa, and Igor Steinmacher
(Virginia Commonwealth University, USA; Lousiana State University, USA; Federal University of Technology Paraná, Brazil; University of Melbourne, Australia; Northern Arizona University, USA)


@InProceedings{ESEC/FSE23p17, author = {Felipe Fronchetti and David C. Shepherd and Igor Wiese and Christoph Treude and Marco Aurélio Gerosa and Igor Steinmacher}, title = {Do CONTRIBUTING Files Provide Information about OSS Newcomers’ Onboarding Barriers?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3611643.3616288}, year = {2023}, } Publisher's Version

How Early Participation Determines Long-Term Sustained Activity in GitHub Projects?
Wenxin Xiao, Hao He, Weiwei Xu, Yuxia Zhang, and Minghui Zhou
(Peking University, China; Beijing Institute of Technology, China)


@InProceedings{ESEC/FSE23p31, author = {Wenxin Xiao and Hao He and Weiwei Xu and Yuxia Zhang and Minghui Zhou}, title = {How Early Participation Determines Long-Term Sustained Activity in GitHub Projects?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3611643.3616349}, year = {2023}, } Publisher's Version

Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors
Hongbo Fang, James Herbsleb, and Bogdan Vasilescu
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE23p45, author = {Hongbo Fang and James Herbsleb and Bogdan Vasilescu}, title = {Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3611643.3616282}, year = {2023}, } Publisher's Version

Testing I

Accelerating Continuous Integration with Parallel Batch Testing
Emad Fallahzadeh, Amir Hossein Bavand, and Peter C. Rigby
(Concordia University, Canada)


@InProceedings{ESEC/FSE23p59, author = {Emad Fallahzadeh and Amir Hossein Bavand and Peter C. Rigby}, title = {Accelerating Continuous Integration with Parallel Batch Testing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {59-58}, doi = {10.1145/3611643.3616255}, year = {2023}, } Publisher's Version

DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems
Longtian Wang, Xiaofei Xie, Xiaoning Du, Meng Tian, Qing Guo, Zheng Yang, and Chao Shen
(Xi’an Jiaotong University, China; Singapore Management University, Singapore; Monash University, Australia; A*STAR, Singapore; Huawei, China)


@InProceedings{ESEC/FSE23p73, author = {Longtian Wang and Xiaofei Xie and Xiaoning Du and Meng Tian and Qing Guo and Zheng Yang and Chao Shen}, title = {DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3611643.3616266}, year = {2023}, } Publisher's Version

CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, and Chunming Hu
(Beihang University, China; Institute of Software at Chinese Academy of Sciences, China; Central South University, China; Xiangjiang Laboratory, China; SeedMath Technology, China; Chongqing University, China)


@InProceedings{ESEC/FSE23p87, author = {Qiyuan Zhao and Chuan Luo and Shaowei Cai and Wei Wu and Jinkun Lin and Hongyu Zhang and Chunming Hu}, title = {CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {87-86}, doi = {10.1145/3611643.3616284}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Machine Learning I

Design by Contract for Deep Learning APIs
Shibbir Ahmed, Sayem Mohammad Imtiaz, Samantha Syeda Khairunnesa, Breno Dantas Cruz, and Hridesh Rajan
(Iowa State University, USA; Bradley University, USA)


@InProceedings{ESEC/FSE23p101, author = {Shibbir Ahmed and Sayem Mohammad Imtiaz and Samantha Syeda Khairunnesa and Breno Dantas Cruz and Hridesh Rajan}, title = {Design by Contract for Deep Learning APIs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {101-100}, doi = {10.1145/3611643.3616247}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Testing Coreference Resolution Systems without Labeled Test Sets
Jialun Cao, Yaojie Lu, Ming Wen, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; Institute of Software at Chinese Academy of Sciences, China; Huazhong University of Science and Technology, China)


@InProceedings{ESEC/FSE23p115, author = {Jialun Cao and Yaojie Lu and Ming Wen and Shing-Chi Cheung}, title = {Testing Coreference Resolution Systems without Labeled Test Sets}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {115-114}, doi = {10.1145/3611643.3616258}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian Elbaum, and Willem Visser
(University of Virginia, USA; Amazon Web Services, USA)


@InProceedings{ESEC/FSE23p129, author = {Soneya Binta Hossain and Antonio Filieri and Matthew B. Dwyer and Sebastian Elbaum and Willem Visser}, title = {Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3611643.3616265}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Revisiting Neural Program Smoothing for Fuzzing
Maria-Irina Nicolae, Max Eisele, and Andreas Zeller
(Bosch, Germany; Saarland University, Germany; CISPA Helmholtz Center for Information Security, Germany)


@InProceedings{ESEC/FSE23p143, author = {Maria-Irina Nicolae and Max Eisele and Andreas Zeller}, title = {Revisiting Neural Program Smoothing for Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {143-142}, doi = {10.1145/3611643.3616308}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automated Repair I

RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair
Weishi Wang, Yue Wang, Shafiq Joty, and Steven C.H. Hoi
(Nanyang Technological University, Singapore; Salesforce AI Research, Singapore; Salesforce AI Research, USA)


@InProceedings{ESEC/FSE23p157, author = {Weishi Wang and Yue Wang and Shafiq Joty and Steven C.H. Hoi}, title = {RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {157-156}, doi = {10.1145/3611643.3616256}, year = {2023}, } Publisher's Version

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
Akshay Utture and Jens Palsberg
(University of California at Los Angeles, USA)


@InProceedings{ESEC/FSE23p171, author = {Akshay Utture and Jens Palsberg}, title = {From Leaks to Fixes: Automated Repairs for Resource Leak Warnings}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3611643.3616267}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair
Yuxiang Wei, Chunqiu Steven Xia, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ESEC/FSE23p185, author = {Yuxiang Wei and Chunqiu Steven Xia and Lingming Zhang}, title = {Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {185-184}, doi = {10.1145/3611643.3616271}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
Sunbeom So and Hakjoo Oh
(Korea University, South Korea)


@InProceedings{ESEC/FSE23p199, author = {Sunbeom So and Hakjoo Oh}, title = {SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {199-198}, doi = {10.1145/3611643.3616341}, year = {2023}, } Publisher's Version Published Artifact Archive submitted (500 kB) Artifacts Available Artifacts Reusable

Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints
Huiyan Wang, Shuguan Liu, Lingyu Zhang, and Chang Xu
(Nanjing University, China)


@InProceedings{ESEC/FSE23p213, author = {Huiyan Wang and Shuguan Liu and Lingyu Zhang and Chang Xu}, title = {Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3611643.3616264}, year = {2023}, } Publisher's Version

Empirical Studies I

On the Relationship between Code Verifiability and Understandability
Kobi Feldman, Martin Kellogg, and Oscar Chaparro
(College of William and Mary, USA; New Jersey Institute of Technology, USA)


@InProceedings{ESEC/FSE23p227, author = {Kobi Feldman and Martin Kellogg and Oscar Chaparro}, title = {On the Relationship between Code Verifiability and Understandability}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {227-226}, doi = {10.1145/3611643.3616242}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study
Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang, Wasi Ahmad, Baishakhi Ray, Haifeng Qian, Xiaopeng Li, Varun Kumar, Zijian Wang, Yuchen Tian, Qing Sun, Ben Athiwaratkun, Mingyue Shang, Murali Krishna Ramanathan, Parminder Bhatia, and Bing Xiang
(AWS AI Labs, USA)


@InProceedings{ESEC/FSE23p241, author = {Xiaokai Wei and Sujan Kumar Gonugondla and Shiqi Wang and Wasi Ahmad and Baishakhi Ray and Haifeng Qian and Xiaopeng Li and Varun Kumar and Zijian Wang and Yuchen Tian and Qing Sun and Ben Athiwaratkun and Mingyue Shang and Murali Krishna Ramanathan and Parminder Bhatia and Bing Xiang}, title = {Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3611643.3616302}, year = {2023}, } Publisher's Version

Testing II

Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
Huaien Zhang, Yu Pei, Junjie Chen, and Shin Hwei Tan
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Tianjin University, China; Concordia University, Canada)


@InProceedings{ESEC/FSE23p255, author = {Huaien Zhang and Yu Pei and Junjie Chen and Shin Hwei Tan}, title = {Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {255-254}, doi = {10.1145/3611643.3616272}, year = {2023}, } Publisher's Version

Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, Alex Groce, and Claire Le Goues
(Carnegie Mellon University, USA; Northern Arizona University, USA)


@InProceedings{ESEC/FSE23p269, author = {Kush Jain and Uri Alon and Alex Groce and Claire Le Goues}, title = {Contextual Predictive Mutation Testing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {269-268}, doi = {10.1145/3611643.3616289}, year = {2023}, } Publisher's Version

𝜇Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs
Mohsen Moradi Moghadam, Mehdi Bagherzadeh, Raffi Khatchadourian, and Hamid Bagheri
(Oakland University, USA; City University of New York, USA; University of Nebraska-Lincoln, USA)


@InProceedings{ESEC/FSE23p283, author = {Mohsen Moradi Moghadam and Mehdi Bagherzadeh and Raffi Khatchadourian and Hamid Bagheri}, title = {𝜇Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {283-282}, doi = {10.1145/3611643.3616362}, year = {2023}, } Publisher's Version

Software Evolution I

EvaCRC: Evaluating Code Review Comments
Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang, and Alberto Bacchelli
(Nanjing University, China; University of Zurich, Switzerland)


@InProceedings{ESEC/FSE23p297, author = {Lanxin Yang and Jinwei Xu and Yifan Zhang and He Zhang and Alberto Bacchelli}, title = {EvaCRC: Evaluating Code Review Comments}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {297-296}, doi = {10.1145/3611643.3616245}, year = {2023}, } Publisher's Version

HyperDiff: Computing Source Code Diffs at Scale
Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, and Jean-Marc Jézéquel
(University of Rennes, France; CNRS - University of Rennes, France; INSA Rennes, France)


@InProceedings{ESEC/FSE23p311, author = {Quentin Le Dilavrec and Djamel Eddine Khelladi and Arnaud Blouin and Jean-Marc Jézéquel}, title = {HyperDiff: Computing Source Code Diffs at Scale}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {311-310}, doi = {10.1145/3611643.3616312}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Understanding Solidity Event Logging Practices in the Wild
Lantian Li, Yejian Liang, Zhihao Liu, and Zhongxing Yu
(Shandong University, China)


@InProceedings{ESEC/FSE23p325, author = {Lantian Li and Yejian Liang and Zhihao Liu and Zhongxing Yu}, title = {Understanding Solidity Event Logging Practices in the Wild}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {325-324}, doi = {10.1145/3611643.3616342}, year = {2023}, } Publisher's Version

Program Analysis I

An Automated Approach to Extracting Local Variables
Xiaye Chi, Hui Liu, Guangjie Li, Weixiao Wang, Yunni Xia, Yanjie Jiang, Yuxia Zhang, and Weixing Ji
(Beijing Institute of Technology, China; National Innovation Institute of Defense Technology, China; Chongqing University, China)


@InProceedings{ESEC/FSE23p339, author = {Xiaye Chi and Hui Liu and Guangjie Li and Weixiao Wang and Yunni Xia and Yanjie Jiang and Yuxia Zhang and Weixing Ji}, title = {An Automated Approach to Extracting Local Variables}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {339-338}, doi = {10.1145/3611643.3616261}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Statistical Reachability Analysis
Seongmin Lee and Marcel Böhme
(MPI-SP, Germany)


@InProceedings{ESEC/FSE23p353, author = {Seongmin Lee and Marcel Böhme}, title = {Statistical Reachability Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {353-352}, doi = {10.1145/3611643.3616268}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

PPR: Pairwise Program Reduction
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, and Chengnian Sun
(University of Waterloo, Canada; Tsinghua University, China)


@InProceedings{ESEC/FSE23p367, author = {Mengxiao Zhang and Zhenyang Xu and Yongqiang Tian and Yu Jiang and Chengnian Sun}, title = {PPR: Pairwise Program Reduction}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {367-366}, doi = {10.1145/3611643.3616275}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance
Alan Romano and Weihang Wang
(University of Southern California, USA)


@InProceedings{ESEC/FSE23p381, author = {Alan Romano and Weihang Wang}, title = {When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3611643.3616311}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Code Search and Text to Code

Self-Supervised Query Reformulation for Code Search
Yuetian Mao, Chengcheng Wan, Yuze Jiang, and Xiaodong Gu
(Shanghai Jiao Tong University, China; East China Normal University, China)


@InProceedings{ESEC/FSE23p395, author = {Yuetian Mao and Chengcheng Wan and Yuze Jiang and Xiaodong Gu}, title = {Self-Supervised Query Reformulation for Code Search}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {395-394}, doi = {10.1145/3611643.3616306}, year = {2023}, } Publisher's Version

Natural Language to Code: How Far Are We?
Shangwen Wang, Mingyang Geng, Bo Lin, Zhensu Sun, Ming Wen, Yepang Liu, Li Li, Tegawendé F. Bissyandé, and Xiaoguang Mao
(National University of Defense Technology, China; Singapore Management University, Singapore; Huazhong University of Science and Technology, China; Southern University of Science and Technology, China; Beihang University, China; University of Luxembourg, Luxembourg)


@InProceedings{ESEC/FSE23p409, author = {Shangwen Wang and Mingyang Geng and Bo Lin and Zhensu Sun and Ming Wen and Yepang Liu and Li Li and Tegawendé F. Bissyandé and Xiaoguang Mao}, title = {Natural Language to Code: How Far Are We?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {409-408}, doi = {10.1145/3611643.3616323}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models
Akhilesh Deepak Gotmare, Junnan Li, Shafiq Joty, and Steven C.H. Hoi
(Salesforce AI Research, Singapore; Salesforce AI Research, USA)


@InProceedings{ESEC/FSE23p423, author = {Akhilesh Deepak Gotmare and Junnan Li and Shafiq Joty and Steven C.H. Hoi}, title = {Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {423-422}, doi = {10.1145/3611643.3616369}, year = {2023}, } Publisher's Version

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model
Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA)


@InProceedings{ESEC/FSE23p437, author = {Xiangzhe Xu and Zhou Xuan and Shiwei Feng and Siyuan Cheng and Yapeng Ye and Qingkai Shi and Guanhong Tao and Le Yu and Zhuo Zhang and Xiangyu Zhang}, title = {PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {437-436}, doi = {10.1145/3611643.3616301}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Log Analysis and Debugging

Hue: A User-Adaptive Parser for Hybrid Logs
Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li, Yuchi Ma, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China; Huawei Cloud Computing Technologies, China)


@InProceedings{ESEC/FSE23p451, author = {Junjielong Xu and Qiuai Fu and Zhouruixing Zhu and Yutong Cheng and Zhijing Li and Yuchi Ma and Pinjia He}, title = {Hue: A User-Adaptive Parser for Hybrid Logs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {451-450}, doi = {10.1145/3611643.3616260}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Log Parsing with Generalization Ability under New Log Types
Siyu Yu, Yifan Wu, Zhijing Li, Pinjia He, Ningjiang Chen, and Changjian Liu
(Guangxi University, China; Peking University, China; Chinese University of Hong Kong, China)


@InProceedings{ESEC/FSE23p465, author = {Siyu Yu and Yifan Wu and Zhijing Li and Pinjia He and Ningjiang Chen and Changjian Liu}, title = {Log Parsing with Generalization Ability under New Log Types}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3611643.3616355}, year = {2023}, } Publisher's Version

Semantic Debugging
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, and Andreas Zeller
(Humboldt University of Berlin, Germany; CISPA Helmholtz Center for Information Security, Germany)


@InProceedings{ESEC/FSE23p479, author = {Martin Eberlein and Marius Smytzek and Dominic Steinhöfel and Lars Grunske and Andreas Zeller}, title = {Semantic Debugging}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {479-478}, doi = {10.1145/3611643.3616296}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Demystifying Dependency Bugs in Deep Learning Stack
Kaifeng Huang, Bihuan Chen, Susheng Wu, Junming Cao, Lei Ma, and Xin Peng
(Fudan University, China; University of Tokyo, Japan; University of Alberta, Canada)


@InProceedings{ESEC/FSE23p493, author = {Kaifeng Huang and Bihuan Chen and Susheng Wu and Junming Cao and Lei Ma and Xin Peng}, title = {Demystifying Dependency Bugs in Deep Learning Stack}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {493-492}, doi = {10.1145/3611643.3616325}, year = {2023}, } Publisher's Version

Machine Learning II

Can Machine Learning Pipelines Be Better Configured?
Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, and Zhiliang Zhu
(Northeastern University, China; Hong Kong University of Science and Technology, China; National University of Defense Technology, China)


@InProceedings{ESEC/FSE23p507, author = {Yibo Wang and Ying Wang and Tingwei Zhang and Yue Yu and Shing-Chi Cheung and Hai Yu and Zhiliang Zhu}, title = {Can Machine Learning Pipelines Be Better Configured?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {507-506}, doi = {10.1145/3611643.3616352}, year = {2023}, } Publisher's Version

Compatibility Issues in Deep Learning Systems: Problems and Opportunities
Jun Wang, Guanping Xiao, Shuai Zhang, Huashan Lei, Yepang Liu, and Yulei Sui
(Nanjing University of Aeronautics and Astronautics, China; Southern University of Science and Technology, China; UNSW, Australia)


@InProceedings{ESEC/FSE23p521, author = {Jun Wang and Guanping Xiao and Shuai Zhang and Huashan Lei and Yepang Liu and Yulei Sui}, title = {Compatibility Issues in Deep Learning Systems: Problems and Opportunities}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3611643.3616321}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

An Extensive Study on Adversarial Attack against Pre-trained Models of Code
Xiaohu Du, Ming Wen, Zichao Wei, Shangwen Wang, and Hai Jin
(Huazhong University of Science and Technology, China; National University of Defense Technology, China)


@InProceedings{ESEC/FSE23p535, author = {Xiaohu Du and Ming Wen and Zichao Wei and Shangwen Wang and Hai Jin}, title = {An Extensive Study on Adversarial Attack against Pre-trained Models of Code}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {535-534}, doi = {10.1145/3611643.3616356}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Fix Fairness, Don’t Ruin Accuracy: Performance Aware Fairness Repair using AutoML
Giang Nguyen, Sumon Biswas, and Hridesh Rajan
(Iowa State University, USA; Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE23p549, author = {Giang Nguyen and Sumon Biswas and Hridesh Rajan}, title = {Fix Fairness, Don’t Ruin Accuracy: Performance Aware Fairness Repair using AutoML}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3611643.3616257}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

BiasAsker: Measuring the Bias in Conversational AI System
Yuxuan Wan, Wenxuan Wang, Pinjia He, Jiazhen Gu, Haonan Bai, and Michael R. Lyu
(Chinese University of Hong Kong, China)


@InProceedings{ESEC/FSE23p563, author = {Yuxuan Wan and Wenxuan Wang and Pinjia He and Jiazhen Gu and Haonan Bai and Michael R. Lyu}, title = {BiasAsker: Measuring the Bias in Conversational AI System}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {563-562}, doi = {10.1145/3611643.3616310}, year = {2023}, } Publisher's Version

Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice
Sira Vegas and Sebastian Elbaum
(Universidad Politécnica de Madrid, Spain; University of Virginia, USA)


@InProceedings{ESEC/FSE23p577, author = {Sira Vegas and Sebastian Elbaum}, title = {Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {577-576}, doi = {10.1145/3611643.3616320}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse
Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, and Marsha Chechik
(University of Toronto, Canada; Waabi, Canada)


@InProceedings{ESEC/FSE23p591, author = {Boyue Caroline Hu and Lina Marsso and Nikita Dvornik and Huakun Shen and Marsha Chechik}, title = {DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {591-590}, doi = {10.1145/3611643.3616333}, year = {2023}, } Publisher's Version

Fault Diagnosis and Root Cause Analysis I

Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data
Guangba Yu, Pengfei Chen, Yufeng Li, Hongyang Chen, Xiaoyun Li, and Zibin Zheng
(Sun Yat-sen University, China)


@InProceedings{ESEC/FSE23p605, author = {Guangba Yu and Pengfei Chen and Yufeng Li and Hongyang Chen and Xiaoyun Li and Zibin Zheng}, title = {Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {605-604}, doi = {10.1145/3611643.3616249}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems
Zhiming Chen, Pengfei Chen, Peipei Wang, Guangba Yu, Zilong He, and Genting Mai
(Sun Yat-sen University, China; ByteDance Infrastructure System Lab, USA)


@InProceedings{ESEC/FSE23p619, author = {Zhiming Chen and Pengfei Chen and Peipei Wang and Guangba Yu and Zilong He and Genting Mai}, title = {DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {619-618}, doi = {10.1145/3611643.3616300}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization
Yali Du and Zhongxing Yu
(Shandong University, China)


@InProceedings{ESEC/FSE23p633, author = {Yali Du and Zhongxing Yu}, title = {Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {633-632}, doi = {10.1145/3611643.3616338}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)


@InProceedings{ESEC/FSE23p647, author = {Enze Ma and Shan Huang and Weigang He and Ting Su and Jue Wang and Huiyu Liu and Geguang Pu and Zhendong Su}, title = {Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3611643.3616361}, year = {2023}, } Publisher's Version

A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction
Liyan Song, Leandro Lei Minku, Cong Teng, and Xin Yao
(Southern University of Science and Technology, China; University of Birmingham, UK)


@InProceedings{ESEC/FSE23p661, author = {Liyan Song and Leandro Lei Minku and Cong Teng and Xin Yao}, title = {A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3611643.3616307}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Human Aspects II

Flow Experience in Software Engineering
Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, and Anu Sivunen
(University of Jyväskylä, Finland; Tampere University, Finland)


@InProceedings{ESEC/FSE23p675, author = {Saima Ritonummi and Valtteri Siitonen and Markus Salo and Henri Pirkkalainen and Anu Sivunen}, title = {Flow Experience in Software Engineering}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {675-674}, doi = {10.1145/3611643.3616263}, year = {2023}, } Publisher's Version

Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google
Ella Dagan, Anita Sarma, Alison Chang, Sarah D’Angelo, Jill Dicker, and Emerson Murphy-Hill
(Google, USA; Oregon State University, USA)


@InProceedings{ESEC/FSE23p689, author = {Ella Dagan and Anita Sarma and Alison Chang and Sarah D’Angelo and Jill Dicker and Emerson Murphy-Hill}, title = {Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {689-688}, doi = {10.1145/3611643.3616273}, year = {2023}, } Publisher's Version

Towards Automated Detection of Unethical Behavior in Open-Source Software Projects
Hsu Myat Win, Haibo Wang, and Shin Hwei Tan
(Southern University of Science and Technology, China; Concordia University, Canada)


@InProceedings{ESEC/FSE23p703, author = {Hsu Myat Win and Haibo Wang and Shin Hwei Tan}, title = {Towards Automated Detection of Unethical Behavior in Open-Source Software Projects}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {703-702}, doi = {10.1145/3611643.3616314}, year = {2023}, } Publisher's Version

Testing III

NeuRI: Diversifying DNN Generation via Inductive Rule Inference
Jiawei Liu, Jinjun Peng, Yuyao Wang, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Columbia University, USA; Nanjing University, China)


@InProceedings{ESEC/FSE23p717, author = {Jiawei Liu and Jinjun Peng and Yuyao Wang and Lingming Zhang}, title = {NeuRI: Diversifying DNN Generation via Inductive Rule Inference}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3611643.3616337}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support
Yibiao Yang, Maolin Sun, Yang Wang, Qingyang Li, Ming Wen, and Yuming Zhou
(Nanjing University, China; Huazhong University of Science and Technology, China)


@InProceedings{ESEC/FSE23p731, author = {Yibiao Yang and Maolin Sun and Yang Wang and Qingyang Li and Ming Wen and Yuming Zhou}, title = {Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {731-730}, doi = {10.1145/3611643.3616340}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer
Shubham Agarwal, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain, Ashritha Gonuguntla, and Shiv Saini
(Adobe Research, India; University of Illinois at Urbana-Champaign, USA; Adobe, India; Amazon, India; Traceable.ai, India; Cisco, India)


@InProceedings{ESEC/FSE23p745, author = {Shubham Agarwal and Sarthak Chakraborty and Shaddy Garg and Sumit Bisht and Chahat Jain and Ashritha Gonuguntla and Shiv Saini}, title = {Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {745-744}, doi = {10.1145/3611643.3616316}, year = {2023}, } Publisher's Version

Software Evolution II

Multilingual Code Co-evolution using Large Language Models
Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
(University of Texas at Austin, USA)


@InProceedings{ESEC/FSE23p759, author = {Jiyang Zhang and Pengyu Nie and Junyi Jessy Li and Milos Gligoric}, title = {Multilingual Code Co-evolution using Large Language Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {759-758}, doi = {10.1145/3611643.3616350}, year = {2023}, } Publisher's Version

Knowledge-Based Version Incompatibility Detection for Deep Learning
Zhongkai Zhao, Bonan Kou, Mohamed Yilmaz Ibrahim, Muhao Chen, and Tianyi Zhang
(Tongji University, China; Purdue University, USA; University of California at Davis, USA)


@InProceedings{ESEC/FSE23p773, author = {Zhongkai Zhao and Bonan Kou and Mohamed Yilmaz Ibrahim and Muhao Chen and Tianyi Zhang}, title = {Knowledge-Based Version Incompatibility Detection for Deep Learning}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {773-772}, doi = {10.1145/3611643.3616364}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Program Analysis II

Statistical Type Inference for Incomplete Programs
Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li, Jingling Xue, and Mengting Yuan
(Wuhan University, China; UNSW, Australia)


@InProceedings{ESEC/FSE23p787, author = {Yaohui Peng and Jing Xie and Qiongling Yang and Hanwen Guo and Qingan Li and Jingling Xue and Mengting Yuan}, title = {Statistical Type Inference for Incomplete Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {787-786}, doi = {10.1145/3611643.3616283}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach
Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, and Hui Xu
(Fudan University, China; Ant Group, China)


@InProceedings{ESEC/FSE23p801, author = {Chengjun Chen and Zhicong Zhang and Hongliang Tian and Shoumeng Yan and Hui Xu}, title = {OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3611643.3616303}, year = {2023}, } Publisher's Version

DeepInfer: Deep Type Inference from Smart Contract Bytecode
Kunsong Zhao, Zihao Li, Jianfeng Li, He Ye, Xiapu Luo, and Ting Chen
(Hong Kong Polytechnic University, China; Xi’an Jiaotong University, China; KTH Royal Institute of Technology, Sweden; University of Electronic Science and Technology of China, China)


@InProceedings{ESEC/FSE23p815, author = {Kunsong Zhao and Zihao Li and Jianfeng Li and He Ye and Xiapu Luo and Ting Chen}, title = {DeepInfer: Deep Type Inference from Smart Contract Bytecode}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {815-814}, doi = {10.1145/3611643.3616343}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

DeMinify: Neural Variable Name Recovery and Type Inference
Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)


@InProceedings{ESEC/FSE23p829, author = {Yi Li and Aashish Yadavally and Jiaxing Zhang and Shaohua Wang and Tien N. Nguyen}, title = {DeMinify: Neural Variable Name Recovery and Type Inference}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {829-828}, doi = {10.1145/3611643.3616368}, year = {2023}, } Publisher's Version

Clone and Similarity Detection

Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model
Deqing Zou, Siyue Feng, Yueming Wu, Wenqi Suo, and Hai Jin
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE23p843, author = {Deqing Zou and Siyue Feng and Yueming Wu and Wenqi Suo and Hai Jin}, title = {Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {843-842}, doi = {10.1145/3611643.3616354}, year = {2023}, } Publisher's Version

Gitor: Scalable Code Clone Detection by Building Global Sample Graph
Junjie Shan, Shihan Dou, Yueming Wu, Hairu Wu, and Yang Liu
(Westlake University, China; Fudan University, China; Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE23p857, author = {Junjie Shan and Shihan Dou and Yueming Wu and Hairu Wu and Yang Liu}, title = {Gitor: Scalable Code Clone Detection by Building Global Sample Graph}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {857-856}, doi = {10.1145/3611643.3616371}, year = {2023}, } Publisher's Version

Demystifying the Composition and Code Reuse in Solidity Smart Contracts
Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li, and Yang Liu
(Nanyang Technological University, Singapore; East China Normal University, China)


@InProceedings{ESEC/FSE23p871, author = {Kairan Sun and Zhengzi Xu and Chengwei Liu and Kaixuan Li and Yang Liu}, title = {Demystifying the Composition and Code Reuse in Solidity Smart Contracts}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {871-870}, doi = {10.1145/3611643.3616270}, year = {2023}, } Publisher's Version

Scalable Program Clone Search through Spectral Analysis
Tristan Benoit, Jean-Yves Marion, and Sébastien Bardin
(LORIA, France; CNRS, France; Université de Lorraine, France; CEA, France; Université Paris-Saclay, France)


@InProceedings{ESEC/FSE23p885, author = {Tristan Benoit and Jean-Yves Marion and Sébastien Bardin}, title = {Scalable Program Clone Search through Spectral Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3611643.3616279}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Performance

A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, and Michael Franz
(University of California at Irvine, USA; SiFive, USA)


@InProceedings{ESEC/FSE23p899, author = {Min-Yih Hsu and Felicitas Hetzelt and David Gens and Michael Maitland and Michael Franz}, title = {A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {899-898}, doi = {10.1145/3611643.3616246}, year = {2023}, } Publisher's Version

Discovering Parallelisms in Python Programs
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, and Yan Cai
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Ant Group, China)


@InProceedings{ESEC/FSE23p913, author = {Siwei Wei and Guyang Song and Senlin Zhu and Ruoyi Ruan and Shihao Zhu and Yan Cai}, title = {Discovering Parallelisms in Python Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {913-912}, doi = {10.1145/3611643.3616259}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

IoPV: On Inconsistent Option Performance Variations
Jinfu Chen, Zishuo Ding, Yiming Tang, Mohammed Sayagh, Heng Li, Bram Adams, and Weiyi Shang
(Wuhan University, China; University of Waterloo, Canada; Rochester Institute of Technology, USA; ÉTS, Canada; Polytechnique Montréal, Canada; Queen’s University, Canada)


@InProceedings{ESEC/FSE23p927, author = {Jinfu Chen and Zishuo Ding and Yiming Tang and Mohammed Sayagh and Heng Li and Bram Adams and Weiyi Shang}, title = {IoPV: On Inconsistent Option Performance Variations}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {927-926}, doi = {10.1145/3611643.3616319}, year = {2023}, } Publisher's Version

Predicting Software Performance with Divide-and-Learn
Jingzhi Gong and Tao Chen
(University of Electronic Science and Technology of China, China; Loughborough University, UK; University of Birmingham, UK)


@InProceedings{ESEC/FSE23p941, author = {Jingzhi Gong and Tao Chen}, title = {Predicting Software Performance with Divide-and-Learn}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {941-940}, doi = {10.1145/3611643.3616334}, year = {2023}, } Publisher's Version

Machine Learning III

Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
Xinyu Gao, Zhijie Wang, Yang Feng, Lei Ma, Zhenyu Chen, and Baowen Xu
(Nanjing University, China; University of Alberta, Canada; University of Tokyo, Japan)


@InProceedings{ESEC/FSE23p955, author = {Xinyu Gao and Zhijie Wang and Yang Feng and Lei Ma and Zhenyu Chen and Baowen Xu}, title = {Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {955-954}, doi = {10.1145/3611643.3616278}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Automated Testing and Improvement of Named Entity Recognition Systems
Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, and Pinjia He
(Chinese University of Hong Kong, China)


@InProceedings{ESEC/FSE23p969, author = {Boxi Yu and Yiyan Hu and Qiuyang Mang and Wenhan Hu and Pinjia He}, title = {Automated Testing and Improvement of Named Entity Recognition Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {969-968}, doi = {10.1145/3611643.3616295}, year = {2023}, } Publisher's Version

The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification
Anastasiia Grishina, Max Hort, and Leon Moonen
(Simula Research Laboratory, Norway; BI Norwegian Business School, Norway)


@InProceedings{ESEC/FSE23p983, author = {Anastasiia Grishina and Max Hort and Leon Moonen}, title = {The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {983-982}, doi = {10.1145/3611643.3616304}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Deep Learning Based Feature Envy Detection Boosted by Real-World Examples
Bo Liu, Hui Liu, Guangjie Li, Nan Niu, Zimao Xu, Yifan Wang, Yunni Xia, Yuxia Zhang, and Yanjie Jiang
(Beijing Institute of Technology, China; National Innovation Institute of Defense Technology, China; University of Cincinnati, USA; Huawei Cloud, China; Chongqing University, China; Peking University, China)


@InProceedings{ESEC/FSE23p997, author = {Bo Liu and Hui Liu and Guangjie Li and Nan Niu and Zimao Xu and Yifan Wang and Yunni Xia and Yuxia Zhang and Yanjie Jiang}, title = {Deep Learning Based Feature Envy Detection Boosted by Real-World Examples}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {997-996}, doi = {10.1145/3611643.3616353}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Security I

Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java
Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, and Yixiang Chen
(East China Normal University, China; Tianjin University, China; Nankai University, China; UNSW, Australia; Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE23p1011, author = {Kaixuan Li and Sen Chen and Lingling Fan and Ruitao Feng and Han Liu and Chengwei Liu and Yang Liu and Yixiang Chen}, title = {Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1011-1010}, doi = {10.1145/3611643.3616262}, year = {2023}, } Publisher's Version

Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation
Xiaoke Wang, Tao Hui, Lei Zhao, and Yueqiang Cheng
(Wuhan University, China; NIO, USA)


@InProceedings{ESEC/FSE23p1025, author = {Xiaoke Wang and Tao Hui and Lei Zhao and Yueqiang Cheng}, title = {Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1025-1024}, doi = {10.1145/3611643.3616274}, year = {2023}, } Publisher's Version

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts
Chenyang Ma, Wei Song, and Jeff Huang
(Nanjing University of Science and Technology, China; Texas A&M University, USA)


@InProceedings{ESEC/FSE23p1039, author = {Chenyang Ma and Wei Song and Jeff Huang}, title = {TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1039-1038}, doi = {10.1145/3611643.3616281}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects
Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, and Yang Liu
(Singapore Management University, Singapore; Tianjin University, China; Nanyang Technological University, Singapore)


@InProceedings{ESEC/FSE23p1053, author = {Lida Zhao and Sen Chen and Zhengzi Xu and Chengwei Liu and Lyuye Zhang and Jiahui Wu and Jun Sun and Yang Liu}, title = {Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1053-1052}, doi = {10.1145/3611643.3616299}, year = {2023}, } Publisher's Version

Fault Diagnosis and Root Cause Analysis II

DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers
Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, and Hong Mei
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore)


@InProceedings{ESEC/FSE23p1067, author = {Xianglin Yang and Yun Lin and Yifan Zhang and Linpeng Huang and Jin Song Dong and Hong Mei}, title = {DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1067-1066}, doi = {10.1145/3611643.3616252}, year = {2023}, } Publisher's Version

Mining Resource-Operation Knowledge to Support Resource Leak Detection
Chong Wang, Yiling Lou, Xin Peng, Jianan Liu, and Baihan Zou
(Fudan University, China)


@InProceedings{ESEC/FSE23p1081, author = {Chong Wang and Yiling Lou and Xin Peng and Jianan Liu and Baihan Zou}, title = {Mining Resource-Operation Knowledge to Support Resource Leak Detection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1081-1080}, doi = {10.1145/3611643.3616315}, year = {2023}, } Publisher's Version

TransMap: Pinpointing Mistakes in Neural Code Translation
Bo Wang, Ruishi Li, Mingkai Li, and Prateek Saxena
(National University of Singapore, Singapore)


@InProceedings{ESEC/FSE23p1095, author = {Bo Wang and Ruishi Li and Mingkai Li and Prateek Saxena}, title = {TransMap: Pinpointing Mistakes in Neural Code Translation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1095-1094}, doi = {10.1145/3611643.3616322}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling
Elvan Kula, Eric Greuter, Arie van Deursen, and Georgios Gousios
(Delft University of Technology, Netherlands; ING, Netherlands)


@InProceedings{ESEC/FSE23p1109, author = {Elvan Kula and Eric Greuter and Arie van Deursen and Georgios Gousios}, title = {Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1109-1108}, doi = {10.1145/3611643.3616328}, year = {2023}, } Publisher's Version

Commit-Level, Neural Vulnerability Detection and Assessment
Yi Li, Aashish Yadavally, Jiaxing Zhang, Shaohua Wang, and Tien N. Nguyen
(New Jersey Institute of Technology, USA; University of Texas at Dallas, USA)


@InProceedings{ESEC/FSE23p1123, author = {Yi Li and Aashish Yadavally and Jiaxing Zhang and Shaohua Wang and Tien N. Nguyen}, title = {Commit-Level, Neural Vulnerability Detection and Assessment}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1123-1122}, doi = {10.1145/3611643.3616346}, year = {2023}, } Publisher's Version

Fuzzing

Enhancing Coverage-Guided Fuzzing via Phantom Program
Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi, Junjie Chen, Heming Cui, and Yuqun Zhang
(Southern University of Science and Technology, China; University of Hong Kong, China; Tianjin University, China)


@InProceedings{ESEC/FSE23p1137, author = {Mingyuan Wu and Kunqiu Chen and Qi Luo and Jiahong Xiang and Ji Qi and Junjie Chen and Heming Cui and Yuqun Zhang}, title = {Enhancing Coverage-Guided Fuzzing via Phantom Program}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1137-1136}, doi = {10.1145/3611643.3616294}, year = {2023}, } Publisher's Version

Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics
Ahmad Humayun, Miryung Kim, and Muhammad Ali Gulzar
(Virginia Tech, USA; University of California at Los Angeles, USA)


@InProceedings{ESEC/FSE23p1151, author = {Ahmad Humayun and Miryung Kim and Muhammad Ali Gulzar}, title = {Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1151-1150}, doi = {10.1145/3611643.3616298}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing
Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen, Yingquan Zhao, Heming Cui, Guowei Yang, and Yuqun Zhang
(Southern University of Science and Technology, China; University of Hong Kong, China; Tianjin University, China; University of Queensland, Australia)


@InProceedings{ESEC/FSE23p1165, author = {Mingyuan Wu and Yicheng Ouyang and Minghai Lu and Junjie Chen and Yingquan Zhao and Heming Cui and Guowei Yang and Yuqun Zhang}, title = {SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1165-1164}, doi = {10.1145/3611643.3616277}, year = {2023}, } Publisher's Version

Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing
Suhwan Song and Byoungyoung Lee
(Seoul National University, South Korea)


@InProceedings{ESEC/FSE23p1179, author = {Suhwan Song and Byoungyoung Lee}, title = {Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1179-1178}, doi = {10.1145/3611643.3616336}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)


@InProceedings{ESEC/FSE23p1193, author = {Jingling Sun and Ting Su and Jiayi Jiang and Jue Wang and Geguang Pu and Zhendong Su}, title = {Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1193-1192}, doi = {10.1145/3611643.3616286}, year = {2023}, } Publisher's Version

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, and Miryung Kim
(University of California at Los Angeles, USA; University of California at Riverside, USA; Intel Labs, USA)


@InProceedings{ESEC/FSE23p1207, author = {Jiyuan Wang and Qian Zhang and Hongbo Rong and Guoqing Harry Xu and Miryung Kim}, title = {Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1207-1206}, doi = {10.1145/3611643.3616318}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

NaNofuzz: A Usable Tool for Automatic Test Generation
Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, and Joshua Sunshine
(Carnegie Mellon University, USA; Rose-Hulman Institute of Technology, USA)


@InProceedings{ESEC/FSE23p1221, author = {Matthew C. Davis and Sangheon Choi and Sam Estep and Brad A. Myers and Joshua Sunshine}, title = {NaNofuzz: A Usable Tool for Automatic Test Generation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3611643.3616327}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing
Guixin Ye, Tianmin Hu, Zhanyong Tang, Zhenye Fan, Shin Hwei Tan, Bo Zhang, Wenxiang Qian, and Zheng Wang
(Northwest University, China; Concordia University, Canada; Tencent, China; University of Leeds, UK)


@InProceedings{ESEC/FSE23p1235, author = {Guixin Ye and Tianmin Hu and Zhanyong Tang and Zhenye Fan and Shin Hwei Tan and Bo Zhang and Wenxiang Qian and Zheng Wang}, title = {A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1235-1234}, doi = {10.1145/3611643.3616332}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Formal Verification

State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, Sharon Shoham, and Vaibhav Sharma
(Tel Aviv University, Israel; University of Minnesota, USA)


@InProceedings{ESEC/FSE23p1249, author = {David Trabish and Noam Rinetzky and Sharon Shoham and Vaibhav Sharma}, title = {State Merging with Quantifiers in Symbolic Execution}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1249-1248}, doi = {10.1145/3611643.3616287}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, and Zhenhua Duan
(Xidian University, China; Beijing Institute of Control Engineering, China)


@InProceedings{ESEC/FSE23p1263, author = {Bin Yu and Cong Tian and Hengrui Xing and Zuchao Yang and Jie Su and Xu Lu and Jiyu Yang and Liang Zhao and Xiaofeng Li and Zhenhua Duan}, title = {Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1263-1262}, doi = {10.1145/3611643.3616276}, year = {2023}, } Publisher's Version

Engineering a Formally Verified Automated Bug Finder
Arthur Correnson and Dominic Steinhöfel
(CISPA Helmholtz Center for Information Security, Germany)


@InProceedings{ESEC/FSE23p1277, author = {Arthur Correnson and Dominic Steinhöfel}, title = {Engineering a Formally Verified Automated Bug Finder}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1277-1276}, doi = {10.1145/3611643.3616290}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Speeding up SMT Solving via Compiler Optimization
Benjamin Mikek and Qirun Zhang
(Georgia Institute of Technology, USA)


@InProceedings{ESEC/FSE23p1291, author = {Benjamin Mikek and Qirun Zhang}, title = {Speeding up SMT Solving via Compiler Optimization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1291-1290}, doi = {10.1145/3611643.3616357}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automated Repair II

Semantic Test Repair for Web Applications
Xiaofang Qi, Xiang Qian, and Yanhui Li
(Southeast University, China; Nanjing University, China)


@InProceedings{ESEC/FSE23p1305, author = {Xiaofang Qi and Xiang Qian and Yanhui Li}, title = {Semantic Test Repair for Web Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1305-1304}, doi = {10.1145/3611643.3616324}, year = {2023}, } Publisher's Version

A Large-Scale Empirical Review of Patch Correctness Checking Approaches
Jun Yang, Yuehan Wang, Yiling Lou, Ming Wen, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; Fudan University, China; Huazhong University of Science and Technology, China)


@InProceedings{ESEC/FSE23p1319, author = {Jun Yang and Yuehan Wang and Yiling Lou and Ming Wen and Lingming Zhang}, title = {A Large-Scale Empirical Review of Patch Correctness Checking Approaches}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1319-1318}, doi = {10.1145/3611643.3616331}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Program Repair Guided by Datalog-Defined Static Analysis
Yu Liu, Sergey Mechtaev, Pavle Subotić, and Abhik Roychoudhury
(National University of Singapore, Singapore; University College London, UK; Microsoft, Serbia)


@InProceedings{ESEC/FSE23p1333, author = {Yu Liu and Sergey Mechtaev and Pavle Subotić and Abhik Roychoudhury}, title = {Program Repair Guided by Datalog-Defined Static Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1333-1332}, doi = {10.1145/3611643.3616363}, year = {2023}, } Publisher's Version

Baldur: Whole-Proof Generation and Repair with Large Language Models
Emily First, Markus N. Rabe, Talia Ringer, and Yuriy Brun
(University of Massachusetts, USA; Augment Computing, USA; University of Illinois at Urbana-Champaign, USA)


@InProceedings{ESEC/FSE23p1347, author = {Emily First and Markus N. Rabe and Talia Ringer and Yuriy Brun}, title = {Baldur: Whole-Proof Generation and Repair with Large Language Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1347-1346}, doi = {10.1145/3611643.3616243}, year = {2023}, } Publisher's Version

KG4CraSolver: Recommending Crash Solutions via Knowledge Graph
Xueying Du, Yiling Lou, Mingwei Liu, Xin Peng, and Tianyong Yang
(Fudan University, China)


@InProceedings{ESEC/FSE23p1361, author = {Xueying Du and Yiling Lou and Mingwei Liu and Xin Peng and Tianyong Yang}, title = {KG4CraSolver: Recommending Crash Solutions via Knowledge Graph}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1361-1360}, doi = {10.1145/3611643.3616317}, year = {2023}, } Publisher's Version

Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps
Yuxin Zhang, Sen Chen, Lingling Fan, Chunyang Chen, and Xiaohong Li
(Tianjin University, China; Nankai University, China; Monash University, Australia)


@InProceedings{ESEC/FSE23p1375, author = {Yuxin Zhang and Sen Chen and Lingling Fan and Chunyang Chen and Xiaohong Li}, title = {Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1375-1374}, doi = {10.1145/3611643.3616329}, year = {2023}, } Publisher's Version

Human Aspects III

A Case Study of Developer Bots: Motivations, Perceptions, and Challenges
Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, and Kim Herzig
(University of Michigan, USA; Trade Desk, USA; Microsoft, USA)


@InProceedings{ESEC/FSE23p1389, author = {Sumit Asthana and Hitesh Sajnani and Elena Voyloshnikova and Birendra Acharya and Kim Herzig}, title = {A Case Study of Developer Bots: Motivations, Perceptions, and Challenges}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1389-1388}, doi = {10.1145/3611643.3616248}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

“We Feel Like We’re Winging It:” A Study on Navigating Open-Source Dependency Abandonment
Courtney Miller, Christian Kästner, and Bogdan Vasilescu
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE23p1403, author = {Courtney Miller and Christian Kästner and Bogdan Vasilescu}, title = {“We Feel Like We’re Winging It:” A Study on Navigating Open-Source Dependency Abandonment}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1403-1402}, doi = {10.1145/3611643.3616293}, year = {2023}, } Publisher's Version

How Practitioners Expect Code Completion?
Chaozheng Wang, Junhao Hu, Cuiyun Gao, Yu Jin, Tao Xie, Hailiang Huang, Zhenyu Lei, and Yuetang Deng
(Chinese University of Hong Kong, China; Peking University, China; Tencent, USA; Tencent, China)


@InProceedings{ESEC/FSE23p1417, author = {Chaozheng Wang and Junhao Hu and Cuiyun Gao and Yu Jin and Tao Xie and Hailiang Huang and Zhenyu Lei and Yuetang Deng}, title = {How Practitioners Expect Code Completion?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1417-1416}, doi = {10.1145/3611643.3616280}, year = {2023}, } Publisher's Version

Testing IV

Code Coverage Criteria for Asynchronous Programs
Mohammad Ganji, Saba Alimadadi, and Frank Tip
(Simon Fraser University, Canada; Northeastern University, USA)


@InProceedings{ESEC/FSE23p1431, author = {Mohammad Ganji and Saba Alimadadi and Frank Tip}, title = {Code Coverage Criteria for Asynchronous Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1431-1430}, doi = {10.1145/3611643.3616292}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

API-Knowledge Aware Search-Based Software Testing: Where, What, and How
Xiaoxue Ren, Xinyuan Ye, Yun Lin, Zhenchang Xing, Shuqing Li, and Michael R. Lyu
(Zhejiang University, China; Australian National University, Australia; Shanghai Jiao Tong University, China; CSIRO’s Data61, Australia; Chinese University of Hong Kong, China)


@InProceedings{ESEC/FSE23p1445, author = {Xiaoxue Ren and Xinyuan Ye and Yun Lin and Zhenchang Xing and Shuqing Li and Michael R. Lyu}, title = {API-Knowledge Aware Search-Based Software Testing: Where, What, and How}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1445-1444}, doi = {10.1145/3611643.3616269}, year = {2023}, } Publisher's Version

EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes
Shinhae Kim and Sungjae Hwang
(Affiliated Institute of ETRI, South Korea; Sungkyunkwan University, South Korea)


@InProceedings{ESEC/FSE23p1459, author = {Shinhae Kim and Sungjae Hwang}, title = {EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1459-1458}, doi = {10.1145/3611643.3616251}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Machine Learning IV

Dynamic Data Fault Localization for Deep Neural Networks
Yining Yin, Yang Feng, Shihao Weng, Zixi Liu, Yuan Yao, Yichi Zhang, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)


@InProceedings{ESEC/FSE23p1473, author = {Yining Yin and Yang Feng and Shihao Weng and Zixi Liu and Yuan Yao and Yichi Zhang and Zhihong Zhao and Zhenyu Chen}, title = {Dynamic Data Fault Localization for Deep Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1473-1472}, doi = {10.1145/3611643.3616345}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems
Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, and Hai Jin
(Huazhong University of Science and Technology, China; Hong Kong University of Science and Technology, China)


@InProceedings{ESEC/FSE23p1487, author = {Xiaohu Du and Xiao Chen and Jialun Cao and Ming Wen and Shing-Chi Cheung and Hai Jin}, title = {Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1487-1486}, doi = {10.1145/3611643.3616347}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing
Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, and Shang-Wei Lin
(Singapore Management University, Singapore; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China)


@InProceedings{ESEC/FSE23p1501, author = {Bozhi Wu and Shangqing Liu and Yang Xiao and Zhiming Li and Jun Sun and Shang-Wei Lin}, title = {Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3611643.3616351}, year = {2023}, } Publisher's Version

DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks
Fuyuan Zhang, Xinwen Hu, Lei Ma, and Jianjun Zhao
(Kyushu University, Japan; Hunan Normal University, China; University of Tokyo, Japan; University of Alberta, Canada)


@InProceedings{ESEC/FSE23p1515, author = {Fuyuan Zhang and Xinwen Hu and Lei Ma and Jianjun Zhao}, title = {DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1515-1514}, doi = {10.1145/3611643.3616370}, year = {2023}, } Publisher's Version

Program Analysis III

Practical Inference of Nullability Types
Nima Karimipour, Justin Pham, Lazaro Clapp, and Manu Sridharan
(University of California, Riverside, USA; Uber Technologies, USA)


@InProceedings{ESEC/FSE23p1529, author = {Nima Karimipour and Justin Pham and Lazaro Clapp and Manu Sridharan}, title = {Practical Inference of Nullability Types}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1529-1528}, doi = {10.1145/3611643.3616326}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional

LibKit: Detecting Third-Party Libraries in iOS Apps
Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, and Juan Caballero
(IMDEA Software Institute, Spain; University of Verona, Italy)


@InProceedings{ESEC/FSE23p1543, author = {Daniel Domínguez-Álvarez and Alejandro de la Cruz and Alessandra Gorla and Juan Caballero}, title = {LibKit: Detecting Third-Party Libraries in iOS Apps}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1543-1542}, doi = {10.1145/3611643.3616344}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

FunProbe: Probing Functions from Binary Code through Probabilistic Analysis
Soomin Kim, Hyungseok Kim, and Sang Kil Cha
(KAIST, South Korea)


@InProceedings{ESEC/FSE23p1557, author = {Soomin Kim and Hyungseok Kim and Sang Kil Cha}, title = {FunProbe: Probing Functions from Binary Code through Probabilistic Analysis}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1557-1556}, doi = {10.1145/3611643.3616366}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, and Shengjian Guo
(Nanjing University, China; Alibaba Group, USA; Alibaba Group, China; Baidu Research, USA)


@InProceedings{ESEC/FSE23p1571, author = {Zewen Sun and Duanchen Xu and Yiyu Zhang and Yun Qi and Yueyang Wang and Zhiqiang Zuo and Zhaokang Wang and Yue Li and Xuandong Li and Qingda Lu and Wenwen Peng and Shengjian Guo}, title = {BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1571-1570}, doi = {10.1145/3611643.3616348}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Empirical Studies II

Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts
Wenhua Yang, Chong Zhang, and Minxue Pan
(Nanjing University of Aeronautics and Astronautics, China; Nanjing University, China)


@InProceedings{ESEC/FSE23p1585, author = {Wenhua Yang and Chong Zhang and Minxue Pan}, title = {Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1585-1584}, doi = {10.1145/3611643.3616365}, year = {2023}, } Publisher's Version

Software Architecture in Practice: Challenges and Opportunities
Zhiyuan Wan, Yun Zhang, Xin Xia, Yi Jiang, and David Lo
(Zhejiang University, China; Hangzhou City University, China; Huawei, China; Singapore Management University, Singapore)


@InProceedings{ESEC/FSE23p1599, author = {Zhiyuan Wan and Yun Zhang and Xin Xia and Yi Jiang and David Lo}, title = {Software Architecture in Practice: Challenges and Opportunities}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1599-1598}, doi = {10.1145/3611643.3616367}, year = {2023}, } Publisher's Version

Models of Code and Documentation

On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code
Martin Weyssow, Xin Zhou, Kisub Kim, David Lo, and Houari Sahraoui
(Université de Montréal, Canada; Singapore Management University, Singapore)


@InProceedings{ESEC/FSE23p1613, author = {Martin Weyssow and Xin Zhou and Kisub Kim and David Lo and Houari Sahraoui}, title = {On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1613-1612}, doi = {10.1145/3611643.3616244}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Grace: Language Models Meet Code Edits
Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty, Sumit Gulwani, Aditya Kanade, Arjun Radhakrishna, Gustavo Soares, and Ashish Tiwari
(Microsoft, India; University of Pennsylvania, USA; Microsoft Research, USA; Microsoft, USA; Microsoft Research, India)


@InProceedings{ESEC/FSE23p1627, author = {Priyanshu Gupta and Avishree Khare and Yasharth Bajpai and Saikat Chakraborty and Sumit Gulwani and Aditya Kanade and Arjun Radhakrishna and Gustavo Soares and Ashish Tiwari}, title = {Grace: Language Models Meet Code Edits}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1627-1626}, doi = {10.1145/3611643.3616253}, year = {2023}, } Publisher's Version Published Artifact Archive submitted (770 kB) Artifacts Available

Recommending Analogical APIs via Knowledge Graph Embedding
Mingwei Liu, Yanjun Yang, Yiling Lou, Xin Peng, Zhong Zhou, Xueying Du, and Tianyong Yang
(Fudan University, China)


@InProceedings{ESEC/FSE23p1641, author = {Mingwei Liu and Yanjun Yang and Yiling Lou and Xin Peng and Zhong Zhou and Xueying Du and Tianyong Yang}, title = {Recommending Analogical APIs via Knowledge Graph Embedding}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1641-1640}, doi = {10.1145/3611643.3616305}, year = {2023}, } Publisher's Version

CCT5: A Code-Change-Oriented Pre-trained Model
Bo Lin, Shangwen Wang, Zhongxin Liu, Yepang Liu, Xin Xia, and Xiaoguang Mao
(National University of Defense Technology, China; Zhejiang University, China; Southern University of Science and Technology, China)


@InProceedings{ESEC/FSE23p1655, author = {Bo Lin and Shangwen Wang and Zhongxin Liu and Yepang Liu and Xin Xia and Xiaoguang Mao}, title = {CCT5: A Code-Change-Oriented Pre-trained Model}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1655-1654}, doi = {10.1145/3611643.3616339}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Machine Learning V

LExecutor: Learning-Guided Execution
Beatriz Souza and Michael Pradel
(University of Stuttgart, Germany)


@InProceedings{ESEC/FSE23p1669, author = {Beatriz Souza and Michael Pradel}, title = {LExecutor: Learning-Guided Execution}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1669-1668}, doi = {10.1145/3611643.3616254}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Software Architecture Recovery with Information Fusion
Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen, Jianwen Sun, Dong Qiu, and Yang Liu
(Nanyang Technological University, Singapore; Huawei Technologies, China)


@InProceedings{ESEC/FSE23p1683, author = {Yiran Zhang and Zhengzi Xu and Chengwei Liu and Hongxu Chen and Jianwen Sun and Dong Qiu and Yang Liu}, title = {Software Architecture Recovery with Information Fusion}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1683-1682}, doi = {10.1145/3611643.3616285}, year = {2023}, } Publisher's Version

Evaluating Transfer Learning for Simplifying GitHub READMEs
Haoyu Gao, Christoph Treude, and Mansooreh Zahedi
(University of Melbourne, Australia)


@InProceedings{ESEC/FSE23p1697, author = {Haoyu Gao and Christoph Treude and Mansooreh Zahedi}, title = {Evaluating Transfer Learning for Simplifying GitHub READMEs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1697-1696}, doi = {10.1145/3611643.3616291}, year = {2023}, } Publisher's Version

CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models
Zhensu Sun, Xiaoning Du, Fu Song, and Li Li
(Beihang University, China; Monash University, Australia; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Automotive Software Innovation Center, China)


@InProceedings{ESEC/FSE23p1711, author = {Zhensu Sun and Xiaoning Du and Fu Song and Li Li}, title = {CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1711-1710}, doi = {10.1145/3611643.3616297}, year = {2023}, } Publisher's Version

Security II

Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors
Ruoxi Sun, Minhui Xue, Gareth Tyson, Tian Dong, Shaofeng Li, Shuo Wang, Haojin Zhu, Seyit Camtepe, and Surya Nepal
(CSIRO’s Data61, Australia; Cybersecurity CRC, Australia; Hong Kong University of Science and Technology, China; Shanghai Jiao Tong University, China; Peng Cheng Laboratory, China)


@InProceedings{ESEC/FSE23p1725, author = {Ruoxi Sun and Minhui Xue and Gareth Tyson and Tian Dong and Shaofeng Li and Shuo Wang and Haojin Zhu and Seyit Camtepe and Surya Nepal}, title = {Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1725-1724}, doi = {10.1145/3611643.3616309}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier, Antonio Bianchi, and Mathias Payer
(Purdue University, USA; EPFL, Switzerland; Oracle Labs, Australia)


@InProceedings{ESEC/FSE23p1739, author = {Prashast Srivastava and Flavio Toffalini and Kostyantyn Vorobyov and François Gauthier and Antonio Bianchi and Mathias Payer}, title = {Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1739-1738}, doi = {10.1145/3611643.3616313}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

ViaLin: Path-Aware Dynamic Taint Analysis for Android
Khaled Ahmed, Yingying Wang, Mieszko Lis, and Julia Rubin
(University of British Columbia, Canada)


@InProceedings{ESEC/FSE23p1753, author = {Khaled Ahmed and Yingying Wang and Mieszko Lis and Julia Rubin}, title = {ViaLin: Path-Aware Dynamic Taint Analysis for Android}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1753-1752}, doi = {10.1145/3611643.3616330}, year = {2023}, } Publisher's Version

Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation
Chao Ni, Xin Yin, Kaiwen Yang, Dehai Zhao, Zhenchang Xing, and Xin Xia
(Zhejiang University, China; Australian National University, Australia; CSIRO’s Data61, Australia; Huawei, China)


@InProceedings{ESEC/FSE23p1767, author = {Chao Ni and Xin Yin and Kaiwen Yang and Dehai Zhao and Zhenchang Xing and Xin Xia}, title = {Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1767-1766}, doi = {10.1145/3611643.3616358}, year = {2023}, } Publisher's Version

Industry

Industry Papers

A Unified Framework for Mini-game Testing: Experience on WeChat
Chaozheng Wang, Haochuan Lu, Cuiyun Gao, Zongjie Li, Ting Xiong, and Yuetang Deng
(Chinese University of Hong Kong, China; Tencent, China; Hong Kong University of Science and Technology, China)


@InProceedings{ESEC/FSE23p1781, author = {Chaozheng Wang and Haochuan Lu and Cuiyun Gao and Zongjie Li and Ting Xiong and Yuetang Deng}, title = {A Unified Framework for Mini-game Testing: Experience on WeChat}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1781-1780}, doi = {10.1145/3611643.3613868}, year = {2023}, } Publisher's Version

Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection
Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li, Haiming Zhang, Zulong Diao, Jianhui Li, Gaogang Xie, and Dan Pei
(Computer Network Information Center at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Kuaishou Technology, China; Institute of Computing Technology at Chinese Academy of Sciences, China; Purple Mountain Laboratories, China; Tsinghua University, China)


@InProceedings{ESEC/FSE23p1793, author = {Haotian Si and Changhua Pei and Zhihan Li and Yadong Zhao and Jingjing Li and Haiming Zhang and Zulong Diao and Jianhui Li and Gaogang Xie and Dan Pei}, title = {Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1793-1792}, doi = {10.1145/3611643.3613896}, year = {2023}, } Publisher's Version

InferFix: End-to-End Program Repair with LLMs
Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu, Neel Sundaresan, and Alexey Svyatkovskiy
(Microsoft, USA; University of California at Los Angeles, USA; Microsoft Research, China)


@InProceedings{ESEC/FSE23p1805, author = {Matthew Jin and Syed Shahriar and Michele Tufano and Xin Shi and Shuai Lu and Neel Sundaresan and Alexey Svyatkovskiy}, title = {InferFix: End-to-End Program Repair with LLMs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1805-1804}, doi = {10.1145/3611643.3613892}, year = {2023}, } Publisher's Version

Assess and Summarize: Improve Outage Understanding with Large Language Models
Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang, Liqun Li, Yudong Liu, Bo Qiao, Chaoyun Zhang, Pu Zhao, Shilin He, Federica Sarro, Yingnong Dang, Saravan Rajmohan, Qingwei Lin, and Dongmei Zhang
(Nankai University, China; Microsoft, China; Peking University, China; University College London, UK)


@InProceedings{ESEC/FSE23p1817, author = {Pengxiang Jin and Shenglin Zhang and Minghua Ma and Haozhe Li and Yu Kang and Liqun Li and Yudong Liu and Bo Qiao and Chaoyun Zhang and Pu Zhao and Shilin He and Federica Sarro and Yingnong Dang and Saravan Rajmohan and Qingwei Lin and Dongmei Zhang}, title = {Assess and Summarize: Improve Outage Understanding with Large Language Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1817-1816}, doi = {10.1145/3611643.3613891}, year = {2023}, } Publisher's Version

Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners
Andreas Happe and Jürgen Cito
(TU Wien, Austria)


@InProceedings{ESEC/FSE23p1829, author = {Andreas Happe and Jürgen Cito}, title = {Understanding Hackers’ Work: An Empirical Study of Offensive Security Practitioners}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1829-1828}, doi = {10.1145/3611643.3613900}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Towards Efficient Record and Replay: A Case Study in WeChat
Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, and Chunyang Chen
(Monash University, Australia; Tencent, China)


@InProceedings{ESEC/FSE23p1841, author = {Sidong Feng and Haochuan Lu and Ting Xiong and Yuetang Deng and Chunyang Chen}, title = {Towards Efficient Record and Replay: A Case Study in WeChat}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1841-1840}, doi = {10.1145/3611643.3613880}, year = {2023}, } Publisher's Version

Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions
Yuxin Wang, Adam Welc, Lazaro Clapp, and Lingchao Chen
(Uber Technologies, USA; Mysten Labs, USA)


@InProceedings{ESEC/FSE23p1853, author = {Yuxin Wang and Adam Welc and Lazaro Clapp and Lingchao Chen}, title = {Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1853-1852}, doi = {10.1145/3611643.3613870}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
Will Shackleton, Katriel Cohn-Gordon, Peter C. Rigby, Rui Abreu, James Gill, Nachiappan Nagappan, Karim Nakad, Ioannis Papagiannis, Luke Petre, Giorgi Megreli, Patrick Riggs, and James Saindon
(Meta, USA; Concordia University, Canada)


@InProceedings{ESEC/FSE23p1865, author = {Will Shackleton and Katriel Cohn-Gordon and Peter C. Rigby and Rui Abreu and James Gill and Nachiappan Nagappan and Karim Nakad and Ioannis Papagiannis and Luke Petre and Giorgi Megreli and Patrick Riggs and James Saindon}, title = {Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1865-1864}, doi = {10.1145/3611643.3613871}, year = {2023}, } Publisher's Version

Incrementalizing Production CodeQL Analyses
Tamás Szabó
(GitHub, Germany)


@InProceedings{ESEC/FSE23p1877, author = {Tamás Szabó}, title = {Incrementalizing Production CodeQL Analyses}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1877-1876}, doi = {10.1145/3611643.3613860}, year = {2023}, } Publisher's Version

xASTNN: Improved Code Representations for Industrial Practice
Zhiwei Xu, Min Zhou, Xibin Zhao, Yang Chen, Xi Cheng, and Hongyu Zhang
(Tsinghua University, China; Fudan University, China; VMware, China; Chongqing University, China)


@InProceedings{ESEC/FSE23p1889, author = {Zhiwei Xu and Min Zhou and Xibin Zhao and Yang Chen and Xi Cheng and Hongyu Zhang}, title = {xASTNN: Improved Code Representations for Industrial Practice}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1889-1888}, doi = {10.1145/3611643.3613869}, year = {2023}, } Publisher's Version

From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach
Zhe Xie, Changhua Pei, Wanxue Li, Huai Jiang, Liangfei Su, Jianhui Li, Gaogang Xie, and Dan Pei
(Tsinghua University, China; Computer Network Information Center at Chinese Academy of Sciences, China; eBay, China)


@InProceedings{ESEC/FSE23p1901, author = {Zhe Xie and Changhua Pei and Wanxue Li and Huai Jiang and Liangfei Su and Jianhui Li and Gaogang Xie and Dan Pei}, title = {From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1901-1900}, doi = {10.1145/3611643.3613861}, year = {2023}, } Publisher's Version

STEAM: Observability-Preserving Trace Sampling
Shilin He, Botao Feng, Liqun Li, Xu Zhang, Yu Kang, Qingwei Lin, Saravan Rajmohan, and Dongmei Zhang
(Microsoft Research, Beijing, China; Microsoft, Beijing, China; Microsoft, USA)


@InProceedings{ESEC/FSE23p1913, author = {Shilin He and Botao Feng and Liqun Li and Xu Zhang and Yu Kang and Qingwei Lin and Saravan Rajmohan and Dongmei Zhang}, title = {STEAM: Observability-Preserving Trace Sampling}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1913-1912}, doi = {10.1145/3611643.3613881}, year = {2023}, } Publisher's Version

TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems
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, and Dongmei Zhang
(Microsoft, China; Microsoft 365, China; Microsoft 365, USA)


@InProceedings{ESEC/FSE23p1925, author = {Ruomeng Ding and Chaoyun Zhang and Lu Wang and Yong Xu and Minghua Ma and Xiaomin Wu and Meng Zhang and Qingjun Chen and Xin Gao and Xuedong Gao and Hao Fan and Saravan Rajmohan and Qingwei Lin and Dongmei Zhang}, title = {TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1925-1924}, doi = {10.1145/3611643.3613864}, year = {2023}, } Publisher's Version

Triggering Modes in Spectrum-Based Multi-location Fault Localization
Tung Dao, Na Meng, and ThanhVu Nguyen
(Cvent, USA; Virginia Tech, USA; George Mason University, USA)


@InProceedings{ESEC/FSE23p1937, author = {Tung Dao and Na Meng and ThanhVu Nguyen}, title = {Triggering Modes in Spectrum-Based Multi-location Fault Localization}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1937-1936}, doi = {10.1145/3611643.3613884}, year = {2023}, } Publisher's Version

Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception
Yongxiang Hu, Jiazhen Gu, Shuqing Hu, Yu Zhang, Wenjie Tian, Shiyu Guo, Chaoyi Chen, and Yangfan Zhou
(Fudan University, China; Meituan, China; Shanghai Key Laboratory of Intelligent Information Processing, China)


@InProceedings{ESEC/FSE23p1949, author = {Yongxiang Hu and Jiazhen Gu and Shuqing Hu and Yu Zhang and Wenjie Tian and Shiyu Guo and Chaoyi Chen and Yangfan Zhou}, title = {Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1949-1948}, doi = {10.1145/3611643.3613885}, year = {2023}, } Publisher's Version

MuRS: Mutant Ranking and Suppression using Identifier Templates
Zimin Chen, Małgorzata Salawa, Manushree Vijayvergiya, Goran Petrović, Marko Ivanković, and René Just
(KTH Royal Institute of Technology, Sweden; Google, Switzerland; University of Washington, USA)


@InProceedings{ESEC/FSE23p1961, author = {Zimin Chen and Małgorzata Salawa and Manushree Vijayvergiya and Goran Petrović and Marko Ivanković and René Just}, title = {MuRS: Mutant Ranking and Suppression using Identifier Templates}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1961-1960}, doi = {10.1145/3611643.3613901}, year = {2023}, } Publisher's Version

Modeling the Centrality of Developer Output with Software Supply Chains
Audris Mockus, Peter C. Rigby, Rui Abreu, Parth Suresh, Yifen Chen, and Nachiappan Nagappan
(Meta, USA; University of Tennessee, USA; Concordia University, Canada)


@InProceedings{ESEC/FSE23p1973, author = {Audris Mockus and Peter C. Rigby and Rui Abreu and Parth Suresh and Yifen Chen and Nachiappan Nagappan}, title = {Modeling the Centrality of Developer Output with Software Supply Chains}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1973-1972}, doi = {10.1145/3611643.3613873}, year = {2023}, } Publisher's Version

On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report
Anes Bendimerad, Youcef Remil, Romain Mathonat, and Mehdi Kaytoue
(Infologic, France; INSA Lyon, France; CNRS, France; LIRIS UMR5205, France)


@InProceedings{ESEC/FSE23p1985, author = {Anes Bendimerad and Youcef Remil and Romain Mathonat and Mehdi Kaytoue}, title = {On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1985-1984}, doi = {10.1145/3611643.3613876}, year = {2023}, } Publisher's Version

C³: Code Clone-Based Identification of Duplicated Components
Yanming Yang, Ying Zou, Xing Hu, David Lo, Chao Ni, John Grundy, and Xin Xia
(Zhejiang University, China; Queen’s University, Canada; Singapore Management University, Singapore; Monash University, Australia; Huawei, China)


@InProceedings{ESEC/FSE23p1997, author = {Yanming Yang and Ying Zou and Xing Hu and David Lo and Chao Ni and John Grundy and Xin Xia}, title = {C³: Code Clone-Based Identification of Duplicated Components}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {1997-1996}, doi = {10.1145/3611643.3613883}, year = {2023}, } Publisher's Version

AdaptivePaste: Intelligent Copy-Paste in IDE
Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, and Alexey Svyatkovskiy
(Microsoft, USA; Google, UK)


@InProceedings{ESEC/FSE23p2009, author = {Xiaoyu Liu and Jinu Jang and Neel Sundaresan and Miltiadis Allamanis and Alexey Svyatkovskiy}, title = {AdaptivePaste: Intelligent Copy-Paste in IDE}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2009-2008}, doi = {10.1145/3611643.3613895}, year = {2023}, } Publisher's Version

Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report
Lizhi Liao, Heng Li, Weiyi Shang, Catalin Sporea, Andrei Toma, and Sarah Sajedi
(University of Waterloo, Canada; Polytechnique Montréal, Canada; ERA Environmental, Canada)


@InProceedings{ESEC/FSE23p2021, author = {Lizhi Liao and Heng Li and Weiyi Shang and Catalin Sporea and Andrei Toma and Sarah Sajedi}, title = {Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2021-2020}, doi = {10.1145/3611643.3613893}, year = {2023}, } Publisher's Version

KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
Qinghua Xu, Shaukat Ali, Tao Yue, Zaimovic Nedim, and Inderjeet Singh
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Alstom Rail, Sweden)


@InProceedings{ESEC/FSE23p2033, author = {Qinghua Xu and Shaukat Ali and Tao Yue and Zaimovic Nedim and Inderjeet Singh}, title = {KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2033-2032}, doi = {10.1145/3611643.3613879}, year = {2023}, } Publisher's Version

AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision
Xiaoyun Liang, Jiayi Qi, Yongqiang Gao, Chao Peng, and Ping Yang
(ByteDance, China)


@InProceedings{ESEC/FSE23p2045, author = {Xiaoyun Liang and Jiayi Qi and Yongqiang Gao and Chao Peng and Ping Yang}, title = {AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2045-2044}, doi = {10.1145/3611643.3613867}, year = {2023}, } Publisher's Version

Detection Is Better Than Cure: A Cloud Incidents Perspective
Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang, Minghua Ma, Chetan Bansal, Suman Nath, and Jonathan Mace
(Microsoft, India; Microsoft, China; Microsoft, USA)


@InProceedings{ESEC/FSE23p2057, author = {Vaibhav Ganatra and Anjaly Parayil and Supriyo Ghosh and Yu Kang and Minghua Ma and Chetan Bansal and Suman Nath and Jonathan Mace}, title = {Detection Is Better Than Cure: A Cloud Incidents Perspective}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2057-2056}, doi = {10.1145/3611643.3613898}, year = {2023}, } Publisher's Version

PropProof: Free Model-Checking Harnesses from PBT
Yoshiki Takashima
(Carnegie Mellon University, USA)


@InProceedings{ESEC/FSE23p2069, author = {Yoshiki Takashima}, title = {PropProof: Free Model-Checking Harnesses from PBT}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2069-2068}, doi = {10.1145/3611643.3613863}, year = {2023}, } Publisher's Version

LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
Yibo Dong, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen, Weikai Miao, Jianwen Li, and Geguang Pu
(East China Normal University, China; Shanghai Trusted Industrial Control Platform, China)


@InProceedings{ESEC/FSE23p2081, author = {Yibo Dong and Xiaoyu Zhang and Yicong Xu and Chang Cai and Yu Chen and Weikai Miao and Jianwen Li and Geguang Pu}, title = {LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2081-2080}, doi = {10.1145/3611643.3613874}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

BFSig: Leveraging File Significance in Bus Factor Estimation
Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, and Vladimir Kovalenko
(Bilkent University, Turkiye; JetBrains Research, Cyprus; JetBrains Research, Netherlands)


@InProceedings{ESEC/FSE23p2093, author = {Vahid Haratian and Mikhail Evtikhiev and Pouria Derakhshanfar and Eray Tüzün and Vladimir Kovalenko}, title = {BFSig: Leveraging File Significance in Bus Factor Estimation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2093-2092}, doi = {10.1145/3611643.3613877}, year = {2023}, } Publisher's Version

Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway
Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, and Jan F. Nygård
(Simula Research Laboratory, Norway; Oslo Metropolitan University, Norway; Cancer Registry of Norway, Norway; UiT The Arctic University of Norway, Norway)


@InProceedings{ESEC/FSE23p2105, author = {Christoph Laaber and Tao Yue and Shaukat Ali and Thomas Schwitalla and Jan F. Nygård}, title = {Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2105-2104}, doi = {10.1145/3611643.3613882}, year = {2023}, } Publisher's Version

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, and Claudio Menghi
(McMaster University, Canada; University of Bergamo, Italy)


@InProceedings{ESEC/FSE23p2117, author = {Federico Formica and Nicholas Petrunti and Lucas Bruck and Vera Pantelic and Mark Lawford and Claudio Menghi}, title = {Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2117-2116}, doi = {10.1145/3611643.3613894}, year = {2023}, } Publisher's Version

Prioritizing Natural Language Test Cases Based on Highly-Used Game Features
Markos Viggiato, Dale Paas, and Cor-Paul Bezemer
(University of Alberta, Canada; Prodigy Education, Canada)


@InProceedings{ESEC/FSE23p2129, author = {Markos Viggiato and Dale Paas and Cor-Paul Bezemer}, title = {Prioritizing Natural Language Test Cases Based on Highly-Used Game Features}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2129-2128}, doi = {10.1145/3611643.3613872}, year = {2023}, } Publisher's Version

EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
Chengjie Lu, Qinghua Xu, Tao Yue, Shaukat Ali, Thomas Schwitalla, and Jan F. Nygård
(Simula Research Laboratory, Norway; University of Oslo, Norway; Oslo Metropolitan University, Norway; Cancer Registry of Norway, Norway; Arctic University of Norway, Norway)


@InProceedings{ESEC/FSE23p2141, author = {Chengjie Lu and Qinghua Xu and Tao Yue and Shaukat Ali and Thomas Schwitalla and Jan F. Nygård}, title = {EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2141-2140}, doi = {10.1145/3611643.3613897}, year = {2023}, } Publisher's Version

Compositional Taint Analysis for Enforcing Security Policies at Scale
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, and Jingbo Wang
(Amazon Web Services, USA; Texas A&M University, USA; Amazon Web Services, Germany; University of Southern California, USA)


@InProceedings{ESEC/FSE23p2153, author = {Subarno Banerjee and Siwei Cui and Michael Emmi and Antonio Filieri and Liana Hadarean and Peixuan Li and Linghui Luo and Goran Piskachev and Nicolás Rosner and Aritra Sengupta and Omer Tripp and Jingbo Wang}, title = {Compositional Taint Analysis for Enforcing Security Policies at Scale}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2153-2152}, doi = {10.1145/3611643.3613889}, year = {2023}, } Publisher's Version

A Multidimensional Analysis of Bug Density in SAP HANA
Julian Reck, Thomas Bach, and Jan Stoess
(SAP, Germany; University of Applied Sciences Karlsruhe, Germany)


@InProceedings{ESEC/FSE23p2165, author = {Julian Reck and Thomas Bach and Jan Stoess}, title = {A Multidimensional Analysis of Bug Density in SAP HANA}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2165-2164}, doi = {10.1145/3611643.3613875}, year = {2023}, } Publisher's Version Archive submitted (420 kB)

Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey
Umme Ayman Koana, Francis Chew, Chris Carlson, and Maleknaz Nayebi
(York University, Canada; Brightsquid, Canada)


@InProceedings{ESEC/FSE23p2177, author = {Umme Ayman Koana and Francis Chew and Chris Carlson and Maleknaz Nayebi}, title = {Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2177-2176}, doi = {10.1145/3611643.3613890}, year = {2023}, } Publisher's Version

Industry Short Papers

Rotten Green Tests in Google Test
Paul T. Robinson
(Sony Interactive Entertainment, USA)


@InProceedings{ESEC/FSE23p2189, author = {Paul T. Robinson}, title = {Rotten Green Tests in Google Test}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2189-2188}, doi = {10.1145/3611643.3613865}, year = {2023}, } Publisher's Version

Issue Report Validation in an Industrial Context
Ethem Utku Aktas, Ebru Cakmak, Mete Cihad Inan, and Cemal Yilmaz
(Softtech Research and Development, Turkiye; Microsoft EMEA, Turkiye; Sabanci University, Turkiye)


@InProceedings{ESEC/FSE23p2201, author = {Ethem Utku Aktas and Ebru Cakmak and Mete Cihad Inan and Cemal Yilmaz}, title = {Issue Report Validation in an Industrial Context}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2201-2200}, doi = {10.1145/3611643.3613887}, year = {2023}, } Publisher's Version

On the Dual Nature of Necessity in Use of Rust Unsafe Code
Yuchen Zhang, Ashish Kundu, Georgios Portokalidis, and Jun Xu
(Stevens Institute of Technology, USA; Cisco Research, USA; University of Utah, USA)


@InProceedings{ESEC/FSE23p2213, author = {Yuchen Zhang and Ashish Kundu and Georgios Portokalidis and Jun Xu}, title = {On the Dual Nature of Necessity in Use of Rust Unsafe Code}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2213-2212}, doi = {10.1145/3611643.3613878}, year = {2023}, } Publisher's Version

Analyzing Microservice Connectivity with Kubesonde
Jacopo Bufalino, Mario Di Francesco, and Tuomas Aura
(Aalto University, Finland; Eficode, Finland)


@InProceedings{ESEC/FSE23p2225, author = {Jacopo Bufalino and Mario Di Francesco and Tuomas Aura}, title = {Analyzing Microservice Connectivity with Kubesonde}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2225-2224}, doi = {10.1145/3611643.3613899}, year = {2023}, } Publisher's Version

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
Hassan Sartaj, Shaukat Ali, Tao Yue, and Kjetil Moberg
(Simula Research Laboratory, Norway; Oslo Metropolitan University, Norway; Norwegian Health Authority, Norway)


@InProceedings{ESEC/FSE23p2237, author = {Hassan Sartaj and Shaukat Ali and Tao Yue and Kjetil Moberg}, title = {Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2237-2236}, doi = {10.1145/3611643.3613888}, year = {2023}, } Publisher's Version

Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365
Fangkai Yang, Wenjie Yin, Lu Wang, Tianci Li, Pu Zhao, Bo Liu, Paul Wang, Bo Qiao, Yudong Liu, Mårten Björkman, Saravan Rajmohan, Qingwei Lin, and Dongmei Zhang
(Microsoft, China; KTH Royal Institute of Technology, Sweden; Microsoft, USA)


@InProceedings{ESEC/FSE23p2249, author = {Fangkai Yang and Wenjie Yin and Lu Wang and Tianci Li and Pu Zhao and Bo Liu and Paul Wang and Bo Qiao and Yudong Liu and Mårten Björkman and Saravan Rajmohan and Qingwei Lin and Dongmei Zhang}, title = {Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2249-2248}, doi = {10.1145/3611643.3613866}, year = {2023}, } Publisher's Version

The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development
Zheng Li and Austen Rainer
(Queen's University Belfast, UK)


@InProceedings{ESEC/FSE23p2261, author = {Zheng Li and Austen Rainer}, title = {The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2261-2260}, doi = {10.1145/3611643.3613886}, year = {2023}, } Publisher's Version

Ideas, Visions, and Reflections

Contribution-Based Firing of Developers?
Vincenzo Orrei, Marco Raglianti, Csaba Nagy, and Michele Lanza
(USI Lugano, Switzerland)


@InProceedings{ESEC/FSE23p2273, author = {Vincenzo Orrei and Marco Raglianti and Csaba Nagy and Michele Lanza}, title = {Contribution-Based Firing of Developers?}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2273-2272}, doi = {10.1145/3611643.3613085}, year = {2023}, } Publisher's Version

Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants
Milos Ojdanic, Mike Papadakis, and Mark Harman
(University of Luxembourg, Luxembourg; Meta Platforms, UK; University College London, UK)


@InProceedings{ESEC/FSE23p2278, author = {Milos Ojdanic and Mike Papadakis and Mark Harman}, title = {Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2278-2277}, doi = {10.1145/3611643.3613089}, year = {2023}, } Publisher's Version

Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables
Jian Gu and Harald C. Gall
(Monash University, Australia; University of Zurich, Switzerland)


@InProceedings{ESEC/FSE23p2283, author = {Jian Gu and Harald C. Gall}, title = {Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2283-2282}, doi = {10.1145/3611643.3613076}, year = {2023}, } Publisher's Version

Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Christoph Treude, and Kenichi Matsumoto
(NAIST, Japan; University of Melbourne, Australia)


@InProceedings{ESEC/FSE23p2288, author = {Supatsara Wattanakriengkrai and Raula Gaikovina Kula and Christoph Treude and Kenichi Matsumoto}, title = {Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2288-2287}, doi = {10.1145/3611643.3613086}, year = {2023}, } Publisher's Version

Getting pwn’d by AI: Penetration Testing with Large Language Models
Andreas Happe and Jürgen Cito
(TU Wien, Austria)


@InProceedings{ESEC/FSE23p2293, author = {Andreas Happe and Jürgen Cito}, title = {Getting pwn’d by AI: Penetration Testing with Large Language Models}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2293-2292}, doi = {10.1145/3611643.3613083}, year = {2023}, } Publisher's Version

Towards Feature-Based Analysis of the Machine Learning Development Lifecycle
Boyue Caroline Hu and Marsha Chechik
(University of Toronto, Canada)


@InProceedings{ESEC/FSE23p2298, author = {Boyue Caroline Hu and Marsha Chechik}, title = {Towards Feature-Based Analysis of the Machine Learning Development Lifecycle}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2298-2297}, doi = {10.1145/3611643.3613082}, year = {2023}, } Publisher's Version

Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues
Ramtin Ehsani, Rezvaneh Rezapour, and Preetha Chatterjee
(Drexel University, USA)


@InProceedings{ESEC/FSE23p2303, author = {Ramtin Ehsani and Rezvaneh Rezapour and Preetha Chatterjee}, title = {Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2303-2302}, doi = {10.1145/3611643.3613077}, year = {2023}, } Publisher's Version

Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study
Amirali Sajadi, Kostadin Damevski, and Preetha Chatterjee
(Drexel University, USA; Virginia Commonwealth University, USA)


@InProceedings{ESEC/FSE23p2308, author = {Amirali Sajadi and Kostadin Damevski and Preetha Chatterjee}, title = {Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2308-2307}, doi = {10.1145/3611643.3613084}, year = {2023}, } Publisher's Version

Towards Strengthening Formal Specifications with Mutation Model Checking
Maxime Cordy, Sami Lazreg, Axel Legay, and Pierre Yves Schobbens
(University of Luxembourg, Luxembourg; Université Catholique de Louvain, Belgium; University of Namur, Belgium)


@InProceedings{ESEC/FSE23p2313, author = {Maxime Cordy and Sami Lazreg and Axel Legay and Pierre Yves Schobbens}, title = {Towards Strengthening Formal Specifications with Mutation Model Checking}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2313-2312}, doi = {10.1145/3611643.3613080}, year = {2023}, } Publisher's Version

Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
Haonan Li, Yu Hao, Yizhuo Zhai, and Zhiyun Qian
(University of California at Riverside, USA)


@InProceedings{ESEC/FSE23p2318, author = {Haonan Li and Yu Hao and Yizhuo Zhai and Zhiyun Qian}, title = {Assisting Static Analysis with Large Language Models: A ChatGPT Experiment}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2318-2317}, doi = {10.1145/3611643.3613078}, year = {2023}, } Publisher's Version

Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering
Kelechi G. Kalu, Taylor R. Schorlemmer, Sophie Chen, Kyle A. Robinson, Erik Kocinare, and James C. Davis
(Purdue University, USA; University of Michigan, USA)


@InProceedings{ESEC/FSE23p2323, author = {Kelechi G. Kalu and Taylor R. Schorlemmer and Sophie Chen and Kyle A. Robinson and Erik Kocinare and James C. Davis}, title = {Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2323-2322}, doi = {10.1145/3611643.3613075}, year = {2023}, } Publisher's Version

A Vision on Intentions in Software Engineering
Jacob Krüger, Yi Li, Chenguang Zhu, Marsha Chechik, Thorsten Berger, and Julia Rubin
(Eindhoven University of Technology, Netherlands; Nanyang Technological University, Singapore; University of Texas at Austin, USA; University of Toronto, Canada; Ruhr University Bochum, Germany; Chalmers - University of Gothenburg, Sweden; University of British Columbia, Canada)


@InProceedings{ESEC/FSE23p2328, author = {Jacob Krüger and Yi Li and Chenguang Zhu and Marsha Chechik and Thorsten Berger and Julia Rubin}, title = {A Vision on Intentions in Software Engineering}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2328-2327}, doi = {10.1145/3611643.3613087}, year = {2023}, } Publisher's Version

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities
Felipe Toledo, David Shriver, Sebastian Elbaum, and Matthew B. Dwyer
(University of Virginia, USA)


@InProceedings{ESEC/FSE23p2333, author = {Felipe Toledo and David Shriver and Sebastian Elbaum and Matthew B. Dwyer}, title = {Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2333-2332}, doi = {10.1145/3611643.3613079}, year = {2023}, } Publisher's Version

Demonstrations

LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation
Xiaoyu Sun, Xiao Chen, Yonghui Liu, John Grundy, and Li Li
(Australian National University, Australia; Monash University, Australia; Beihang University, China)


@InProceedings{ESEC/FSE23p2338, author = {Xiaoyu Sun and Xiao Chen and Yonghui Liu and John Grundy and Li Li}, title = {LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2338-2337}, doi = {10.1145/3611643.3613098}, year = {2023}, } Publisher's Version

npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Donald Pinckney, Federico Cassano, Arjun Guha, and Jonathan Bell
(Northeastern University, USA)


@InProceedings{ESEC/FSE23p2343, author = {Donald Pinckney and Federico Cassano and Arjun Guha and Jonathan Bell}, title = {npm-follower: A Complete Dataset Tracking the NPM Ecosystem}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2343-2342}, doi = {10.1145/3611643.3613094}, year = {2023}, } Publisher's Version

Ad Hoc Syntax-Guided Program Reduction
Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yiwen Dong, and Chengnian Sun
(University of Waterloo, Canada)


@InProceedings{ESEC/FSE23p2348, author = {Jia Le Tian and Mengxiao Zhang and Zhenyang Xu and Yongqiang Tian and Yiwen Dong and Chengnian Sun}, title = {Ad Hoc Syntax-Guided Program Reduction}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2348-2347}, doi = {10.1145/3611643.3613101}, year = {2023}, } Publisher's Version

On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers
Laura Cabra-Acela, Anamaria Mojica-Hanke, Mario Linares-Vásquez, and Steffen Herbold
(University of Los Andes, Colombia; University of Passau, Germany)


@InProceedings{ESEC/FSE23p2353, author = {Laura Cabra-Acela and Anamaria Mojica-Hanke and Mario Linares-Vásquez and Steffen Herbold}, title = {On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2353-2352}, doi = {10.1145/3611643.3613093}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available

Helion: Enabling Natural Testing of Smart Homes
Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, and Adwait Nadkarni
(College of William and Mary, USA; IBM Research, USA; University of Central Florida, USA)


@InProceedings{ESEC/FSE23p2358, author = {Prianka Mandal and Sunil Manandhar and Kaushal Kafle and Kevin Moran and Denys Poshyvanyk and Adwait Nadkarni}, title = {Helion: Enabling Natural Testing of Smart Homes}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2358-2357}, doi = {10.1145/3611643.3613095}, year = {2023}, } Publisher's Version

A Language Model of Java Methods with Train/Test Deduplication
Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, and Collin McMillan
(University of Notre Dame, USA; University of Maine, USA)


@InProceedings{ESEC/FSE23p2363, author = {Chia-Yi Su and Aakash Bansal and Vijayanta Jain and Sepideh Ghanavati and Collin McMillan}, title = {A Language Model of Java Methods with Train/Test Deduplication}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2363-2362}, doi = {10.1145/3611643.3613090}, year = {2023}, } Publisher's Version

DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns
Shriram Shanbhag, Sridhar Chimalakonda, Vibhu Saujanya Sharma, and Vikrant Kaulgud
(IIT Tirupati, India; Accenture Labs, India)


@InProceedings{ESEC/FSE23p2368, author = {Shriram Shanbhag and Sridhar Chimalakonda and Vibhu Saujanya Sharma and Vikrant Kaulgud}, title = {DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2368-2367}, doi = {10.1145/3611643.3613092}, year = {2023}, } Publisher's Version

MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk, and Adwait Nadkarni
(College of William and Mary, USA; University of Dhaka, Bangladesh; University of Central Florida, USA)


@InProceedings{ESEC/FSE23p2373, author = {Amit Seal Ami and Syed Yusuf Ahmed and Radowan Mahmud Redoy and Nathan Cooper and Kaushal Kafle and Kevin Moran and Denys Poshyvanyk and Adwait Nadkarni}, title = {MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2373-2372}, doi = {10.1145/3611643.3613099}, year = {2023}, } Publisher's Version

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs
Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang
(Shenzhen University, China; Institute of Software at Chinese Academy of Sciences, China; National Institute of Cyber Security, Taiwan; Academia Sinica, Taiwan)


@InProceedings{ESEC/FSE23p2378, author = {Ruiling Chen and Jiaxiang Liu and Xiaomu Shi and Ming-Hsien Tsai and Bow-Yaw Wang and Bo-Yin Yang}, title = {llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2378-2377}, doi = {10.1145/3611643.3613096}, year = {2023}, } Publisher's Version

P4b: A Translator from P4 Programs to Boogie
Chong Ye and Fei He
(Tsinghua University, China)


@InProceedings{ESEC/FSE23p2383, author = {Chong Ye and Fei He}, title = {P4b: A Translator from P4 Programs to Boogie}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2383-2382}, doi = {10.1145/3611643.3613091}, year = {2023}, } Publisher's Version

D2S2: Drag ’n’ Drop Mobile App Screen Search
Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, and Christoph Csallner
(University of Texas at Arlington, USA)


@InProceedings{ESEC/FSE23p2388, author = {Soumik Mohian and Tony Tang and Tuan Trinh and Don Dang and Christoph Csallner}, title = {D2S2: Drag ’n’ Drop Mobile App Screen Search}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2388-2387}, doi = {10.1145/3611643.3613100}, year = {2023}, } Publisher's Version

CONAN: Statically Detecting Connectivity Issues in Android Applications
Alejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero, Mario Linares-Vásquez, and Gabriele Bavota
(USI Lugano, Switzerland; University of Los Andes, Colombia)


@InProceedings{ESEC/FSE23p2393, author = {Alejandro Mazuera-Rozo and Camilo Escobar-Velásquez and Juan Espitia-Acero and Mario Linares-Vásquez and Gabriele Bavota}, title = {CONAN: Statically Detecting Connectivity Issues in Android Applications}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2393-2392}, doi = {10.1145/3611643.3613097}, year = {2023}, } Publisher's Version

Student Research Competition

A Data Set of Extracted Rationale from Linux Kernel Commit Messages
Mouna Dhaouadi
(Université de Montréal, Canada)


@InProceedings{ESEC/FSE23p2398, author = {Mouna Dhaouadi}, title = {A Data Set of Extracted Rationale from Linux Kernel Commit Messages}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2398-2397}, doi = {10.1145/3611643.3617851}, year = {2023}, } Publisher's Version

Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection
Niklas Risse
(MPI-SP, Germany)


@InProceedings{ESEC/FSE23p2402, author = {Niklas Risse}, title = {Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2402-2401}, doi = {10.1145/3611643.3617845}, year = {2023}, } Publisher's Version

Detection of Optimizations Missed by the Compiler
Yi Zhang
(Nanjing University, China)


@InProceedings{ESEC/FSE23p2406, author = {Yi Zhang}, title = {Detection of Optimizations Missed by the Compiler}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2406-2405}, doi = {10.1145/3611643.3617846}, year = {2023}, } Publisher's Version

Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage
Emily Nguyen
(University of California at Los Angeles, USA)


@InProceedings{ESEC/FSE23p2410, author = {Emily Nguyen}, title = {Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2410-2409}, doi = {10.1145/3611643.3617849}, year = {2023}, } Publisher's Version

Inferring Complexity Bounds from Recurrence Relations
Didier Ishimwe
(George Mason University, USA)


@InProceedings{ESEC/FSE23p2414, author = {Didier Ishimwe}, title = {Inferring Complexity Bounds from Recurrence Relations}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2414-2413}, doi = {10.1145/3611643.3617853}, year = {2023}, } Publisher's Version

LLM-Based Code Generation Method for Golang Compiler Testing
Qiuhan Gu
(Nanjing University, China)


@InProceedings{ESEC/FSE23p2418, author = {Qiuhan Gu}, title = {LLM-Based Code Generation Method for Golang Compiler Testing}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2418-2417}, doi = {10.1145/3611643.3617850}, year = {2023}, } Publisher's Version

Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection
Issam Sedki
(Concordia University, Canada)


@InProceedings{ESEC/FSE23p2422, author = {Issam Sedki}, title = {Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2422-2421}, doi = {10.1145/3611643.3617847}, year = {2023}, } Publisher's Version

STraceBERT: Source Code Retrieval using Semantic Application Traces
Claudio Spiess
(University of California at Davis, USA)


@InProceedings{ESEC/FSE23p2426, author = {Claudio Spiess}, title = {STraceBERT: Source Code Retrieval using Semantic Application Traces}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2426-2425}, doi = {10.1145/3611643.3617852}, year = {2023}, } Publisher's Version

The Call Graph Chronicles: Unleashing the Power Within
Masudul Hasan Masud Bhuiyan
(CISPA Helmholtz Center for Information Security, Germany)


@InProceedings{ESEC/FSE23p2430, author = {Masudul Hasan Masud Bhuiyan}, title = {The Call Graph Chronicles: Unleashing the Power Within}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2430-2429}, doi = {10.1145/3611643.3617854}, year = {2023}, } Publisher's Version

The State of Survival in OSS: The Impact of Diversity
Zixuan Feng
(Oregon State University, USA)


@InProceedings{ESEC/FSE23p2434, author = {Zixuan Feng}, title = {The State of Survival in OSS: The Impact of Diversity}, booktitle = {Proc.\ ESEC/FSE}, publisher = {ACM}, pages = {2434-2433}, doi = {10.1145/3611643.3617848}, year = {2023}, } Publisher's Version

proc time: 1.11