FSE 2024
Proceedings of the ACM on Software Engineering, Volume 1, Number FSE
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Software Engineering, Volume 1, Number FSE, July 15–19, 2024, Porto de Galinhas, Brazil

FSE – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page
Editorial Message of the PACMSE Editor in Chief
Editorial Message
FSE 2024 Sponsors and Supporters

Papers

JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization
Xiangping Chen ORCID logo, Furen Xu ORCID logo, Yuan Huang ORCID logo, Neng Zhang ORCID logo, and Zibin Zheng ORCID logo
(Sun Yat-sen University, Guangzhou, China)
Article Search
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems
Guangba Yu ORCID logo, Pengfei Chen ORCID logo, Zilong He ORCID logo, Qiuyu Yan ORCID logo, Yu Luo ORCID logo, Fangyuan Li ORCID logo, and Zibin Zheng ORCID logo
(Sun Yat-sen University, Guangzhou, China; Tencent, China)
Article Search
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings
Zirui Song ORCID logo, Jiongyi Chen ORCID logo, and Kehuan Zhang ORCID logo
(Chinese University of Hong Kong, Hong Kong; National University of Defense Technology, China)
Article Search
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications
Keke Lian ORCID logo, Lei Zhang ORCID logo, Guangliang Yang ORCID logo, Shuo Mao ORCID logo, Xinjie Wang ORCID logo, Yuan Zhang ORCID logo, and Min Yang ORCID logo
(Fudan University, China)
Article Search
Characterizing Python Library Migrations
Mohayeminul Islam ORCID logo, Ajay Kumar Jha ORCID logo, Ildar Akhmetov ORCID logo, and Sarah NadiORCID logo
(University of Alberta, Canada; North Dakota State University, USA; Northeastern University, Canada)
Article Search Artifacts Available
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization
Yifan Zhang ORCID logo, Jiliang Li ORCID logo, Zachary Karas ORCID logo, Aakash Bansal ORCID logo, Toby Jia-Jun Li ORCID logo, Collin McMillan ORCID logo, Kevin Leach ORCID logo, and Yu Huang ORCID logo
(Vanderbilt University, USA; University of Notre Dame, USA)
Article Search Artifacts Available
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache
Zhihan Jiang ORCID logo, Jinyang Liu ORCID logo, Zhuangbin Chen ORCID logo, Yichen Li ORCID logo, Junjie Huang ORCID logo, Yintong Huo ORCID logo, Pinjia He ORCID logo, Jiazhen Gu ORCID logo, and Michael R. Lyu ORCID logo
(Chinese University of Hong Kong, Hong Kong, China; Sun Yat-sen University, Zhuhai, China; Chinese University of Hong Kong, Shenzhen, China)
Article Search Info
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Zexu Wang ORCID logo, Jiachi Chen ORCID logo, Yanlin Wang ORCID logo, Yu Zhang ORCID logo, Weizhe Zhang ORCID logo, and Zibin Zheng ORCID logo
(Sun Yat-sen University, Zhuhai, China; Peng Cheng Laboratory, Shenzhen, China; Harbin Institute of Technology, Harbin, China; GuangDong Engineering Technology Research Center of Blockchain, Zhuhai, China)
Article Search
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion
Bolun Li ORCID logo, Zhihong Sun ORCID logo, Tao Huang ORCID logo, Hongyu Zhang ORCID logo, Yao Wan ORCID logo, Ge Li ORCID logo, Zhi Jin ORCID logo, and Chen Lyu ORCID logo
(Shandong Normal University, China; Chongqing University, China; Huazhong University of Science and Technology, China; Peking University, China)
Article Search
Shadows in the Interface: A Comprehensive Study on Dark Patterns
Liming Nie ORCID logo, Yangyang Zhao ORCID logo, Chenglin Li ORCID logo, Xuqiong Luo ORCID logo, and Yang Liu ORCID logo
(Shenzhen Technology University, China; Zhejiang Sci-Tech University, China; Changsha University of Science and Technology, China; Nanyang Technological University, Singapore)
Article Search
ProveNFix: Temporal Property-Guided Program Repair
Yahui Song ORCID logo, Xiang Gao ORCID logo, Wenhua Li ORCID logo, Wei-Ngan ChinORCID logo, and Abhik RoychoudhuryORCID logo
(National University of Singapore, Singapore; Beihang University, China)
Article Search Artifacts Available Artifacts Reusable
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
Zeqin Liao ORCID logo, Yuhong Nan ORCID logo, Henglong Liang ORCID logo, Sicheng Hao ORCID logo, Juan Zhai ORCID logo, Jiajing Wu ORCID logo, and Zibin Zheng ORCID logo
(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)
Article Search
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning
Aashish Yadavally ORCID logo, Yi Li ORCID logo, and Tien N. Nguyen ORCID logo
(University of Texas, Dallas, USA)
Article Search
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software
Yoel Kim ORCID logo and Yunja Choi ORCID logo
(Kyungpook National University, South Korea)
Preprint Artifacts Available
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim ORCID logo, Jaeseung Choi ORCID logo, Seongjae Im ORCID logo, Kihong Heo ORCID logo, and Sang Kil ChaORCID logo
(KAIST, South Korea; Sogang University, South Korea)
Article Search Artifacts Available Artifacts Reusable
DyPyBench: A Benchmark of Executable Python Software
Islem Bouzenia ORCID logo, Bajaj Piyush Krishan ORCID logo, and Michael Pradel ORCID logo
(University of Stuttgart, Germany)
Article Search Artifacts Available Artifacts Reusable
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning
Jingzhi Gong ORCID logo and Tao Chen ORCID logo
(University of Electronic Science and Technology of China, China; Loughborough University, United Kingdom; University of Birmingham, United Kingdom)
Article Search Artifacts Available Artifacts Reusable
R2I: A Relative Readability Metric for Decompiled Code
Haeun Eom ORCID logo, Dohee Kim ORCID logo, Sori Lim ORCID logo, Hyungjoon Koo ORCID logo, and Sungjae Hwang ORCID logo
(Sungkyunkwan University, South Korea)
Article Search Artifacts Available
DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises
Daoguang Zan ORCID logo, Ailun Yu ORCID logo, Bo Shen ORCID logo, Bei Chen ORCID logo, Wei Li ORCID logo, Yongshun Gong ORCID logo, Xiaolin Chen ORCID logo, Yafen Yao ORCID logo, Weihua Luo ORCID logo, Bei Guan ORCID logo, Yan Liu ORCID logo, Yongji Wang ORCID logo, Qianxiang Wang ORCID logo, and Lizhen Cui ORCID logo
(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)
Article Search
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl YıldıranORCID logo, Jeho Oh ORCID logo, Julia Lawall ORCID logo, and Paul GazzilloORCID logo
(University of Central Florida, USA; University of Texas, Austin, USA; Inria, France)
Preprint Artifacts Available Artifacts Functional
Abstraction-Aware Inference of Metamorphic Relations
Agustín Nolasco ORCID logo, Facundo Molina ORCID logo, Renzo Degiovanni ORCID logo, Alessandra GorlaORCID logo, Diego GarbervetskyORCID logo, Mike Papadakis ORCID logo, Sebastian Uchitel ORCID logo, Nazareno AguirreORCID logo, and Marcelo F. Frias ORCID logo
(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)
Article Search
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State
Haiyu Huang ORCID logo, Xiaoyu Zhang ORCID logo, Pengfei Chen ORCID logo, Zilong He ORCID logo, Zhiming Chen ORCID logo, Guangba Yu ORCID logo, Hongyang Chen ORCID logo, and Chen Sun ORCID logo
(Sun Yat-sen University, Guangzhou, China; Huawei, China)
Article Search
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing
Xiao Cheng ORCID logo, Jiawei Ren ORCID logo, and Yulei Sui ORCID logo
(UNSW, Australia)
Article Search Artifacts Available Artifacts Reusable
Understanding Developers’ Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem
Anderson Oliveira ORCID logo, João Correia ORCID logo, Wesley K. G. AssunçãoORCID logo, Juliana Alves Pereira ORCID logo, Rafael de Mello ORCID logo, Daniel Coutinho ORCID logo, Caio Barbosa ORCID logo, Paulo Libório ORCID logo, and Alessandro Garcia ORCID logo
(PUC-Rio, Brazil; North Carolina State University, USA; Federal University of Rio de Janeiro, Brazil)
Article Search Info
Adapting Multi-objectivized Software Configuration Tuning
Tao Chen ORCID logo and Miqing Li ORCID logo
(University of Electronic Science and Technology of China, China; University of Birmingham, United Kingdom)
Article Search Artifacts Available
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking
Zian Su ORCID logo, Xiangzhe Xu ORCID logo, Ziyang Huang ORCID logo, Zhuo Zhang ORCID logo, Yapeng Ye ORCID logo, Jianjun Huang ORCID logo, and Xiangyu ZhangORCID logo
(Purdue University, USA; Renmin University of China, China)
Article Search Artifacts Available
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models
Yan Wang ORCID logo, Xiaoning Li ORCID logo, Tien N. Nguyen ORCID logo, Shaohua Wang ORCID logo, Chao NiORCID logo, and Ling Ding ORCID logo
(Central University of Finance and Economics, China; University of Texas, Dallas, USA; Zhejiang University, China)
Article Search
Go Static: Contextualized Logging Statement Generation
Yichen Li ORCID logo, Yintong Huo ORCID logo, Renyi Zhong ORCID logo, Zhihan Jiang ORCID logo, Jinyang Liu ORCID logo, Junjie Huang ORCID logo, Jiazhen Gu ORCID logo, Pinjia He ORCID logo, and Michael R. Lyu ORCID logo
(Chinese University of Hong Kong, Hong Kong, China; Chinese University of Hong Kong, Shenzhen, China)
Article Search
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example
Malinda DilharaORCID logo, Abhiram Bellur ORCID logo, Timofey Bryksin ORCID logo, and Danny Dig ORCID logo
(University of Colorado, Boulder, USA; JetBrains Research, Cyprus)
Article Search Info
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
Sourav Deb ORCID logo, Kush Jain ORCID logo, Rijnard van Tonder ORCID logo, Claire Le GouesORCID logo, and Alex GroceORCID logo
(Northern Arizona University, USA; Carnegie Mellon University, USA; Mysten Labs, USA)
Preprint Info Artifacts Available
CodePlan: Repository-Level Coding using LLMs and Planning
Ramakrishna Bairi ORCID logo, Atharv Sonwane ORCID logo, Aditya Kanade ORCID logo, Vageesh D. C. ORCID logo, Arun IyerORCID logo, Suresh Parthasarathy ORCID logo, Sriram Rajamani ORCID logo, B. Ashok ORCID logo, and Shashank Shet ORCID logo
(Microsoft Research, India)
Article Search
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks
Wei Wang ORCID logo, Huilong Ning ORCID logo, Gaowei Zhang ORCID logo, Libo Liu ORCID logo, and Yi Wang ORCID logo
(Beijing University of Posts and Telecommunications, China; University of Melbourne, Australia)
Article Search Info
Understanding and Detecting Annotation-Induced Faults of Static Analyzers
Huaien Zhang ORCID logo, Yu Pei ORCID logo, Shuyun Liang ORCID logo, and Shin Hwei Tan ORCID logo
(Hong Kong Polytechnic University, China; Southern University of Science and Technology, China; Concordia University, Canada)
Article Search
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model
Jiawei Li ORCID logo, David Faragó ORCID logo, Christian Petrov ORCID logo, and Iftekhar Ahmed ORCID logo
(University of California, Irvine, USA; Innoopract, Germany; QPR Technologies, Germany)
Article Search
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing
Sabaat Haroon ORCID logo, Chris Brown ORCID logo, and Muhammad Ali Gulzar ORCID logo
(Virginia Tech, USA)
Article Search Artifacts Available Artifacts Reusable
CORE: Resolving Code Quality Issues using LLMs
Nalin Wadhwa ORCID logo, Jui Pradhan ORCID logo, Atharv Sonwane ORCID logo, Surya Prakash Sahu ORCID logo, Nagarajan Natarajan ORCID logo, Aditya Kanade ORCID logo, Suresh Parthasarathy ORCID logo, and Sriram Rajamani ORCID logo
(Microsoft Research, India)
Article Search Info
Towards AI-Assisted Synthesis of Verified Dafny Methods
Md Rakib Hossain Misu ORCID logo, Cristina V. Lopes ORCID logo, Iris Ma ORCID logo, and James Noble ORCID logo
(University of California, Irvine, USA; Creative Research & Programming, New Zealand; Australian National University, Australia)
Article Search Artifacts Available Artifacts Reusable
AROMA: Automatic Reproduction of Maven Artifacts
Mehdi Keshani ORCID logo, Tudor-Gabriel Velican ORCID logo, Gideon Bot ORCID logo, and Sebastian Proksch ORCID logo
(Delft University of Technology, Netherlands)
Article Search
Harnessing Neuron Stability to Improve DNN Verification
Hai Duong ORCID logo, Dong Xu ORCID logo, Thanhvu NguyenORCID logo, and Matthew B. Dwyer ORCID logo
(George Mason University, USA; University of Virginia, USA)
Article Search
“The Law Doesn’t Work Like a Computer”: Exploring Software Licensing Issues Faced by Legal Practitioners
Nathan Wintersgill ORCID logo, Trevor Stalnaker ORCID logo, Laura A. Heymann ORCID logo, Oscar ChaparroORCID logo, and Denys PoshyvanykORCID logo
(William & Mary, USA)
Article Search Artifacts Available
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings
Weipeng Jiang ORCID logo, Juan Zhai ORCID logo, Shiqing Ma ORCID logo, Xiaoyu Zhang ORCID logo, and Chao Shen ORCID logo
(Xi’an Jiaotong University, China; University of Massachusetts, Amherst, USA)
Article Search
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
Christian Birchler ORCID logo, Tanzil Kombarabettu Mohammed ORCID logo, Pooja Rani ORCID logo, Teodora Nechita ORCID logo, Timo Kehrer ORCID logo, and Sebastiano Panichella ORCID logo
(Zurich University of Applied Sciences, Switzerland; University of Bern, Switzerland; University of Zurich, Switzerland)
Article Search Artifacts Available Artifacts Reusable
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM
Gabriel Ryan ORCID logo, Siddhartha Jain ORCID logo, Mingyue Shang ORCID logo, Shiqi Wang ORCID logo, Xiaofei Ma ORCID logo, Murali Krishna Ramanathan ORCID logo, and Baishakhi Ray ORCID logo
(Columbia University, USA; AWS AI Labs, USA)
Article Search
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs
Yanfu Yan ORCID logo, Nathan Cooper ORCID logo, Kevin Moran ORCID logo, Gabriele BavotaORCID logo, Denys PoshyvanykORCID logo, and Steve Rich ORCID logo
(William & Mary, USA; University of Central Florida, USA; USI Lugano, Lugano, Switzerland; Cisco Systems, USA)
Article Search
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction
Gengyi Sun ORCID logo, Sarra Habchi ORCID logo, and Shane McIntoshORCID logo
(University of Waterloo, Canada; Ubisoft, Canada; Ubisoft Montréal, Canada)
Article Search Artifacts Available
Towards Efficient Verification of Constant-Time Cryptographic Implementations
Luwei Cai ORCID logo, Fu SongORCID logo, and Taolue Chen ORCID logo
(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)
Article Search Info Artifacts Available
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions
Tao Xiao ORCID logo, Hideaki Hata ORCID logo, Christoph Treude ORCID logo, and Kenichi Matsumoto ORCID logo
(NAIST, Japan; Shinshu University, Japan; Singapore Management University, Singapore)
Article Search Artifacts Available Artifacts Reusable
AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation
Vijayaraghavan Murali ORCID logo, Chandra Maddila ORCID logo, Imad Ahmad ORCID logo, Michael Bolin ORCID logo, Daniel Cheng ORCID logo, Negar Ghorbani ORCID logo, Renuka Fernandez ORCID logo, Nachiappan Nagappan ORCID logo, and Peter C. Rigby ORCID logo
(Meta Platforms, USA; Meta, USA; Concordia University, Canada)
Article Search
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation
Oussama Ben Sghaier ORCID logo and Houari Sahraoui ORCID logo
(Université de Montréal, Canada)
Article Search
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models
Zejun Zhang ORCID logo, Zhenchang Xing ORCID logo, Xiaoxue Ren ORCID logo, Qinghua Lu ORCID logo, and Xiwei Xu ORCID logo
(Australian National University, Australia; CSIRO’s Data61, Australia; Zhejiang University, China)
Article Search
Java JIT Testing with Template Extraction
Zhiqiang Zang ORCID logo, Fu-Yao Yu ORCID logo, Aditya Thimmaiah ORCID logo, August ShiORCID logo, and Milos GligoricORCID logo
(University of Texas, Austin, USA)
Article Search
BRF: Fuzzing the eBPF Runtime
Hsin-Wei Hung ORCID logo and Ardalan Amiri Sani ORCID logo
(University of California, Irvine, USA)
Article Search
DTD: Comprehensive and Scalable Testing for Debuggers
Hongyi Lu ORCID logo, Zhibo Liu ORCID logo, Shuai Wang ORCID logo, and Fengwei Zhang ORCID logo
(Southern University of Science and Technology, China; Hong Kong University of Science and Technology, China)
Article Search Info
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
Simin Chen ORCID logo, XiaoNing Feng ORCID logo, Xiaohong Han ORCID logo, Cong Liu ORCID logo, and Wei YangORCID logo
(University of Texas, Dallas, USA; Taiyuan University of Technology, China; University of California, Riverside, USA)
Article Search
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers
Yichen Li ORCID logo, Dongwei Xiao ORCID logo, Zhibo Liu ORCID logo, Qi Pang ORCID logo, and Shuai Wang ORCID logo
(Hong Kong University of Science and Technology, China; Carnegie Mellon University, USA)
Article Search
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications
Dhanushka Jayasuriya ORCID logo, Valerio Terragni ORCID logo, Jens Dietrich ORCID logo, and Kelly Blincoe ORCID logo
(University of Auckland, New Zealand; Victoria University of Wellington, New Zealand)
Article Search Artifacts Available
Effective Teaching through Code Reviews: Patterns and Anti-patterns
Anita SarmaORCID logo and Nina Chen ORCID logo
(Oregon State University, USA; Google, USA)
Article Search
An Analysis of the Costs and Benefits of Autocomplete in IDEs
Shaokang Jiang ORCID logo and Michael Coblenz ORCID logo
(University of California at San Diego, San Diego, USA)
Article Search Artifacts Available
Decomposing Software Verification using Distributed Summary Synthesis
Dirk BeyerORCID logo, Matthias Kettl ORCID logo, and Thomas Lemberger ORCID logo
(LMU Munich, Germany)
Article Search Info Artifacts Available Artifacts Reusable
Can GPT-4 Replicate Empirical Software Engineering Research?
Jenny T. Liang ORCID logo, Carmen Badea ORCID logo, Christian Bird ORCID logo, Robert DeLine ORCID logo, Denae FordORCID logo, Nicole Forsgren ORCID logo, and Thomas ZimmermannORCID logo
(Carnegie Mellon University, USA; Microsoft Research, USA)
Article Search
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques
Max Landauer ORCID logo, Florian Skopik ORCID logo, and Markus Wurzenberger ORCID logo
(AIT Austrian Institute of Technology, Austria)
Article Search Artifacts Available Artifacts Reusable
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach
Xin Jin ORCID logo and Zhiqiang Lin ORCID logo
(Ohio State University, USA)
Article Search Artifacts Available
On the Contents and Utility of IoT Cybersecurity Guidelines
Jesse Chen ORCID logo, Dharun Anandayuvaraj ORCID logo, James C. DavisORCID logo, and Sazzadur Rahaman ORCID logo
(University of Arizona, USA; Purdue University, USA)
Article Search Info
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
Sungmin Kang ORCID logo, Gabin An ORCID logo, and Shin Yoo ORCID logo
(KAIST, South Korea)
Article Search Info
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li ORCID logo, Yue Xue ORCID logo, Sen Chen ORCID logo, Han Liu ORCID logo, Kairan Sun ORCID logo, Ming Hu ORCID logo, Haijun Wang ORCID logo, Yang Liu ORCID logo, and Yixiang Chen ORCID logo
(East China Normal University, China; Metatrust Labs, n.n.; Tianjin University, China; Nanyang Technological University, Singapore; Xi’an Jiaotong University, China)
Article Search
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
Soneya Binta HossainORCID logo, Nan Jiang ORCID logo, Qiang Zhou ORCID logo, Xiaopeng Li ORCID logo, Wen-Hao Chiang ORCID logo, Yingjun Lyu ORCID logo, Hoan Nguyen ORCID logo, and Omer Tripp ORCID logo
(University of Virginia, USA; Purdue University, USA; Amazon Web Services, USA)
Preprint
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
Jun Lyu ORCID logo, Shanshan Li ORCID logo, He Zhang ORCID logo, Lanxin Yang ORCID logo, Bohan Liu ORCID logo, and Manuel Rigger ORCID logo
(Nanjing University, China; National University of Singapore, Singapore)
Article Search
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software
Ophir M. Carmel ORCID logo and Guy Katz ORCID logo
(Hebrew University of Jerusalem, Israel)
Article Search
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules
Shengcheng Yu ORCID logo, Chunrong Fang ORCID logo, Quanjun Zhang ORCID logo, Mingzhe Du ORCID logo, Jia Liu ORCID logo, and Zhenyu ChenORCID logo
(Nanjing University, China)
Article Search
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
Shihan Dou ORCID logo, Yueming Wu ORCID logo, Haoxiang Jia ORCID logo, Yuhao Zhou ORCID logo, Yan Liu ORCID logo, and Yang Liu ORCID logo
(Fudan University, China; Nanyang Technological University, Singapore; Huazhong University of Science and Technology, China)
Article Search
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation
Zhen Yang ORCID logo, Fang Liu ORCID logo, Zhongxing Yu ORCID logo, Jacky Wai Keung ORCID logo, Jia Li ORCID logo, Shuo Liu ORCID logo, Yifan Hong ORCID logo, Xiaoxue Ma ORCID logo, Zhi Jin ORCID logo, and Ge Li ORCID logo
(Shandong University, China; Beihang University, China; City University of Hong Kong, China; Peking University, China)
Article Search
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers
Changwei Zou ORCID logo, Dongjie He ORCID logo, Yulei Sui ORCID logo, and Jingling Xue ORCID logo
(UNSW, Sydney, Australia; Chongqing University, China)
Article Search
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion
Md Shamimur Rahman ORCID logo, Zadia Codabux ORCID logo, and Chanchal K. Roy ORCID logo
(University of Saskatchewan, Canada)
Article Search Info Artifacts Available
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Weigang He ORCID logo, Peng Di ORCID logo, Mengli Ming ORCID logo, Chengyu Zhang ORCID logo, Ting Su ORCID logo, Shijie Li ORCID logo, and Yulei Sui ORCID logo
(East China Normal University, China; University of Technology Sydney, Australia; Ant Group, China; ETH Zurich, Switzerland; UNSW, Sydney, Australia)
Article Search
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning
Xiaoling Zhang ORCID logo, Zhengzi Xu ORCID logo, Shouguo Yang ORCID logo, Zhi Li ORCID logo, Zhiqiang Shi ORCID logo, and Limin Sun ORCID logo
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanyang Technological University, Singapore)
Article Search
Evaluating and Improving ChatGPT for Unit Test Generation
Zhiqiang Yuan ORCID logo, Mingwei LiuORCID logo, Shiji Ding ORCID logo, Kaixin Wang ORCID logo, Yixuan Chen ORCID logo, Xin Peng ORCID logo, and Yiling LouORCID logo
(Fudan University, China)
Article Search
How to Gain Commit Rights in Modern Top Open Source Communities?
Xin Tan ORCID logo, Yan Gong ORCID logo, Geyu Huang ORCID logo, Haohua Wu ORCID logo, and Li Zhang ORCID logo
(Beihang University, China)
Preprint
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
Yibo He ORCID logo, Jiaming Huang ORCID logo, Hao Yu ORCID logo, and Tao Xie ORCID logo
(Peking University, China)
Article Search
Demystifying Invariant Effectiveness for Securing Smart Contracts
Zhiyang Chen ORCID logo, Ye Liu ORCID logo, Sidi Mohamed Beillahi ORCID logo, Yi LiORCID logo, and Fan Long ORCID logo
(University of Toronto, Canada; Nanyang Technological University, Singapore)
Preprint Info Artifacts Available Artifacts Reusable
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs
Haoran Liu ORCID logo, Zhouyang Jia ORCID logo, Shanshan Li ORCID logo, Yan Lei ORCID logo, Yue Yu ORCID logo, Yu Jiang ORCID logo, Xiaoguang Mao ORCID logo, and Xiangke Liao ORCID logo
(National University of Defense Technology, China; Chongqing University, China; Tsinghua University, China)
Article Search
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
Ranim Khojah ORCID logo, Mazen Mohamad ORCID logo, Philipp Leitner ORCID logo, and Francisco Gomes de Oliveira Neto ORCID logo
(Chalmers - University of Gothenburg, Sweden; RISE Research Institutes of Sweden, Sweden; Chalmers, Sweden)
Article Search
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
Yi Qin ORCID logo, Yanxiang Tong ORCID logo, Yifei Xu ORCID logo, Chun Cao ORCID logo, and Xiaoxing Ma ORCID logo
(Nanjing University, China)
Article Search Info Artifacts Available Artifacts Functional
State Reconciliation Defects in Infrastructure as Code
Md Mahadi Hassan ORCID logo, John Salvador ORCID logo, Shubhra Kanti Karmaker Santu ORCID logo, and Akond Rahman ORCID logo
(Auburn University, USA)
Preprint Info Artifacts Available
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Madeline EndresORCID logo, Sarah Fakhoury ORCID logo, Saikat Chakraborty ORCID logo, and Shuvendu K. LahiriORCID logo
(University of Michgan, USA; Microsoft Research, USA)
Article Search
Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems
Yuntianyi Chen ORCID logo, Yuqi Huai ORCID logo, Shilong Li ORCID logo, Changnam Hong ORCID logo, and Joshua GarciaORCID logo
(University of California at Irvine, Irvine, USA)
Article Search Artifacts Available Artifacts Reusable
Towards Better Graph Neural Network-Based Fault Localization through Enhanced Code Representation
Md Nakhla Rafi ORCID logo, Dong Jae Kim ORCID logo, An Ran Chen ORCID logo, Tse-Hsun (Peter) Chen ORCID logo, and Shaowei Wang ORCID logo
(Concordia University, Canada; De Paul University, USA; University of Alberta, Canada; University of Manitoba, Canada)
Article Search
Predicting Failures of Autoscaling Distributed Applications
Giovanni Denaro ORCID logo, Noura El Moussa ORCID logo, Rahim Heydarov ORCID logo, Francesco Lomio ORCID logo, Mauro PezzèORCID logo, and Ketai Qiu ORCID logo
(University of Milano-Bicocca, Italy; USI Lugano, Switzerland; Schaffhausen Institute of Technology, Switzerland)
Article Search Artifacts Available
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks
Tarek Alakmeh ORCID logo, David Reich ORCID logo, Lena Jäger ORCID logo, and Thomas FritzORCID logo
(University of Zurich, Switzerland; University of Potsdam, Germany)
Article Search
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
Jinyin Chen ORCID logo, Chengyu Jia ORCID logo, Yunjie Yan ORCID logo, Jie Ge ORCID logo, Haibin Zheng ORCID logo, and Yao Cheng ORCID logo
(Zhejiang University of Technology, China; TÜV SÜD Asia Pacific, Singapore)
Article Search Info
A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification
Dirk BeyerORCID logo, Po-Chun Chien ORCID logo, Marek Jankola ORCID logo, and Nian-Ze Lee ORCID logo
(LMU Munich, Germany)
Article Search Info Artifacts Available Artifacts Reusable
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations
David Broneske ORCID logo, Sebastian Kittan ORCID logo, and Jacob Krüger ORCID logo
(DZHW Hannover, Germany; University of Magdeburg, Germany; Eindhoven University of Technology, Netherlands)
Preprint
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection
Yuxi Li ORCID logo, Yi Liu ORCID logo, Gelei Deng ORCID logo, Ying Zhang ORCID logo, Wenjia Song ORCID logo, Ling Shi ORCID logo, Kailong Wang ORCID logo, Yuekang Li ORCID logo, Yang Liu ORCID logo, and Haoyu Wang ORCID logo
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore; Virginia Tech, USA; UNSW, Sydney, Australia)
Article Search
LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking
Yongzheng Xie ORCID logo, Hongyu Zhang ORCID logo, and Muhammad Ali Babar ORCID logo
(University of Adelaide, Australia; University of Newcastle, Australia)
Preprint
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions
Ying Xiao ORCID logo, Jie M. Zhang ORCID logo, Yepang Liu ORCID logo, Mohammad Reza Mousavi ORCID logo, Sicen Liu ORCID logo, and Dingyuan Xue ORCID logo
(Southern University of Science and Technology, China; King’s College London, United Kingdom)
Article Search
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
Matteo PaltenghiORCID logo and Michael Pradel ORCID logo
(University of Stuttgart, Germany)
Article Search Artifacts Available
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps
Shuqing LiORCID logo, Cuiyun Gao ORCID logo, Jianping Zhang ORCID logo, Yujia Zhang ORCID logo, Yepang Liu ORCID logo, Jiazhen Gu ORCID logo, Yun Peng ORCID logo, and Michael R. Lyu ORCID logo
(Chinese University of Hong Kong, China; Harbin Institute of Technology, China; Southern University of Science and Technology, China)
Article Search
Learning to Detect and Localize Multilingual Bugs
Haoran Yang ORCID logo, Yu Nong ORCID logo, Tao ZhangORCID logo, Xiapu LuoORCID logo, and Haipeng CaiORCID logo
(Washington State University, USA; Macau University of Science and Technology, China; Hong Kong Polytechnic University, China)
Preprint
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
Luan Pham ORCID logo, Huong Ha ORCID logo, and Hongyu Zhang ORCID logo
(RMIT University, Australia; Chongqing University, China)
Article Search Artifacts Available Artifacts Reusable
An Empirical Study on Code Review Activity Prediction and Its Impact in Practice
Doriane Olewicki ORCID logo, Sarra Habchi ORCID logo, and Bram Adams ORCID logo
(Queen’s University, Canada; Ubisoft Montréal, Canada)
Article Search
Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?
Bonan Kou ORCID logo, Shengmai Chen ORCID logo, Zhijie Wang ORCID logo, Lei Ma ORCID logo, and Tianyi Zhang ORCID logo
(Purdue University, USA; University of Alberta, Canada; University of Tokyo, Japan)
Article Search
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation
Shasha Zhou ORCID logo, Mingyu Huang ORCID logo, Yanan Sun ORCID logo, and Ke Li ORCID logo
(University of Electronic Science and Technology of China, China; University of Exeter, United Kingdom; Sichuan University, China)
Article Search Info
Mining Action Rules for Defect Reduction Planning
Khouloud Oueslati ORCID logo, Gabriel Laberge ORCID logo, Maxime Lamothe ORCID logo, and Foutse KhomhORCID logo
(Polytechnique Montréal, Canada)
Article Search
ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification
Fangwen Mu ORCID logo, Lin Shi ORCID logo, Song Wang ORCID logo, Zhuohao Yu ORCID logo, Binquan Zhang ORCID logo, ChenXue Wang ORCID logo, Shichao Liu ORCID logo, and Qing Wang ORCID logo
(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; Software Huawei Central Software Institute, China)
Article Search
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
Yubo Mai ORCID logo, Zhipeng GaoORCID logo, Xing Hu ORCID logo, Lingfeng Bao ORCID logo, Yu Liu ORCID logo, and JianLing Sun ORCID logo
(Zhejiang University, China)
Article Search
A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories
Farbod Farhour ORCID logo, Ahmad Abdellatif ORCID logo, Essam Mansour ORCID logo, and Emad Shihab ORCID logo
(Concordia University, Canada; University of Calgary, Canada)
Article Search
Revealing Software Development Work Patterns with PR-Issue Graph Topologies
Cleidson R. B. de Souza ORCID logo, Emilie Ma ORCID logo, Jesse Wong ORCID logo, Dongwook Yoon ORCID logo, and Ivan Beschastnikh ORCID logo
(Federal University of Pará, Brazil; University of British Columbia, Canada)
Article Search Artifacts Available Artifacts Functional
DeciX: Explain Deep Learning Based Code Generation Applications
Simin Chen ORCID logo, Zexin Li ORCID logo, Wei YangORCID logo, and Cong Liu ORCID logo
(University of Texas at Dallas, USA; University of California at Riverside, Riverside, USA)
Article Search
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution
Jaehan Yoon ORCID logo and Sooyoung Cha ORCID logo
(Sungkyunkwan University, South Korea)
Article Search Artifacts Available Artifacts Reusable
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Chengpeng WangORCID logo, Jipeng Zhang ORCID logo, Rongxin Wu ORCID logo, and Charles ZhangORCID logo
(Hong Kong University of Science and Technology, China; Xiamen University, China)
Article Search
Partial Solution Based Constraint Solving Cache in Symbolic Execution
Ziqi Shuai ORCID logo, Zhenbang ChenORCID logo, Kelin Ma ORCID logo, Kunlin Liu ORCID logo, Yufeng Zhang ORCID logo, Jun SunORCID logo, and Ji Wang ORCID logo
(National University of Defense Technology, China; Hunan University, China; Singapore Management University, Singapore)
Preprint
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials
Yizhan Huang ORCID logo, Yichen Li ORCID logo, Weibin Wu ORCID logo, Jianping Zhang ORCID logo, and Michael R. Lyu ORCID logo
(Chinese University of Hong Kong, China; Sun Yat-sen University, China)
Article Search
Bounding Random Test Set Size with Computational Learning Theory
Neil Walkinshaw ORCID logo, Michael Foster ORCID logo, José Miguel Rojas ORCID logo, and Robert M. Hierons ORCID logo
(University of Sheffield, United Kingdom)
Article Search
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems
Xiaoyan Zhu ORCID logo, Mingyue Jiang ORCID logo, Xiao-Yi Zhang ORCID logo, Liming Nie ORCID logo, and Zuohua Ding ORCID logo
(Zhejiang Sci-Tech University, China; University of Science and Technology Beijing, China; Shenzhen Technology University, China)
Article Search
Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis
Georgios-Petros Drosos ORCID logo, Thodoris Sotiropoulos ORCID logo, Diomidis Spinellis ORCID logo, and Dimitris Mitropoulos ORCID logo
(Athens University of Economics and Business, Greece; ETH Zurich, Switzerland; Delft University of Technology, Netherlands; University of Athens, Greece)
Article Search Artifacts Available
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages
Kai Gao ORCID logo, Weiwei Xu ORCID logo, Wenhao Yang ORCID logo, and Minghui Zhou ORCID logo
(Peking University, China)
Preprint
Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the npm Ecosystem
Nimmi Rashinika Weeraddana ORCID logo, Mahmoud Alfadel ORCID logo, and Shane McIntoshORCID logo
(University of Waterloo, Canada)
Article Search
Mobile Bug Report Reproduction via Global Search on the App UI Model
Zhaoxu Zhang ORCID logo, Fazle Mohammed Tawsif ORCID logo, Komei Ryu ORCID logo, Tingting Yu ORCID logo, and William G. J. HalfondORCID logo
(University of Southern California, USA; University of Connecticut, USA)
Article Search Artifacts Available Artifacts Reusable
Natural Symbolic Execution-Based Testing for Big Data Analytics
Yaoxuan Wu ORCID logo, Ahmad Humayun ORCID logo, Muhammad Ali Gulzar ORCID logo, and Miryung Kim ORCID logo
(University of California at Los Angeles, Los Angeles, USA; Virginia Tech, USA)
Article Search Artifacts Available Artifacts Reusable
Investigating Documented Privacy Changes in Android OS
Chuan Yan ORCID logo, Mark Huasong Meng ORCID logo, Fuman Xie ORCID logo, and Guangdong Bai ORCID logo
(University of Queensland, Australia; National University of Singapore, Singapore; Institute for Infocomm Research at A*STAR, Singapore)
Article Search
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
Qilin Zhou ORCID logo, Zhengyuan Wei ORCID logo, Haipeng Wang ORCID logo, Bo Jiang ORCID logo, and Wing-Kwong Chan ORCID logo
(City University of Hong Kong, China; University of Hong Kong, China; Beihang University, China)
Article Search
Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs
Qi Xin ORCID logo, Haojun Wu ORCID logo, Jinran Tang ORCID logo, Xinyu Liu ORCID logo, Steven P. ReissORCID logo, and Jifeng XuanORCID logo
(Wuhan University, China; Hubei Luojia Laboratory, China; Brown University, USA)
Article Search Artifacts Available Artifacts Functional

proc time: 4.18