default search action
Proceedings of the ACM on Software Engineering, Volume 1
Volume 1, Number FSE, 2024
SIGSOFT FSE 2024
- Xiangping Chen
, Furen Xu
JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization. 1-23 - Guangba Yu
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems. 24-46 - Zirui Song
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings. 47-69 - Keke Lian
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications. 70-91 - Mohayeminul Islam
Characterizing Python Library Migrations. 92-114 - Yifan Zhang
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization. 115-136 - Zhihan Jiang
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache. 137-160 - Zexu Wang
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts. 161-181 - Bolun Li
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion. 182-203 - Liming Nie
Shadows in the Interface: A Comprehensive Study on Dark Patterns. 204-225 - Yahui Song
ProveNFix: Temporal Property-Guided Program Repair. 226-248 - Zeqin Liao
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis. 249-270 - Aashish Yadavally
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning. 271-292 - Yoel Kim
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. 293-315 - Tae Eun Kim
Evaluating Directed Fuzzers: Are We Heading in the Right Direction? 316-337 - Islem Bouzenia
DyPyBench: A Benchmark of Executable Python Software. 338-358 - Jingzhi Gong
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning. 359-382 - Haeun Eom
R2I: A Relative Readability Metric for Decompiled Code. 383-405 - Daoguang Zan
DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises. 406-426 - Necip Fazil Yildiran
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. 427-449 - Agustín Nolasco
Abstraction-Aware Inference of Metamorphic Relations. 450-472 - Haiyu Huang
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State. 473-493 - Xiao Cheng
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing. 494-516 - Anderson Oliveira
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem. 517-538 - Tao Chen
Adapting Multi-objectivized Software Configuration Tuning. 539-561 - Zian Su
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. 562-585 - Yan Wang
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models. 586-608 - Yichen Li
Go Static: Contextualized Logging Statement Generation. 609-630 - Malinda Dilhara
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example. 631-653 - Sourav Deb
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. 654-674 - Ramakrishna Bairi
CodePlan: Repository-Level Coding using LLMs and Planning. 675-698 - Wei Wang
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks. 699-721 - Huaien Zhang
Understanding and Detecting Annotation-Induced Faults of Static Analyzers. 722-744 - Jiawei Li
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model. 745-766 - Sabaat Haroon
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing. 767-788 - Nalin Wadhwa
CORE: Resolving Code Quality Issues using LLMs. 789-811 - Md Rakib Hossain Misu
Towards AI-Assisted Synthesis of Verified Dafny Methods. 812-835 - Mehdi Keshani
AROMA: Automatic Reproduction of Maven Artifacts. 836-858 - Hai Duong
Harnessing Neuron Stability to Improve DNN Verification. 859-881 - Nathan Wintersgill
"The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners. 882-905 - Weipeng Jiang
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings. 906-928 - Christian Birchler
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception? 929-950 - Gabriel Ryan
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM. 951-971 - Yanfu Yan
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs. 972-995 - Gengyi Sun
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction. 996-1018 - Luwei Cai
Towards Efficient Verification of Constant-Time Cryptographic Implementations. 1019-1042 - Tao Xiao
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions. 1043-1065 - Vijayaraghavan Murali
AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation. 1066-1085 - Oussama Ben Sghaier
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation. 1086-1106 - Zejun Zhang
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models. 1107-1128 - Zhiqiang Zang
Java JIT Testing with Template Extraction. 1129-1151 - Hsin-Wei Hung
BRF: Fuzzing the eBPF Runtime. 1152-1171 - Hongyi Lu
DTD: Comprehensive and Scalable Testing for Debuggers. 1172-1193 - Simin Chen
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models. 1194-1215 - Yichen Li
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers. 1216-1237 - Dhanushka Jayasuriya
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications. 1238-1261 - Anita Sarma
Effective Teaching through Code Reviews: Patterns and Anti-patterns. 1262-1283 - Shaokang Jiang
An Analysis of the Costs and Benefits of Autocomplete in IDEs. 1284-1306 - Dirk Beyer
Decomposing Software Verification using Distributed Summary Synthesis. 1307-1329 - Jenny T. Liang
Can GPT-4 Replicate Empirical Software Engineering Research? 1330-1353 - Max Landauer
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques. 1354-1375 - Xin Jin
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach. 1376-1399 - Jesse Chen
On the Contents and Utility of IoT Cybersecurity Guidelines. 1400-1423 - Sungmin Kang
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization. 1424-1446 - Kaixuan Li
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? 1447-1470 - Soneya Binta Hossain
A Deep Dive into Large Language Models for Automated Bug Localization and Repair. 1471-1493 - Jun Lyu
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations. 1494-1517 - Ophir M. Carmel
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software. 1518-1539 - Shengcheng Yu
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules. 1540-1563 - Shihan Dou
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. 1564-1584 - Zhen Yang
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation. 1585-1608 - Changwei Zou
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers. 1609-1631 - Md Shamimur Rahman
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion. 1632-1655 - Weigang He
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. 1656-1678 - Xiaoling Zhang
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning. 1679-1702 - Zhiqiang Yuan
Evaluating and Improving ChatGPT for Unit Test Generation. 1703-1726 - Xin Tan
How to Gain Commit Rights in Modern Top Open Source Communities? 1727-1749 - Yibo He
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation. 1750-1771 - Zhiyang Chen
Demystifying Invariant Effectiveness for Securing Smart Contracts. 1772-1795 - Haoran Liu
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. 1796-1818 - Ranim Khojah
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice. 1819-1840 - Yi Qin
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. 1841-1864 - Md. Mahadi Hassan
State Reconciliation Defects in Infrastructure as Code. 1865-1888 - Madeline Endres
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? 1889-1912 - Yuntianyi Chen
Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems. 1913-1936 - Md Nakhla Rafi
Towards Better Graph Neural Network-Based Fault Localization through Enhanced Code Representation. 1937-1959 - Giovanni Denaro
Predicting Failures of Autoscaling Distributed Applications. 1960-1981 - Tarek Alakmeh
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks. 1982-2004 - Jinyin Chen
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators. 2005-2027 - Dirk Beyer
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. 2028-2050 - David Broneske
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations. 2051-2074 - Yuxi Li
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. 2075-2097 - Yongzheng Xie
LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking. 2098-2120 - Ying Xiao
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions. 2121-2143 - Matteo Paltenghi
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit. 2144-2166 - Shuqing Li
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps. 2167-2189 - Haoran Yang
Learning to Detect and Localize Multilingual Bugs. 2190-2213 - Luan Pham
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection. 2214-2237 - Doriane Olewicki
An Empirical Study on Code Review Activity Prediction and Its Impact in Practice. 2238-2260 - Bonan Kou
Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code? 2261-2284 - Shasha Zhou
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation. 2285-2308 - Khouloud Oueslati
Mining Action Rules for Defect Reduction Planning. 2309-2331 - Fangwen Mu
ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification. 2332-2354 - Yubo Mai
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning. 2355-2377 - Farbod Farhour
A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories. 2378-2401 - Cleidson R. B. de Souza
Revealing Software Development Work Patterns with PR-Issue Graph Topologies. 2402-2423 - Simin Chen
DeciX: Explain Deep Learning Based Code Generation Applications. 2424-2446 - Jaehan Yoon
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution. 2447-2468 - Chengpeng Wang
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. 2469-2492 - Ziqi Shuai
Partial Solution Based Constraint Solving Cache in Symbolic Execution. 2493-2514 - Yizhan Huang
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials. 2515-2537 - Neil Walkinshaw
Bounding Random Test Set Size with Computational Learning Theory. 2538-2560 - Xiaoyan Zhu
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. 2561-2583 - Georgios-Petros Drosos
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis. 2584-2607 - Kai Gao
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages. 2608-2631 - Nimmi Rashinika Weeraddana
Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the npm Ecosystem. 2632-2655 - Zhaoxu Zhang
Mobile Bug Report Reproduction via Global Search on the App UI Model. 2656-2676 - Yaoxuan Wu
Natural Symbolic Execution-Based Testing for Big Data Analytics. 2677-2700 - Chuan Yan
Investigating Documented Privacy Changes in Android OS. 2701-2724 - Qilin Zhou
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models. 2725-2746 - Qi Xin
Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs. 2747-2770
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: