FSE 2024
Proceedings of the ACM on Software Engineering, Volume 1, Number FSE

Title Page

Editorial Message of the PACMSE Editor in Chief

Editorial Message

FSE 2024 Sponsors and Supporters

JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization
Xiangping Chen, Furen Xu, Yuan Huang, Neng Zhang, and Zibin Zheng
(Sun Yat-sen University, Guangzhou, China)

Publisher's Version

ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems
Guangba Yu, Pengfei Chen, Zilong He, Qiuyu Yan, Yu Luo, Fangyuan Li, and Zibin Zheng
(Sun Yat-sen University, Guangzhou, China; Tencent, China)

Publisher's Version

Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings
Zirui Song, Jiongyi Chen, and Kehuan Zhang
(Chinese University of Hong Kong, Hong Kong; National University of Defense Technology, China)

Publisher's Version

Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications
Keke Lian, Lei Zhang, Guangliang Yang, Shuo Mao, Xinjie Wang, Yuan Zhang, and Min Yang
(Fudan University, China)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

Characterizing Python Library Migrations
Mohayeminul Islam, Ajay Kumar Jha, Ildar Akhmetov, and Sarah Nadi
(University of Alberta, Canada; North Dakota State University, USA; Northeastern University, Canada)

Publisher's Version Published Artifact Artifacts Available

EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Yifan Zhang, Jiliang Li, Zachary Karas, Aakash Bansal, Toby Jia-Jun Li, Collin McMillan, Kevin Leach, and Yu Huang
(Vanderbilt University, USA; University of Notre Dame, USA)

Publisher's Version Published Artifact Artifacts Available

LILAC: Log Parsing using LLMs with Adaptive Parsing Cache
Zhihan Jiang, Jinyang Liu, Zhuangbin Chen, Yichen Li, Junjie Huang, Yintong Huo, Pinjia He, Jiazhen Gu, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong, China; Sun Yat-sen University, Zhuhai, China; Chinese University of Hong Kong, Shenzhen, China)

Publisher's Version Info

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Zexu Wang, Jiachi Chen, Yanlin Wang, Yu Zhang, Weizhe Zhang, and Zibin Zheng
(Sun Yat-sen University, Zhuhai, China; Peng Cheng Laboratory, Shenzhen, China; Harbin Institute of Technology, China; GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China)

Publisher's Version

IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion
Bolun Li, Zhihong Sun, Tao Huang, Hongyu Zhang, Yao Wan, Ge Li, Zhi Jin, and Chen Lyu
(Shandong Normal University, China; Chongqing University, China; Huazhong University of Science and Technology, China; Peking University, China)

Publisher's Version

Shadows in the Interface: A Comprehensive Study on Dark Patterns
Liming Nie, Yangyang Zhao, Chenglin Li, Xuqiong Luo, and Yang Liu
(Shenzhen Technology University, China; Zhejiang Sci-Tech University, China; Changsha University of Science and Technology, China; Nanyang Technological University, Singapore)

Publisher's Version

ProveNFix: Temporal Property-Guided Program Repair
Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, and Abhik Roychoudhury
(National University of Singapore, Singapore; Beihang University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable ACM SIGSOFT Distinguished Paper Award

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
Zeqin Liao, Yuhong Nan, Henglong Liang, Sicheng Hao, Juan Zhai, Jiajing Wu, and Zibin Zheng
(Sun Yat-sen University, Zhuhai, China; Sun Yat-sen University, Guangzhou, China; University of Massachusetts, Amherst, USA; GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China)

Publisher's Version

Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Aashish Yadavally, Yi Li, and Tien N. Nguyen
(University of Texas at Dallas, USA)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Yoel Kim and Yunja Choi
(Kyungpook National University, South Korea)

Publisher's Version Published Artifact Artifacts Available

Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim, Jaeseung Choi, Seongjae Im, Kihong Heo, and Sang Kil Cha
(KAIST, South Korea; Sogang University, South Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

DyPyBench: A Benchmark of Executable Python Software
Islem Bouzenia, Bajaj Piyush Krishan, and Michael Pradel
(University of Stuttgart, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning
Jingzhi Gong and Tao Chen
(University of Electronic Science and Technology of China, China; Loughborough University, United Kingdom; University of Birmingham, United Kingdom)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

R2I: A Relative Readability Metric for Decompiled Code
Haeun Eom, Dohee Kim, Sori Lim, Hyungjoon Koo, and Sungjae Hwang
(Sungkyunkwan University, South Korea)

Publisher's Version Published Artifact Artifacts Available

DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises
Daoguang Zan, Ailun Yu, Bo Shen, Bei Chen, Wei Li, Yongshun Gong, Xiaolin Chen, Yafen Yao, Weihua Luo, Bei Guan, Yan Liu, Yongji Wang, Qianxiang Wang, and Lizhen Cui
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Peking University, China; Huawei Technologies, China; Independent Researcher, China; Shandong University, China; Funcun-wuyou Technologies, China)

Publisher's Version

Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall, and Paul Gazzillo
(University of Central Florida, USA; University of Texas at Austin, USA; Inria, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Abstraction-Aware Inference of Metamorphic Relations
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastian Uchitel, Nazareno Aguirre, and Marcelo F. Frias
(University of Rio Cuarto, Argentina; IMDEA Software Institute, Spain; University of Luxembourg, Luxembourg; University of Buenos Aires, Argentina; Imperial College London, United Kingdom; CONICET, Argentina; University of Texas at El Paso, USA)

Publisher's Version

TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
Haiyu Huang, Xiaoyu Zhang, Pengfei Chen, Zilong He, Zhiming Chen, Guangba Yu, Hongyang Chen, and Chen Sun
(Sun Yat-sen University, Guangzhou, China; Huawei, China)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Xiao Cheng, Jiawei Ren, and Yulei Sui
(UNSW, Sydney, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable ACM SIGSOFT Distinguished Paper Award

Understanding Developers’ Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem
Anderson Oliveira, João Correia, Wesley K. G. Assunção, Juliana Alves Pereira, Rafael de Mello, Daniel Coutinho, Caio Barbosa, Paulo Libório, and Alessandro Garcia
(PUC-Rio, Brazil; North Carolina State University, USA; Federal University of Rio de Janeiro, Brazil)

Publisher's Version Info ACM SIGSOFT Distinguished Paper Award

Adapting Multi-objectivized Software Configuration Tuning
Tao Chen and Miqing Li
(University of Electronic Science and Technology of China, China; University of Birmingham, United Kingdom)

Publisher's Version Published Artifact Artifacts Available

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China)

Publisher's Version Published Artifact Artifacts Available

Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
Yan Wang, Xiaoning Li, Tien N. Nguyen, Shaohua Wang, Chao Ni, and Ling Ding
(Central University of Finance and Economics, China; University of Texas at Dallas, USA; Zhejiang University, China)

Publisher's Version

Go Static: Contextualized Logging Statement Generation
Yichen Li, Yintong Huo, Renyi Zhong, Zhihan Jiang, Jinyang Liu, Junjie Huang, Jiazhen Gu, Pinjia He, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong, China; Chinese University of Hong Kong, Shenzhen, China)

Publisher's Version

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Malinda Dilhara, Abhiram Bellur, Timofey Bryksin, and Danny Dig
(University of Colorado, Boulder, USA; JetBrains Research, Cyprus; JetBrains Research - University of Colorado, Boulder, USA)

Publisher's Version Info

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, and Alex Groce
(Northern Arizona University, USA; Carnegie Mellon University, USA; Mysten Labs, USA)

Publisher's Version Published Artifact Info Artifacts Available

CodePlan: Repository-Level Coding using LLMs and Planning
Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, B. Ashok, and Shashank Shet
(Microsoft Research, India)

Publisher's Version

Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks
Wei Wang, Huilong Ning, Gaowei Zhang, Libo Liu, and Yi Wang
(Beijing University of Posts and Telecommunications, China; University of Melbourne, Australia)

Publisher's Version Info

Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Huaien Zhang, Yu Pei, Shuyun Liang, and Shin Hwei Tan
(Hong Kong Polytechnic University, China; Southern University of Science and Technology, China; Concordia University, Canada)

Publisher's Version

Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Jiawei Li, David Faragó, Christian Petrov, and Iftekhar Ahmed
(University of California at Irvine, USA; Innoopract, Germany; QPR Technologies, Germany)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Sabaat Haroon, Chris Brown, and Muhammad Ali Gulzar
(Virginia Tech, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

CORE: Resolving Code Quality Issues using LLMs
Nalin Wadhwa, Jui Pradhan, Atharv Sonwane, Surya Prakash Sahu, Nagarajan Natarajan, Aditya Kanade, Suresh Parthasarathy, and Sriram Rajamani
(Microsoft Research, India)

Publisher's Version Info

Towards AI-Assisted Synthesis of Verified Dafny Methods
Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, and James Noble
(University of California at Irvine, USA; Creative Research & Programming, New Zealand; Australian National University, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

AROMA: Automatic Reproduction of Maven Artifacts
Mehdi Keshani, Tudor-Gabriel Velican, Gideon Bot, and Sebastian Proksch
(Delft University of Technology, Netherlands)

Publisher's Version

Harnessing Neuron Stability to Improve DNN Verification
Hai Duong, Dong Xu, Thanhvu Nguyen, and Matthew B. Dwyer
(George Mason University, USA; University of Virginia, USA)

Publisher's Version

“The Law Doesn’t Work Like a Computer”: Exploring Software Licensing Issues Faced by Legal Practitioners
Nathan Wintersgill, Trevor Stalnaker, Laura A. Heymann, Oscar Chaparro, and Denys Poshyvanyk
(William & Mary, USA)

Publisher's Version Published Artifact Artifacts Available ACM SIGSOFT Distinguished Paper Award

COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings
Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, and Chao Shen
(Xi’an Jiaotong University, China; University of Massachusetts, Amherst, USA)

Publisher's Version

How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
Christian Birchler, Tanzil Kombarabettu Mohammed, Pooja Rani, Teodora Nechita, Timo Kehrer, and Sebastiano Panichella
(Zurich University of Applied Sciences, Switzerland; University of Bern, Switzerland; University of Zurich, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang, Xiaofei Ma, Murali Krishna Ramanathan, and Baishakhi Ray
(Columbia University, USA; AWS AI Labs, USA)

Publisher's Version

Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Yanfu Yan, Nathan Cooper, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk, and Steve Rich
(William & Mary, USA; University of Central Florida, USA; USI Lugano, Switzerland; Cisco Systems, USA)

Publisher's Version

RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction
Gengyi Sun, Sarra Habchi, and Shane McIntosh
(University of Waterloo, Canada; Ubisoft, Canada)

Publisher's Version Published Artifact Artifacts Available

Towards Efficient Verification of Constant-Time Cryptographic Implementations
Luwei Cai, Fu Song, and Taolue Chen
(ShanghaiTech University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China; Birkbeck University of London, United Kingdom)

Publisher's Version Published Artifact Info Artifacts Available

Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
Tao Xiao, Hideaki Hata, Christoph Treude, and Kenichi Matsumoto
(NAIST, Japan; Shinshu University, Japan; Singapore Management University, Singapore)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation
Vijayaraghavan Murali, Chandra Maddila, Imad Ahmad, Michael Bolin, Daniel Cheng, Negar Ghorbani, Renuka Fernandez, Nachiappan Nagappan, and Peter C. Rigby
(Meta Platforms, USA; Meta, USA; Concordia University, Canada)

Publisher's Version

Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Oussama Ben Sghaier and Houari Sahraoui
(Université de Montréal, Canada)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
Zejun Zhang, Zhenchang Xing, Xiaoxue Ren, Qinghua Lu, and Xiwei Xu
(Australian National University, Australia; CSIRO’s Data61, Australia; Zhejiang University, China)

Publisher's Version

Java JIT Testing with Template Extraction
Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, and Milos Gligoric
(University of Texas at Austin, USA)

Publisher's Version

BRF: Fuzzing the eBPF Runtime
Hsin-Wei Hung and Ardalan Amiri Sani
(University of California at Irvine, USA)

Publisher's Version

DTD: Comprehensive and Scalable Testing for Debuggers
Hongyi Lu, Zhibo Liu, Shuai Wang, and Fengwei Zhang
(Southern University of Science and Technology, China; Hong Kong University of Science and Technology, China)

Publisher's Version Info

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
Simin Chen, XiaoNing Feng, Xiaohong Han, Cong Liu, and Wei Yang
(University of Texas at Dallas, USA; Taiyuan University of Technology, China; University of California at Riverside, USA)

Publisher's Version

Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers
Yichen Li, Dongwei Xiao, Zhibo Liu, Qi Pang, and Shuai Wang
(Hong Kong University of Science and Technology, China; Carnegie Mellon University, USA)

Publisher's Version

Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich, and Kelly Blincoe
(University of Auckland, New Zealand; Victoria University of Wellington, New Zealand)

Publisher's Version Published Artifact Artifacts Available

Effective Teaching through Code Reviews: Patterns and Anti-patterns
Anita Sarma and Nina Chen
(Oregon State University, USA; Google, USA)

Publisher's Version

An Analysis of the Costs and Benefits of Autocomplete in IDEs
Shaokang Jiang and Michael Coblenz
(University of California at San Diego, San Diego, USA)

Publisher's Version Published Artifact Artifacts Available

Decomposing Software Verification using Distributed Summary Synthesis
Dirk Beyer, Matthias Kettl, and Thomas Lemberger
(LMU Munich, Germany)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Can GPT-4 Replicate Empirical Software Engineering Research?
Jenny T. Liang, Carmen Badea, Christian Bird, Robert DeLine, Denae Ford, Nicole Forsgren, and Thomas Zimmermann
(Carnegie Mellon University, USA; Microsoft Research, USA)

Publisher's Version

A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques
Max Landauer, Florian Skopik, and Markus Wurzenberger
(AIT Austrian Institute of Technology, Austria)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach
Xin Jin and Zhiqiang Lin
(Ohio State University, USA)

Publisher's Version Published Artifact Artifacts Available

On the Contents and Utility of IoT Cybersecurity Guidelines
Jesse Chen, Dharun Anandayuvaraj, James C. Davis, and Sazzadur Rahaman
(University of Arizona, USA; Purdue University, USA)

Publisher's Version Info

A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
Sungmin Kang, Gabin An, and Shin Yoo
(KAIST, South Korea)

Publisher's Version Info

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, and Yixiang Chen
(East China Normal University, China; Metatrust Labs, Singapore; Tianjin University, China; Nanyang Technological University, Singapore; Xi’an Jiaotong University, China)

Publisher's Version ACM SIGSOFT Distinguished Paper Award

A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Soneya Binta Hossain, Nan Jiang, Qiang Zhou, Xiaopeng Li, Wen-Hao Chiang, Yingjun Lyu, Hoan Nguyen, and Omer Tripp
(University of Virginia, USA; Purdue University, USA; Amazon Web Services, USA)

Publisher's Version

Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
Jun Lyu, Shanshan Li, He Zhang, Lanxin Yang, Bohan Liu, and Manuel Rigger
(Nanjing University, China; National University of Singapore, Singapore)

Publisher's Version

On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
Ophir M. Carmel and Guy Katz
(Hebrew University of Jerusalem, Israel)

Publisher's Version

Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules
Shengcheng Yu, Chunrong Fang, Quanjun Zhang, Mingzhe Du, Jia Liu, and Zhenyu Chen
(Nanjing University, China)

Publisher's Version

CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, and Yang Liu
(Fudan University, China; Nanyang Technological University, Singapore; Huazhong University of Science and Technology, China)

Publisher's Version

Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
Zhen Yang, Fang Liu, Zhongxing Yu, Jacky Wai Keung, Jia Li, Shuo Liu, Yifan Hong, Xiaoxue Ma, Zhi Jin, and Ge Li
(Shandong University, China; Beihang University, China; City University of Hong Kong, China; Peking University, China)

Publisher's Version

TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers
Changwei Zou, Dongjie He, Yulei Sui, and Jingling Xue
(UNSW, Sydney, Australia; Chongqing University, China)

Publisher's Version

Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
Md Shamimur Rahman, Zadia Codabux, and Chanchal K. Roy
(University of Saskatchewan, Canada)

Publisher's Version Published Artifact Info Artifacts Available

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, and Yulei Sui
(East China Normal University, China; University of Technology Sydney, Australia; Ant Group, China; ETH Zurich, Switzerland; UNSW, Sydney, Australia)

Publisher's Version

Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning
Xiaoling Zhang, Zhengzi Xu, Shouguo Yang, Zhi Li, Zhiqiang Shi, and Limin Sun
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanyang Technological University, Singapore)

Publisher's Version

Evaluating and Improving ChatGPT for Unit Test Generation
Zhiqiang Yuan, Mingwei Liu, Shiji Ding, Kaixin Wang, Yixuan Chen, Xin Peng, and Yiling Lou
(Fudan University, China)

Publisher's Version

How to Gain Commit Rights in Modern Top Open Source Communities?
Xin Tan, Yan Gong, Geyu Huang, Haohua Wu, and Li Zhang
(Beihang University, China)

Publisher's Version

An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
Yibo He, Jiaming Huang, Hao Yu, and Tao Xie
(Peking University, China)

Publisher's Version

Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, and Fan Long
(University of Toronto, Canada; Nanyang Technological University, Singapore)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs
Haoran Liu, Zhouyang Jia, Shanshan Li, Yan Lei, Yue Yu, Yu Jiang, Xiaoguang Mao, and Xiangke Liao
(National University of Defense Technology, China; Chongqing University, China; Tsinghua University, China)

Publisher's Version

Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Ranim Khojah, Mazen Mohamad, Philipp Leitner, and Francisco Gomes de Oliveira Neto
(Chalmers - University of Gothenburg, Sweden; RISE Research Institutes of Sweden, Sweden; Chalmers, Sweden)

Publisher's Version

Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, and Xiaoxing Ma
(Nanjing University, China)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional

State Reconciliation Defects in Infrastructure as Code
Md Mahadi Hassan, John Salvador, Shubhra Kanti Karmaker Santu, and Akond Rahman
(Auburn University, USA)

Publisher's Version Published Artifact Info Artifacts Available

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, and Shuvendu K. Lahiri
(University of Michgan, USA; Microsoft Research, USA)

Publisher's Version

Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems
Yuntianyi Chen, Yuqi Huai, Shilong Li, Changnam Hong, and Joshua Garcia
(University of California at Irvine, Irvine, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Towards Better Graph Neural Network-Based Fault Localization through Enhanced Code Representation
Md Nakhla Rafi, Dong Jae Kim, An Ran Chen, Tse-Hsun (Peter) Chen, and Shaowei Wang
(Concordia University, Canada; De Paul University, USA; University of Alberta, Canada; University of Manitoba, Canada)

Publisher's Version

Predicting Failures of Autoscaling Distributed Applications
Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, and Ketai Qiu
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Constructor Institute Schaffhausen, Switzerland)

Publisher's Version Published Artifact Artifacts Available

Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks
Tarek Alakmeh, David Reich, Lena Jäger, and Thomas Fritz
(University of Zurich, Switzerland; University of Potsdam, Germany)

Publisher's Version

A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
Jinyin Chen, Chengyu Jia, Yunjie Yan, Jie Ge, Haibin Zheng, and Yao Cheng
(Zhejiang University of Technology, China; TÜV SÜD Asia Pacific, Singapore)

Publisher's Version Info

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
Dirk Beyer, Po-Chun Chien, Marek Jankola, and Nian-Ze Lee
(LMU Munich, Germany)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable ACM SIGSOFT Distinguished Paper Award

Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations
David Broneske, Sebastian Kittan, and Jacob Krüger
(DZHW Hannover, Germany; University of Magdeburg, Germany; Eindhoven University of Technology, Netherlands)

Publisher's Version

Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Yuxi Li, Yi Liu, Gelei Deng, Ying Zhang, Wenjia Song, Ling Shi, Kailong Wang, Yuekang Li, Yang Liu, and Haoyu Wang
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore; Virginia Tech, USA; UNSW, Sydney, Australia)

Publisher's Version

LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking
Yongzheng Xie, Hongyu Zhang, and Muhammad Ali Babar
(University of Adelaide, Australia; University of Newcastle, Australia)

Publisher's Version

MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
Ying Xiao, Jie M. Zhang, Yepang Liu, Mohammad Reza Mousavi, Sicen Liu, and Dingyuan Xue
(Southern University of Science and Technology, China; King’s College London, United Kingdom)

Publisher's Version

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Matteo Paltenghi and Michael Pradel
(University of Stuttgart, Germany)

Publisher's Version Published Artifact Artifacts Available

Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps
Shuqing Li, Cuiyun Gao, Jianping Zhang, Yujia Zhang, Yepang Liu, Jiazhen Gu, Yun Peng, and Michael R. Lyu
(Chinese University of Hong Kong, China; Harbin Institute of Technology, China; Southern University of Science and Technology, China)

Publisher's Version

Learning to Detect and Localize Multilingual Bugs
Haoran Yang, Yu Nong, Tao Zhang, Xiapu Luo, and Haipeng Cai
(Washington State University, USA; Macau University of Science and Technology, China; Hong Kong Polytechnic University, China)

Publisher's Version

BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
Luan Pham, Huong Ha, and Hongyu Zhang
(RMIT University, Australia; Chongqing University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

An Empirical Study on Code Review Activity Prediction and Its Impact in Practice
Doriane Olewicki, Sarra Habchi, and Bram Adams
(Queen’s University, Canada; Ubisoft, Canada)

Publisher's Version

Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?
Bonan Kou, Shengmai Chen, Zhijie Wang, Lei Ma, and Tianyi Zhang
(Purdue University, USA; University of Alberta, Canada; University of Tokyo, Japan)

Publisher's Version

Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation
Shasha Zhou, Mingyu Huang, Yanan Sun, and Ke Li
(University of Electronic Science and Technology of China, China; University of Exeter, United Kingdom; Sichuan University, China)

Publisher's Version Info

Mining Action Rules for Defect Reduction Planning
Khouloud Oueslati, Gabriel Laberge, Maxime Lamothe, and Foutse Khomh
(Polytechnique Montréal, Canada)

Publisher's Version

ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification
Fangwen Mu, Lin Shi, Song Wang, Zhuohao Yu, Binquan Zhang, ChenXue Wang, Shichao Liu, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Beihang University, China; York University, Canada; Harbin Institute of Technology, China; Huawei Central Software Institute, China)

Publisher's Version

Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
Yubo Mai, Zhipeng Gao, Xing Hu, Lingfeng Bao, Yu Liu, and JianLing Sun
(Zhejiang University, China)

Publisher's Version

A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories
Farbod Farhour, Ahmad Abdellatif, Essam Mansour, and Emad Shihab
(Concordia University, Canada; University of Calgary, Canada)

Publisher's Version

Revealing Software Development Work Patterns with PR-Issue Graph Topologies
Cleidson R. B. de Souza, Emilie Ma, Jesse Wong, Dongwook Yoon, and Ivan Beschastnikh
(Federal University of Pará, Brazil; University of British Columbia, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

DeciX: Explain Deep Learning Based Code Generation Applications
Simin Chen, Zexin Li, Wei Yang, and Cong Liu
(University of Texas at Dallas, USA; University of California at Riverside, Riverside, USA)

Publisher's Version

FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution
Jaehan Yoon and Sooyoung Cha
(Sungkyunkwan University, South Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Chengpeng Wang, Jipeng Zhang, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)

Publisher's Version

Partial Solution Based Constraint Solving Cache in Symbolic Execution
Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, and Ji Wang
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)

Publisher's Version

Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials
Yizhan Huang, Yichen Li, Weibin Wu, Jianping Zhang, and Michael R. Lyu
(Chinese University of Hong Kong, China; Sun Yat-sen University, China)

Publisher's Version

Bounding Random Test Set Size with Computational Learning Theory
Neil Walkinshaw, Michael Foster, José Miguel Rojas, and Robert M. Hierons
(University of Sheffield, United Kingdom)

Publisher's Version

MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems
Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, and Zuohua Ding
(Zhejiang Sci-Tech University, China; University of Science and Technology Beijing, China; Shenzhen Technology University, China)

Publisher's Version

Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis
Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, and Dimitris Mitropoulos
(Athens University of Economics and Business, Greece; ETH Zurich, Switzerland; Delft University of Technology, Netherlands; University of Athens, Greece)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Kai Gao, Weiwei Xu, Wenhao Yang, and Minghui Zhou
(Peking University, China)

Publisher's Version

Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the npm Ecosystem
Nimmi Rashinika Weeraddana, Mahmoud Alfadel, and Shane McIntosh
(University of Waterloo, Canada)

Publisher's Version

Mobile Bug Report Reproduction via Global Search on the App UI Model
Zhaoxu Zhang, Fazle Mohammed Tawsif, Komei Ryu, Tingting Yu, and William G. J. Halfond
(University of Southern California, USA; University of Connecticut, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Natural Symbolic Execution-Based Testing for Big Data Analytics
Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
(University of California at Los Angeles, Los Angeles, USA; Virginia Tech, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Investigating Documented Privacy Changes in Android OS
Chuan Yan, Mark Huasong Meng, Fuman Xie, and Guangdong Bai
(University of Queensland, Australia; National University of Singapore, Singapore; Institute for Infocomm Research at A*STAR, Singapore)

Publisher's Version

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
Qilin Zhou, Zhengyuan Wei, Haipeng Wang, Bo Jiang, and Wing-Kwong Chan
(City University of Hong Kong, China; University of Hong Kong, China; Beihang University, China)

Publisher's Version

Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs
Qi Xin, Haojun Wu, Jinran Tang, Xinyu Liu, Steven P. Reiss, and Jifeng Xuan
(Wuhan University, China; Hubei Luojia Laboratory, China; Brown University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional