Software Engineering Empirical Research Radar

2024 Papers

Major-venue software engineering papers from 2024.

PaperVenueYearTopics
1+1>2: Integrating Deep Code Behaviors with Metadata Features for Malicious PyPI Package Detection.
Xiaobing Sun 0001, Xingan Gao, Sicong Cao, Lili Bo, Xiaoxue Wu 0001
ASE2024Other
A Comprehensive Study of Privacy Leakage Vulnerability in Android App Logs.
Zhiyuan Chen
ASE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Cloud / Microservices / Distributed Systems
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems.
Luciano Baresi, Matteo Camilli, Tommaso Dolci, Giovanni Quattrocchi
ASE2024AI / LLM for SE
A Data-driven Approach for Mining Software Features based on Similar App Descriptions and User Reviews Analysis.
Khubaib Amjad Alam, Ramsha Ali, Zyena Kamran, Sabeen Fatima, Irum Inayat
ASE2024Mobile / Web / GUI / Android
A Formal Treatment of Performance Bugs.
Omar I. Al-Bataineh
ASE2024Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability
A Generalized Approach for Solving Web Form Constraints.
Björn Karthein, Cristian-Alexandru Staicu, Andreas Zeller
ASE2024Mobile / Web / GUI / Android
A High-level Architecture of an Automated Context-aware Ethics-based Negotiation Approach.
Mashal Afzal Memon, Marco Autili, Gianluca Filippone, Gian Luca Scoccia, Paola Inverardi
ASE2024Requirements / Modeling / Architecture
A Joint Learning Model with Variational Interaction for Multilingual Program Translation.
Yali Du 0002, Hui Sun 0003, Ming Li 0005
ASE2024Other
A Longitudinal Analysis Of Replicas in the Wild Wild Android.
Syeda Mashal Abbas Zaidi, Shahpar Khan, Parjanya Vyas, Yousra Aafer
ASE2024Mobile / Web / GUI / Android
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement.
Huan Zhang, Wei Cheng 0010, Yuhan Wu 0006, Wei Hu 0007
ASE2024Other
A Pixel-Level Explainable Approach of Convolutional Neural Networks and Its Application.
Haitao Zhang, Jing Wang 0141, Ziyue Wang, Ziyi Zhao, Zhuo Cheng
ASE2024AI / LLM for SE
A Position-Aware Approach to Decomposing God Classes.
Tianyi Chen, Yanjie Jiang, Fu Fan, Bo Liu 0094, Hui Liu 0003
ASE2024Other
A Systematic Evaluation of Large Code Models in API Suggestion: When, Which, and How.
Chaozheng Wang, Shuzheng Gao, Cuiyun Gao 0001, Wenxuan Wang 0001, Chun Yong Chong
ASE2024Other
A vision on a methodology for the application of an Intrusion Detection System for satellites.
Sébastien Gios, Charles-Henry Bertrand Van Ouytsel, Mark Diamantino Caribé, Axel Legay
ASE2024Other
AACEGEN: Attention Guided Adversarial Code Example Generation for Deep Code Models.
Zhong Li, Chong Zhang, Minxue Pan, Tian Zhang 0001, Xuandong Li
ASE2024Other
AI-driven Java Performance Testing: Balancing Result Quality with Testing Time.
Luca Traini, Federico Di Menna, Vittorio Cortellessa
ASE2024Testing / QA; AI / LLM for SE; Performance / Energy / Reliability
ART: A Unified Unsupervised Framework for Incident Management in Microservice Systems.
Yongqian Sun, Binpeng Shi, Mingyu Mao, Minghua Ma, Sibo Xia
ASE2024Cloud / Microservices / Distributed Systems
ARUS: A Tool for Automatically Removing Unnecessary Stubbings from Test Suites.
Mengzhen Li, Mattia Fazzini
ASE2024Testing / QA
AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects.
Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma
ASE2024Requirements / Modeling / Architecture
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
ASE2024Other
AdvSCanner: Generating Adversarial Smart Contracts to Exploit Reentrancy Vulnerabilities Using LLM and Static Analysis.
Yin Wu, Xiaofei Xie, Chenyang Peng, Dijun Liu, Hao Wu 0100
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
AgoneTest: Automated creation and assessment of Unit tests leveraging Large Language Models.
Andrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio
ASE2024Testing / QA
An Empirical Study on Learning-based Techniques for Explicit and Implicit Commit Messages Generation.
Zhiquan Huang, Yuan Huang 0002, Xiangping Chen, Xiaocong Zhou, Changlin Yang
ASE2024AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
An Empirical Study to Evaluate AIGC Detectors on Code Content.
Jian Wang 0067, Shangqing Liu, Xiaofei Xie, Yi Li 0008
ASE2024Human / Empirical / Socio-technical
An Explainable Automated Model for Measuring Software Engineer Contribution.
Yue Li 0047, He Zhang 0001, Yuzhe Jin, Zhong Ren, Liming Dong 0001
ASE2024Other
Android Malware Family Labeling: Perspectives from the Industry.
Liu Wang 0002, Haoyu Wang 0001, Tao Zhang 0001, Haitao Xu 0002, Guozhu Meng
ASE2024Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Ansible Lightspeed: A Code Generation Service for IT Automation.
Priyam Sahoo, Saurabh Pujar, Ganesh Nalawade, Richard Genhardt, Louis Mandel
ASE2024Other
Applying Fuzz Driver Generation to Native C/C++ Libraries of OEM Android Framework: Obstacles and Solutions.
Shiyan Peng, Yuan Zhang 0009, Jiarun Dai, Yue Gu, Zhuoxiang Shen
ASE2024Testing / QA; Mobile / Web / GUI / Android
Approximation-guided Fairness Testing through Discriminatory Space Analysis.
Zhenjiang Zhao 0002, Takahisa Toda, Takashi Kitamura 0001
ASE2024Testing / QA
Assessing Open Source Software Survivability using Kaplan-Meier Survival Function and Polynomial Regression.
Sohee Park, Ryeonggu Kwon, Gihwon Kwon
ASE2024Testing / QA; Human / Empirical / Socio-technical
Assessing the feasibility of Micro frontend architecture in native mobile app development.
Quentin Capdepon, Nicolas Hlad, Benoît Verhaeghe, Abdelhak-Djamel Seriai
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Attacks and Defenses for Large Language Models on Coding Tasks.
Chi Zhang, Zifan Wang 0001, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson
ASE2024Other
Attribution-guided Adversarial Code Prompt Generation for Code Completion Models.
Xueyang Li, Guozhu Meng, Shangqing Liu, Lu Xiang, Kun Sun
ASE2024Other
AutoDW: Automatic Data Wrangling Leveraging Large Language Models.
Lei Liu 0061, So Hasegawa, Shailaja Keyur Sampat, Maria Xenochristou, Wei-Peng Chen
ASE2024Other
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects.
Omar I. Al-Bataineh
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Automated Validation of COBOL to Java Transformation.
Atul Kumar 0002, Diptikalyan Saha, Toshiaki Yasue, Kohichi Ono, Saravanan Krishnan
ASE2024Testing / QA
Automatically Deriving Developers' Technical Expertise from the GitHub Social Network.
Yanchun Sun, Jiawei Wu, Xiaohan Zhao, Haizhou Xu, Sihan Wang
ASE2024Human / Empirical / Socio-technical
B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests.
Mouxiang Chen, Zhongxin Liu 0002, He Tao, Yusu Hong, David Lo 0001
ASE2024Testing / QA
Balancing the Quality and Cost of Updating Dependencies.
Damien Jaime, Pascal Poizat, Joyce El Haddad, Thomas Degueule
ASE2024Performance / Energy / Reliability
BenchCloud: A Platform for Scalable Performance Benchmarking.
Dirk Beyer 0001, Po-Chun Chien, Marek Jankola
ASE2024Performance / Energy / Reliability
Beyond Manual Modeling: Automating GUI Model Generation Using Design Documents.
Shaoheng Cao, Renyi Chen, Minxue Pan, Wenhua Yang 0001, Xuandong Li
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Blackbox Observability of Features and Feature Interactions.
Kallistos Weis, Leopoldo Teixeira, Clemens Dubslaff, Sven Apel
ASE2024Cloud / Microservices / Distributed Systems
Bridging Gaps in LLM Code Translation: Reducing Errors with Call Graphs and Bridged Debuggers.
Yang Luo, Richard Yu, Fajun Zhang, Ling Liang, Yongqiang Xiong
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems.
Mohammad Hossein Amini, Shiva Nejati 0001
ASE2024Testing / QA
Build Issue Resolution from the Perspective of Non-Contributors.
Sunzhou Huang, Xiaoyin Wang
ASE2024DevOps / CI / Build / Release
COBRA: Interaction-Aware Bytecode-Level Vulnerability Detector for Smart Contracts.
Wenkai Li, Xiaoqi Li 0001, Zongwei Li 0003, Yuqing Zhang 0001
ASE2024Other
Can Code Metrics Enhance Documentation Generation for Computational Notebooks?
Mojtaba Mostafavi Ghahfarokhi, Hamed Jahantigh, Sepehr Kianiangolafshani, Ashkan Khademian, Alireza Asadi
ASE2024Other
Can Cooperative Multi-Agent Reinforcement Learning Boost Automatic Web Testing? An Exploratory Study.
Yujia Fan, Sinan Wang, Zebang Fei, Yao Qin, Huaxuan Li
ASE2024Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Can Large Language Models Comprehend Code Stylometry?
Atish Kumar Dipongkor
ASE2024Other
Challenges & Opportunities in Automating DBMS: A Qualitative Study.
Yifan Wang, Pierre Bourhis, Romain Rouvoy, Patrick Royer
ASE2024Human / Empirical / Socio-technical
ChatBR: Automated assessment and improvement of bug report quality using ChatGPT.
Lili Bo, Wangjie Ji, Xiaobing Sun 0001, Ting Zhang 0011, Xiaoxue Wu 0001
ASE2024AI / LLM for SE
Cloud Resource Protection via Automated Security Property Reasoning.
Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi
ASE2024Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.
Usman Gohar, Michael C. Hunter, Robyn R. Lutz, Myra B. Cohen
ASE2024Other
CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification.
Thomas Lemberger 0002, Henrik Wachowitz
ASE2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Coding-PTMs: How to Find Optimal Code Pre-trained Models for Code Embedding in Vulnerability Detection?
Yu Zhao, Lina Gong, Zhiqiu Huang, Yongwei Wang, Mingqiang Wei
ASE2024AI / LLM for SE
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection.
Huan Xie 0002, Yan Lei, Maojin Li, Meng Yan 0001, Sheng Zhang
ASE2024Testing / QA
CompAi: A Tool for GDPR Completeness Checking of Privacy Policies using Artificial Intelligence.
Orlando Amaral Cejas, Sallam Abualhaija, Lionel C. Briand
ASE2024Security / Privacy / Vulnerability
Compiler Bug Isolation via Enhanced Test Program Mutation.
Yujie Liu 0005, Mingxuan Zhu, Jinhao Dong, Junzhe Yu, Dan Hao 0001
ASE2024Testing / QA
ComplexCodeEval: A Benchmark for Evaluating Large Code Models on More Complex Code.
Jia Feng, Jiachen Liu, Cuiyun Gao 0001, Chun Yong Chong, Chaozheng Wang
ASE2024Other
Compositional Security Analysis of Dynamic Component-based Systems.
Narges Khakpour, Charilaos Skandylas
ASE2024Security / Privacy / Vulnerability
Constraint-Based Test Oracles for Program Analyzers.
Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning.
Sunny Shree, Krishna Khadka, Yu Lei 0001, Raghu N. Kacker, D. Richard Kuhn
ASE2024Testing / QA; AI / LLM for SE
Context-Aware Automated Sprint Plan Generation for Agile Software Development.
Elvan Kula, Arie van Deursen, Georgios Gousios
ASE2024Other
Contextualized Data-Wrangling Code Generation in Computational Notebooks.
Junjie Huang 0008, Daya Guo, Chenglong Wang 0005, Jiazhen Gu, Shuai Lu
ASE2024Other
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts.
Che Wang, Jiashuo Zhang 0001, Jianbo Gao 0003, Libin Xia, Zhi Guan
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Copilot-in-the-Loop: Fixing Code Smells in Copilot-Generated Python Code using Copilot.
Beiqi Zhang, Peng Liang 0001, Qiong Feng, Yujia Fu, Zengyang Li
ASE2024Debugging / Fault Localization / Diagnosis / Repair
CoqPilot, a plugin for LLM-based generation of proofs.
Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev
ASE2024AI / LLM for SE
Cross-lingual Code Clone Detection: When LLMs Fail Short Against Embedding-based Classifier.
Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, Tegawendé F. Bissyandé
ASE2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs.
Jiuang Zhao, Zitian Yang, Li Zhang 0029, Xiaoli Lian, Donghao Yang
ASE2024Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
DataRecipe - How to Cook the Data for CodeLLM?
Kisub Kim, Jounghoon Kim, Byeongjo Park, Dongsun Kim 0001, Chun Yong Chong
ASE2024Other
DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning.
Davide Corradini, Zeno Montolli, Michele Pasqua, Mariano Ceccato
ASE2024Testing / QA
Demonstration-Free: Towards More Practical Log Parsing with Large Language Models.
Yi Xiao, Van-Hoang Le, Hongyu Zhang 0002
ASE2024Other
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor.
Qiong Feng, Xiaotian Ma, Huan Ji, Wei Song 0003, Peng Liang 0001
ASE2024Other
DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving.
Haoyu Liao, Jianmei Guo, Bo Huang 0002, Yujie Han, Dingyu Yang
ASE2024Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Detect Hidden Dependency to Untangle Commits.
Mengdan Fan, Wei Zhang 0004, Haiyan Zhao 0001, Guangtai Liang, Zhi Jin 0001
ASE2024Other
Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback.
Ruixue Li, Bin Yu 0008, Xu Lu 0003, Lei Ke, Jiawei Chen
ASE2024Other
Detecting Element Accessing Bugs in C++ Sequence Containers.
Zhilin Li, Xutong Ma, Mengze Hu, Jun Yan 0009
ASE2024Other
Detecting Malicious Accounts in Web3 through Transaction Graph.
Wenkai Li, Zhijie Liu, Xiaoqi Li 0001, Sen Nie
ASE2024Other
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality.
Yifan Liao, Ming Xu 0006, Yun Lin 0001, Xiwen Teoh, Xiaofei Xie
ASE2024DevOps / CI / Build / Release; Mobile / Web / GUI / Android
DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation.
Yanzhou Mu, Juan Zhai, Chunrong Fang, Xiang Chen 0005, Zhixiang Cao
ASE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
Developer-Applied Accelerations in Continuous Integration: A Detection Approach and Catalog of Patterns.
Mingyang Yin, Yutaro Kashiwa, Keheliya Gallaba, Mahmoud Alfadel, Yasutaka Kamei
ASE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
Nick Feng, Lina Marsso, Marsha Chechik
ASE2024Other
Differential Fuzzing for Data Distribution Service Programs with Dynamic Configuration.
Dohyun Ryu, Giyeol Kim, Daeun Lee, Seongjin Kim, Seungjin Bae
ASE2024Testing / QA; DevOps / CI / Build / Release
Discovering Likely Program Invariants for Persistent Memory.
Zunchen Huang, Srivatsan Ravi, Chao Wang 0001
ASE2024Other
Do not neglect what's on your hands: localizing software faults with exception trigger stream.
Xihao Zhang, Yi Song, Xiaoyuan Xie, Qi Xin, Chenliang Xing
ASE2024Other
DroidCoder: Enhanced Android Code Completion with Context-Enriched Retrieval-Augmented Generation.
Xinran Yu, Chun Li, Minxue Pan, Xuandong Li
ASE2024Mobile / Web / GUI / Android
DroneWiS: Automated Simulation Testing of small Unmanned Aerial System in Realistic Windy Conditions.
Bohan Zhang, Ankit Agrawal 0002
ASE2024Testing / QA
DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators.
Mingyi Zhou, Xiang Gao 0012, Xiao Chen 0002, Chunyang Chen 0001, John Grundy 0001
ASE2024Mobile / Web / GUI / Android
Dynamic Scoring Code Token Tree: A Novel Decoding Strategy for Generating High-Performance Code.
Muzi Qu, Jie Liu 0008, Liangyi Kang, Shuai Wang, Dan Ye 0004
ASE2024Performance / Energy / Reliability
Effective Unit Test Generation for Java Null Pointer Exceptions.
Myungho Lee, Jiseong Bak, Seokhyeon Moon, Yoonchan Jhi, Hakjoo Oh
ASE2024Testing / QA; Program Analysis / Verification / Formal Methods
Effective Vulnerable Function Identification based on CVE Description Empowered by Large Language Models.
Yulun Wu, Ming Wen 0001, Zeliang Yu, Xiaochen Guo, Hai Jin 0001
ASE2024Other
Efficient Code Causes Inefficiency in Compiler Optimizations.
Hongyu Chen
ASE2024Other
Efficient Detection of Test Interference in C Projects.
Florian Eder, Stefan Winter 0001
ASE2024Testing / QA
Efficient Detection of Toxic Prompts in Large Language Models.
Yi Liu 0069, Junzhe Yu, Huijia Sun, Ling Shi 0002, Gelei Deng
ASE2024Other
Efficient Incremental Code Coverage Analysis for Regression Test Suites.
Jiale Amber Wang, Kaiyuan Wang, Pengyu Nie 0001
ASE2024Testing / QA; DevOps / CI / Build / Release
Efficient Slicing of Feature Models via Projected d-DNNF Compilation.
Chico Sundermann, Jacob Loth, Thomas Thüm
ASE2024Program Analysis / Verification / Formal Methods
Emergence of A Novel Domain Expert: A Generative AI-based Framework for Software Function Point Analysis.
Zheng Zhao, Hongxiang Jiang, Ran Zhao, Bing He
ASE2024AI / LLM for SE
Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat.
Sidong Feng, Haochuan Lu, Jianqin Jiang, Ting Xiong, Likun Huang
ASE2024Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Performance / Energy / Reliability
End-to-End AutoML for Unsupervised Log Anomaly Detection.
Shenglin Zhang, Yuhe Ji, Jiaqi Luan, Xiaohui Nie, Ziang Chen
ASE2024Other
Enhancing Automated Program Repair with Solution Design.
Jiuang Zhao, Donghao Yang, Li Zhang 0029, Xiaoli Lian, Zitian Yang
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
Enhancing Compositional Static Analysis with Dynamic Analysis.
Dino Distefano, Matteo Marescotti, Cons T. Åhs, Sopot Cela, Gabriela Cunha Sampaio
ASE2024Program Analysis / Verification / Formal Methods
Enhancing Software Design and Developer Experience Via LLMs.
Simin Sun
ASE2024Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Enhancing the Efficiency of Automated Program Repair via Greybox Analysis.
Youngjae Kim, Yechan Park, Seungheon Han, Jooyong Yi
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing.
Yihui Xu, Yanhui Li, Jun Wang 0151, Xiaofang Zhang
ASE2024Testing / QA
Evaluation of Version Control Merge Tools.
Benedikt Schesch, Ryan Featherman, Kenneth J. Yang, Ben R. Roberts, Michael D. Ernst
ASE2024DevOps / CI / Build / Release
Experience Report on Applying Program Analysis Techniques for Mainframe Application Understanding.
Shivali Agarwal, Hiroaki Nakamura, Rami Katan
ASE2024Program Analysis / Verification / Formal Methods
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security.
Chuan Yan, Ruomai Ren, Mark Huasong Meng, Liuhuo Wan, Tian Yang Ooi
ASE2024AI / LLM for SE; Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Exploring Parameter-Efficient Fine-Tuning of Large Language Model on Automated Program Repair.
Guochang Li, Chen Zhi, Jialiang Chen, Junxiao Han, Shuiguang Deng
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
FAIL: Analyzing Software Failures from the News Using LLMs.
Dharun Anandayuvaraj, Matthew Campbell, Arav Tewari, James C. Davis 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection.
Jialuo Chen, Jingyi Wang 0004, Xiyue Zhang 0001, Youcheng Sun, Marta Kwiatkowska
ASE2024Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
FIPSER: Improving Fairness Testing of DNN by Seed Prioritization.
Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang 0007, Chengcheng Wan 0001
ASE2024Testing / QA
FaaSConf: QoS-aware Hybrid Resources Configuration for Serverless Workflows.
Yilun Wang 0001, Pengfei Chen 0002, Hui Dou, Yiwen Zhang 0001, Guangba Yu
ASE2024DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments.
Fang Liu 0032, Zhenwei Liu, Qianhui Zhao, Jing Jiang 0005, Li Zhang 0029
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Feature Model Slicing for Real-time Selection of Mission-critical Edge Applicaiton.
Uwe Gropengießer, Julian Liphardt, Michael Matthé, Max Mühlhäuser
ASE2024Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
Finding Performance Issues in Rust Projects.
Chenhao Cui
ASE2024Performance / Energy / Reliability
FixKit: A Program Repair Collection for Python.
Marius Smytzek, Martin Eberlein, Kai Werk, Lars Grunske, Andreas Zeller
ASE2024Debugging / Fault Localization / Diagnosis / Repair
From Logging to Leakage: A Study of Privacy Leakage in Android App Logs.
Zhiyuan Chen, Soham Sanjay Deo, Poorna Chander Reddy Puttaparthi, Yiming Tang 0002, Xueling Zhang
ASE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android; Cloud / Microservices / Distributed Systems
GPP: A Graph-Powered Prioritizer for Code Review Requests.
Lanxin Yang, Jinwei Xu, He Zhang 0001, Fanghao Wu, Jun Lyu
ASE2024Maintenance / Evolution / Refactoring / Review
GPTZoo: A Large-scale Dataset of GPTs for the Research Community.
Xinyi Hou, Yanjie Zhao 0001, Shenao Wang 0001, Haoyu Wang 0001
ASE2024Other
GUI Test Repair Based on Test-Extension.
Yonghao Long, Yuanyuan Chen 0017, Xiangping Chen
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
General and Practical Property-based Testing for Android Apps.
Yiheng Xiong, Ting Su 0001, Jue Wang, Jingling Sun, Geguang Pu
ASE2024Testing / QA; Mobile / Web / GUI / Android
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach.
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu 0002, Pierre-Louis Bernard
ASE2024AI / LLM for SE; Mobile / Web / GUI / Android
Giving Every Modality a Voice in Microservice Failure Diagnosis via Multimodal Adaptive Optimization.
Lei Tao, Shenglin Zhang, Zedong Jia, Jinrui Sun, Minghua Ma
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps.
Ming Fan 0002, Jifei Shi, Yin Wang, Le Yu 0002, Xicheng Zhang
ASE2024Mobile / Web / GUI / Android
GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models.
Zhibo Zhang, Wuxia Bai, Yuxi Li 0010, Mark Huasong Meng, Kailong Wang 0001
ASE2024Other
GraphCoder: Enhancing Repository-Level Code Completion via Coarse-to-fine Retrieval Based on Code Context Graph.
Wei Liu 0189, Ailun Yu, Daoguang Zan, Bo Shen, Wei Zhang 0004
ASE2024DevOps / CI / Build / Release
GrayDuck: The Sword of Damocles for Duck Typing in Dynamic Language Deserialization.
Xiaofan Liu, Xunjin Zheng, Cai Fu, Xiaoheng Xie, Peng Di
ASE2024Program Analysis / Verification / Formal Methods
HITS: High-coverage LLM-based Unit Test Generation via Method Slicing.
Zejun Wang, Kaibo Liu, Ge Li 0001, Zhi Jin 0001
ASE2024Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts.
Mojtaba Eshghie, Cyrille Artho, Hans Stammler, Wolfgang Ahrendt, Thomas T. Hildebrandt
ASE2024Other
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan Xie, Ming Wen 0001, Tinghan Li, Yiding Zhu, Qinsheng Hou
ASE2024Mobile / Web / GUI / Android; Performance / Energy / Reliability
How Effectively Do Code Language Models Understand Poor-Readability Code?
Chao Hu, Yitian Chai, Hao Zhou 0012, Fandong Meng, Jie Zhou 0016
ASE2024Education / Program Comprehension
How many pomodoros do professional engineers need to complete a microtask of programming?
Shinobu Saito, Yukako Iimura, Emad Aghayi, Thomas D. LaToza
ASE2024Other
How to Pet a Two-Headed Snake? Solving Cross-Repository Compatibility Issues with Hera.
Yifan Xie, Zhouyang Jia, Shanshan Li 0001, Ying Wang 0038, Jun Ma 0015
ASE2024DevOps / CI / Build / Release
Hybrid Regression Test Selection by Integrating File and Method Dependences.
Guofeng Zhang 0005, Luyao Liu, Zhenbang Chen, Ji Wang 0001
ASE2024Testing / QA
IdeoRate: Towards a Semi-automated Assessment Methodology for OSS Ideologies.
Yang Yue 0003, Yi Wang 0013, David F. Redmiles
ASE2024Other
Imperceptible Content Poisoning in LLM-Powered Applications.
Quan Zhang 0003, Chijin Zhou, Gwihwan Go, Binqi Zeng, Heyuan Shi
ASE2024AI / LLM for SE
Improving the Comprehension of R Programs by Hybrid Dataflow Analysis.
Florian Sihler
ASE2024Program Analysis / Verification / Formal Methods; Education / Program Comprehension
In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators.
Dmytro Humeniuk, Houssem Ben Braiek, Thomas Reid, Foutse Khomh
ASE2024Testing / QA; AI / LLM for SE
Incremental Context-free Grammar Inference in Black Box Settings.
Feifei Li, Xiao Chen 0002, Xi Xiao, Xiaoyu Sun 0002, Chuan Chen
ASE2024Other
Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution.
Heyuan Shi, Shijun Chen, Runzhe Wang, Yuhan Chen, Weibo Zhang
ASE2024Testing / QA
Instructive Code Retriever: Learn from Large Language Model's Feedback for Code Intelligence Tasks.
Jiawei Lu, Haoye Wang, Zhongxin Liu 0002, Keyu Liang, Lingfeng Bao
ASE2024AI / LLM for SE
Integrating Mutation Testing Into Developer Workflow: An Industrial Case Study.
Stefan Alexander van Heijningen, Theo Wiik, Francisco Gomes de Oliveira Neto, Gregory Gay 0002, Kim Viggedal
ASE2024Testing / QA; Human / Empirical / Socio-technical
Interrogation Testing of Program Analyzers for Soundness and Precision Issues.
David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu 0001
ASE2024Other
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
Guangyuan Wu, Weining Cao, Yuan Yao 0001, Hengfeng Wei, Taolue Chen 0001
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
LLM-Based Java Concurrent Program to ArkTS Converter.
Runlin Liu, Yuhang Lin, Yunge Hu, Zhe Zhang, Xiang Gao 0012
ASE2024AI / LLM for SE
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling.
Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro
ASE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
LLM4Workflow: An LLM-based Automated Workflow Model Generation Tool.
Jia Xu 0010, Weilin Du, Xiao Liu 0004, Xuejun Li 0001
ASE2024AI / LLM for SE
LLMs and Prompting for Unit Test Generation: A Large-Scale Evaluation.
Wendkûuni C. Ouédraogo, Abdoul Kader Kaboré, Haoye Tian, Yewei Song, Anil Koyuncu
ASE2024Testing / QA
Language-Agnostic Static Analysis of Probabilistic Programs.
Markus Böck, Michael Schröder 0005, Jürgen Cito
ASE2024Program Analysis / Verification / Formal Methods
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models.
Shuncheng Tang, Zhenya Zhang, Jixiang Zhou, Lei Lei, Yuan Zhou 0005
ASE2024Other
LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries.
Igor Wodiany, Antoniu Pop, Mikel Luján
ASE2024Other
Learning DNN Abstractions using Gradient Descent.
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
ASE2024Other
Leveraging Large Language Model to Assist Detecting Rust Code Comment Inconsistency.
Yichi Zhang, Zixi Liu, Yang Feng 0003, Baowen Xu
ASE2024AI / LLM for SE
MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code.
Moritz Mock, Jorge Melegati, Max Kretschmann, Nicolás E. Díaz Ferreyra, Barbara Russo
ASE2024Other
MLOLET - Machine Learning Optimized Load and Endurance Testing: An industrial experience report.
Arthur Vitui, Tse-Hsun Chen
ASE2024Testing / QA; AI / LLM for SE
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni
ASE2024Testing / QA
MRCA: Metric-level Root Cause Analysis for Microservices via Multi-Modal Data.
Yidan Wang, Zhouruixing Zhu, Qiuai Fu, Yuchi Ma, Pinjia He
ASE2024Debugging / Fault Localization / Diagnosis / Repair
Magneto: A Step-Wise Approach to Exploit Vulnerabilities in Dependent Libraries via LLM-Empowered Directed Fuzzing.
Zhuotong Zhou, Yongzhuo Yang, Susheng Wu, Yiheng Huang, Bihuan Chen 0001
ASE2024Testing / QA; AI / LLM for SE; Security / Privacy / Vulnerability
MaskDroid: Robust Android Malware Detection with Masked Graph Representations.
Jingnan Zheng, Jiahao Liu 0005, An Zhang 0003, Jun Zeng 0006, Ziqi Yang
ASE2024Security / Privacy / Vulnerability; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Match Word with Deed: Maintaining Consistency for IoT Systems with Behavior Models.
Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001
ASE2024Other
Microservice Decomposition Techniques: An Independent Tool Comparison.
Yingying Wang, Sarah Bornais, Julia Rubin
ASE2024Cloud / Microservices / Distributed Systems
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs.
Yin Wang, Ming Fan 0002, Hao Zhou 0043, Haijun Wang 0002, Wuxia Jin
ASE2024Security / Privacy / Vulnerability
Mining and Recommending Mobile App Features using Data-driven Analytics.
Ramsha Ali
ASE2024Mobile / Web / GUI / Android
Mining for Mutation Operators for Reduction of Information Flow Control Violations.
Ilya Kosorukov, Daniel Blackwell, David Clark 0001, Myra B. Cohen, Justyna Petke
ASE2024Testing / QA
Model-based GUI Testing For HarmonyOS Apps.
Yige Chen, Sinan Wang, Yida Tao, Yepang Liu 0001
ASE2024Testing / QA; Mobile / Web / GUI / Android
Models Are Codes: Towards Measuring Malicious Code Poisoning Attacks on Pre-trained Model Hubs.
Jian Zhao, Shenao Wang 0001, Yanjie Zhao 0001, Xinyi Hou, Kailong Wang 0001
ASE2024Other
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment.
Yinglong Zou, Juan Zhai, Chunrong Fang, Jiawei Liu, Tao Zheng
ASE2024Testing / QA; AI / LLM for SE
Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training.
Yangsen Wang, Yizhou Chen, Yifan Zhao, Zhihao Gong, Junjie Chen 0003
ASE2024AI / LLM for SE
Navigating Mobile Testing Evaluation: A Comprehensive Statistical Analysis of Android GUI Testing Metrics.
Yuanhong Lan, Yifei Lu, Minxue Pan, Xuandong Li
ASE2024Testing / QA; Mobile / Web / GUI / Android
NeuroJIT: Improving Just-In-Time Defect Prediction Using Neurophysiological and Empirical Perceptions of Modern Developers.
Gichan Lee, Hansae Ju, Scott Uk-Jin Lee
ASE2024Human / Empirical / Socio-technical
Olympia: Fuzzer Benchmarking for Solidity.
Jana Chadt, Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
ASE2024Testing / QA
On the Evaluation of Large Language Models in Unit Test Generation.
Lin Yang 0030, Chen Yang, Shutao Gao, Weijing Wang, Bo Wang 0050
ASE2024Testing / QA
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
Zhiyang Chen 0004, Ye Liu 0012, Sidi Mohamed Beillahi, Yi Li 0008, Fan Long
ASE2024Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Oracle-Guided Vulnerability Diversity and Exploit Synthesis of Smart Contracts Using LLMs.
Mojtaba Eshghie, Cyrille Artho
ASE2024Testing / QA; Security / Privacy / Vulnerability
PACGBI: A Pipeline for Automated Code Generation from Backlog Items.
Mahja Sarschar, Gefei Zhang 0001, Annika Nowak
ASE2024DevOps / CI / Build / Release
Parf: Adaptive Parameter Refining for Abstract Interpretation.
Zhongyi Wang 0004, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li
ASE2024Other
PatUntrack: Automated Generating Patch Examples for Issue Reports without Tracked Insecure Code.
Ziyou Jiang, Lin Shi 0006, Guowei Yang 0001, Qing Wang 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair
PatchTrack: Analyzing ChatGPT's Impact on Software Patch Decision-Making in Pull Requests.
Daniel Ogenrwot, John Businge
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Preference-Guided Refactored Tuning for Retrieval Augmented Code Generation.
Xinyu Gao, Yun Xiong, Deze Wang, Zhenhan Guan, Zejian Shi
ASE2024Other
Prioritizing Test Inputs for DNNs Using Training Dynamics.
Jian Shen, Zhong Li, Minxue Pan, Xuandong Li
ASE2024Testing / QA
Prioritizing Tests for Improved Runtime.
Abdelrahman Baz, Minchao Huang, August Shi
ASE2024Testing / QA
Program Synthesis Meets Visual What-Comes-Next Puzzles.
Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy 0001
ASE2024Other
Promise and Peril of Collaborative Code Generation Models: Balancing Effectiveness and Memorization.
Zhi Chen, Lingxiao Jiang
ASE2024Other
Proof Automation with Large Language Models.
Minghai Lu, Benjamin Delaware, Tianyi Zhang 0001
ASE2024Other
Quantitative Symbolic Non-Equivalence Analysis.
Laboni Sarker, Tevfik Bultan
ASE2024Program Analysis / Verification / Formal Methods
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers.
Asmar Muqeet, Shaukat Ali 0001, Paolo Arcaini
ASE2024Testing / QA
RCFG2Vec: Considering Long-Distance Dependency for Binary Code Similarity Detection.
Weilong Li, Jintian Lu, Ruizhi Xiao, Pengfei Shao, Shuyuan Jin
ASE2024Other
REACT: IR-Level Patch Presence Test for Binary.
Qi Zhan, Xing Hu 0008, Xin Xia 0001, Shanping Li
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code.
Jiachi Chen, Qingyuan Zhong, Yanlin Wang 0001, Kaiwen Ning, Yongkun Liu
ASE2024Other
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation.
Shiwei Feng 0002, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng 0010, Xiangzhe Xu
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Reducing Test Runtime by Transforming Test Fixtures.
Chengpeng Li 0002, Abdelrahman Baz, August Shi
ASE2024Testing / QA
Refinement Types for Visualization.
Jingtao Xia, Junrui Liu, Nicholas Brown, Yanju Chen, Yu Feng 0001
ASE2024Other
Repairing Regex-Dependent String Functions.
Nariyoshi Chida, Tachio Terauchi
ASE2024Debugging / Fault Localization / Diagnosis / Repair
RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models.
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di
ASE2024DevOps / CI / Build / Release
RepoSim: Evaluating Prompt Strategies for Code Completion via User Behavior Simulation.
Chao Peng 0002, Qinyun Wu, Jiangchao Liu, Jierui Liu, Bo Jiang
ASE2024Other
Revisiting the Conflict-Resolving Problem from a Semantic Perspective.
Jinhao Dong, Jun Sun 0001, Yun Lin 0001, Yedi Zhang, Murong Ma
ASE2024Other
Root Cause Analysis for Microservice System based on Causal Inference: How Far Are We?
Luan Pham, Huong Ha 0001, Hongyu Zhang 0002
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Rust-twins: Automatic Rust Compiler Testing through Program Mutation and Dual Macros Generation.
Wenzhang Yang, Cuifeng Gao, Xiaoyuan Liu, Yuekang Li, Yinxing Xue
ASE2024Testing / QA
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice.
Rui Ren, Jingbang Yang, Linxiao Yang, Xinyue Gu, Liang Sun 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.
Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
ASE2024Program Analysis / Verification / Formal Methods
Same App, Different Behaviors: Uncovering Device-specific Behaviors in Android Apps.
Zikan Dong, Yanjie Zhao 0001, Tianming Liu 0002, Chao Wang 0097, Guosheng Xu 0001
ASE2024Mobile / Web / GUI / Android
Scaler: Efficient and Effective Cross Flow Analysis.
Steven (Jiaxun) Tang, Mingcan Xiang, Yang Wang 0009, Bo Wu 0002, Jianjun Chen 0001
ASE2024Other
Seeding and Mocking in White-Box Fuzzing Enterprise RPC APIs: An Industrial Case Study.
Man Zhang 0001, Andrea Arcuri, Piyun Teng, Kaiming Xue, Wenhao Wang
ASE2024Testing / QA; Human / Empirical / Socio-technical
Self-Elicitation of Requirements with Automated GUI Prototyping.
Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto, Kurt Schneider
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
SemantiLog: Log-based Anomaly Detection with Semantic Similarity.
Yoli Shavit, Kathy Razmadze, Gary Mataev, Hanan Shteingart, Eitan Zahavi
ASE2024Cloud / Microservices / Distributed Systems
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models.
Cong Wu 0003, Jing Chen 0003, Ziwei Wang, Ruichao Liang, Ruiying Du
ASE2024Other
Semantic-Enhanced Indirect Call Analysis with Large Language Models.
Baijun Cheng, Cen Zhang, Kailong Wang 0001, Ling Shi 0002, Yang Liu 0003
ASE2024Other
Semantic-aware Source Code Modeling.
Yangruibo Ding
ASE2024Requirements / Modeling / Architecture
Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems.
Zihao Rao
ASE2024Program Analysis / Verification / Formal Methods
Semi-Supervised Code Translation Overcoming the Scarcity of Parallel Code Data.
Ming Zhu 0015, Mohimenul Karim, Ismini Lourentzou, Daphne Yao
ASE2024Other
Semistructured Merge with Language-Specific Syntactic Separators.
Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, Jônatas Clementino
ASE2024Other
Shoot Yourself in the Foot - Efficient Code Causes Inefficiency in Compiler Optimizations.
Fengjuan Gao, Hongyu Chen, Yuewei Zhou, Ke Wang 0022
ASE2024Other
Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates.
Zhihong Sun, Yao Wan 0001, Jia Li 0012, Hongyu Zhang 0002, Zhi Jin 0001
ASE2024Other
Skyeye: Detecting Imminent Attacks via Analyzing Adversarial Smart Contracts.
Haijun Wang 0002, Yurui Hu, Hao Wu 0100, Dijun Liu, Chenyang Peng
ASE2024Other
Slicer4D: A Slicing-based Debugger for Java.
Sahar Badihi, Sami Nourji, Julia Rubin
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Snopy: Bridging Sample Denoising with Causal Graph Learning for Effective Vulnerability Detection.
Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu 0001, David Lo 0001, Lili Bo
ASE2024Other
SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing.
An Guo 0002, Yuan Zhou 0005, Haoxiang Tian 0001, Chunrong Fang, Yunjian Sun
ASE2024Testing / QA; DevOps / CI / Build / Release
Software Supply Chain Risk: Characterization, Measurement & Attenuation.
Alexis Butler
ASE2024Other
SpiderScan: Practical Detection of Malicious NPM Packages Based on Graph-Based Behavior Modeling and Matching.
Yiheng Huang, Ruisi Wang, Wen Zheng, Zhuotong Zhou, Susheng Wu
ASE2024Requirements / Modeling / Architecture
Spotting Code Mutation for Predictive Mutation Testing.
Yifan Zhao, Yizhou Chen, Zeyu Sun 0004, Qingyuan Liang, Guoqing Wang 0004
ASE2024Testing / QA
Studying Versioning in Stack Overflow.
Yiyun Chen, Fuxiang Chen, Mijung Kim, Fatemeh H. Fard
ASE2024Other
Syntactic Resilience in Greybox Fuzzing: Automated Error Recovery.
Bachir Bendrissou
ASE2024Testing / QA
Test Case Generation for Simulink Models using Model Fuzzing and State Solving.
Zhuo Su 0005, Zehong Yu, Dongyan Wang, Wanli Chang 0001, Bin Gu 0006
ASE2024Testing / QA
Test-Driven Development and LLM-based Code Generation.
Noble Saji Mathews, Meiyappan Nagappan
ASE2024Testing / QA; AI / LLM for SE
The Importance of Accounting for Execution Failures when Predicting Test Flakiness.
Guillaume Haben, Sarra Habchi, John Micco, Mark Harman, Mike Papadakis
ASE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
The Potential of One-Shot Failure Root Cause Analysis: Collaboration of the Large Language Model and Small Classifier.
Yongqi Han 0001, Qingfeng Du, Ying Huang, Jiaqi Wu, Fulong Tian
ASE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
The Software Genome Project: Unraveling Software Through Genetic Principles.
Yueming Wu 0001, Chengwei Liu, Zhengzi Xu, Lyuye Zhang, Yiran Zhang
ASE2024Other
Three Heads Are Better Than One: Suggesting Move Method Refactoring Opportunities with Inter-class Code Entity Dependency Enhanced Hybrid Hypergraph Neural Network.
Di Cui, Jiaqi Wang, Qiangqiang Wang, Peng Ji, Minglang Qiao
ASE2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions.
Jaemin Hong, Sukyoung Ryu
ASE2024Other
Toward Individual Fairness Testing with Data Validity.
Takashi Kitamura 0001, Sousuke Amasaki, Jun Inoue 0001, Yoshinao Isobe, Takahisa Toda
ASE2024Testing / QA
Towards Automated Configuration Documentation.
Jobayer Ahmmed, Myra B. Cohen, Paul Gazzillo
ASE2024DevOps / CI / Build / Release
Towards Effective Static Type-Error Detection for Python.
Wonseok Oh, Hakjoo Oh
ASE2024Program Analysis / Verification / Formal Methods
Towards Extracting Ethical Concerns-related Software Requirements from App Reviews.
Aakash Sorathiya, Gouri Ginde
ASE2024Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Towards LLM-augmented multiagent systems for agile software engineering.
Konrad Cinkusz, Jaroslaw A. Chudziak
ASE2024AI / LLM for SE
Towards Leveraging LLMs for Reducing Open Source Onboarding Information Overload.
Elijah Kayode Adejumo, Brittany Johnson
ASE2024Human / Empirical / Socio-technical
Towards Long-Term Scientific Model Sustainment at Sandia National Laboratories.
Christian Gilbertson, Reed Milewicz, Eric Berquist, Aaron Brundage, John Engelmann
ASE2024Other
Towards Robust Detection of Open Source Software Supply Chain Poisoning Attacks in Industry Environments.
Xinyi Zheng, Chen Wei, Shenao Wang 0001, Yanjie Zhao 0001, Peiming Gao
ASE2024Human / Empirical / Socio-technical; Performance / Energy / Reliability
Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients.
Hala Abdelkader, Jean-Guy Schneider, Mohamed Abdelrazek 0001, Priya Rani, Rajesh Vasa
ASE2024Performance / Energy / Reliability
Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach.
Vittoriano Muttillo, Claudio Di Sipio, Riccardo Rubei, Luca Berardinelli, MohammadHadi Dehghani
ASE2024Requirements / Modeling / Architecture
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation.
Zongze Jiang, Ming Wen 0001, Jialun Cao, Xuanhua Shi, Hai Jin 0001
ASE2024Testing / QA
Towards a Robust Waiting Strategy for Web GUI Testing for an Industrial Software System.
Haonan Zhang 0006, Lizhi Liao, Zishuo Ding, Weiyi Shang, Nidhi Narula
ASE2024Testing / QA; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Translation Titans, Reasoning Challenges: Satisfiability-Aided Language Models for Detecting Conflicting Requirements.
Mohamad Fazelnia, Mehdi Mirakhorli, Hamid Bagheri
ASE2024Requirements / Modeling / Architecture
Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network.
Yuanlin Li, Zhiwei Xu, Min Zhou 0001, Hai Wan, Xibin Zhao
ASE2024AI / LLM for SE
TypeFSL: Type Prediction from Binaries via Inter-procedural Data-flow Analysis and Few-shot Learning.
Zirui Song, Yutong Zhou, Shuaike Dong, Ke Zhang 0039, Kehuan Zhang
ASE2024Program Analysis / Verification / Formal Methods
Typed and Confused: Studying the Unexpected Dangers of Gradual Typing.
Dominic Troppmann, Aurore Fass, Cristian-Alexandru Staicu
ASE2024Program Analysis / Verification / Formal Methods
UFront: Toward A Unified MLIR Frontend for Deep Learning.
Guoqing Bao, Heng Shi 0005, Chengyi Cui, Yalin Zhang 0004, Jianguo Yao 0002
ASE2024AI / LLM for SE
Understanding Code Changes Practically with Small-Scale Language Models.
Cong Li 0003, Zhaogui Xu, Peng Di, Dongxia Wang 0002, Zheng Li 0035
ASE2024Maintenance / Evolution / Refactoring / Review
Understanding Developer-Analyzer Interactions in Code Reviews.
Martin Schäf, Berk Çirisci, Linghui Luo, Muhammad Numair Mansur, Omer Tripp
ASE2024Human / Empirical / Socio-technical
Understanding the Implications of Changes to Build Systems.
Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh
ASE2024DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
Unity Is Strength: Collaborative LLM-Based Agents for Code Reviewer Recommendation.
Luqiao Wang, Yangtao Zhou, Huiying Zhuang, Qingshan Li, Di Cui
ASE2024AI / LLM for SE
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing.
Siyu Yu, Yifan Wu 0002, Ying Li 0012, Pinjia He
ASE2024Other
Unveiling the Characteristics and Impact of Security Patch Evolution.
Zifan Xie, Ming Wen 0001, Zichao Wei, Hai Jin 0001
ASE2024Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review
Using AI to Automate the Modernization of Legacy Software Applications.
Vikram Nitin
ASE2024AI / LLM for SE
Using LLM for Mining and Testing Constraints in API Testing.
Hieu Huynh, Quoc-Tri Le, Tien N. Nguyen, Vu Nguyen 0003
ASE2024Testing / QA; AI / LLM for SE
Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development.
Lei Liao, Junjie Wang 0001, Zhensheng Xu, Fangwen Mu, Yukun Yang
ASE2024Requirements / Modeling / Architecture
Verifying the Option Type with Rely-Guarantee Reasoning.
James Yoo, Michael D. Ernst, René Just
ASE2024Program Analysis / Verification / Formal Methods
Vision: Identifying Affected Library Versions for Open Source Software Vulnerabilities.
Susheng Wu, Ruisi Wang, Kaifeng Huang 0001, Yiheng Cao, Wenyan Song
ASE2024Human / Empirical / Socio-technical
Visualizing and Understanding the Internals of Fuzzing.
Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei
ASE2024Testing / QA
VulAdvisor: Natural Language Suggestion Generation for Software Vulnerability Repair.
Jian Zhang 0087, Chong Wang 0013, Anran Li 0001, Wenhan Wang, Tianlin Li
ASE2024Debugging / Fault Localization / Diagnosis / Repair
VulZoo: A Comprehensive Vulnerability Intelligence Dataset.
Bonan Ruan, Jiahao Liu 0005, Weibo Zhao, Zhenkai Liang
ASE2024Other
WaDec: Decompiling WebAssembly Using Large Language Model.
Xinyu She, Yanjie Zhao 0001, Haoyu Wang 0001
ASE2024AI / LLM for SE
What Is Wrong with My Model? Identifying Systematic Problems with Semantic Data Slicing.
Chenyang Yang 0002, Yining Hong, Grace A. Lewis, Tongshuang Wu, Christian Kästner
ASE2024Program Analysis / Verification / Formal Methods
What Makes a High-Quality Training Dataset for Large Language Models: A Practitioners' Perspective.
Xiao Yu 0008, Zexian Zhang, Feifei Niu, Xing Hu 0008, Xin Xia 0001
ASE2024Other
flowR: A Static Program Slicer for R.
Florian Sihler, Matthias Tichy
ASE2024Other
iSMELL: Assembling LLMs with Expert Toolsets for Code Smell Detection and Refactoring.
Di Wu, Fangwen Mu, Lin Shi 0006, Zhaoqiang Guo, Kui Liu 0001
ASE2024Maintenance / Evolution / Refactoring / Review
"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; Denys Poshyvanyk
FSE2024Other
A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques.
Max Landauer; Florian Skopik; Markus Wurzenberger
FSE2024Other
A Deep Dive into Large Language Models for Automated Bug Localization and Repair.
Soneya Binta Hossain; Nan Jiang 0012; Qiang Zhou 0009; Xiaopeng Li 0002; Wen-Hao Chiang; Yingjun Lyu; Hoan Anh Nguyen; Omer Tripp
FSE2024Debugging / Fault Localization / Diagnosis / Repair
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators.
Jinyin Chen; Chengyu Jia 0001; Yunjie Yan; Jie Ge; Haibin Zheng; Yao Cheng 0002
FSE2024Testing / QA; AI / LLM for SE
A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization.
Sungmin Kang; Gabin An; Shin Yoo
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Dirk Beyer 0001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee
FSE2024Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories.
Farbod Farhour; Ahmad Abdellatif; Essam Mansour 0001; Emad Shihab
FSE2024Other
AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation.
Vijayaraghavan Murali; Chandra Shekhar Maddila; Imad Ahmad; Michael Bolin; Daniel Cheng; Negar Ghorbani; Renuka Fernandez; Nachiappan Nagappan; Peter C. Rigby
FSE2024AI / LLM for SE
AROMA: Automatic Reproduction of Maven Artifacts.
Mehdi Keshani; Tudor-Gabriel Velican; Gideon Bot; Sebastian Proksch 0001
FSE2024Other
Abstraction-Aware Inference of Metamorphic Relations.
Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias
FSE2024Other
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems.
Yi Qin 0002; Yanxiang Tong; Yifei Xu; Chun Cao; Xiaoxing Ma
FSE2024Other
Adapting Multi-objectivized Software Configuration Tuning.
Tao Chen 0001; Miqing Li
FSE2024DevOps / CI / Build / Release
An Analysis of the Costs and Benefits of Autocomplete in IDEs.
Shaokang Jiang; Michael Coblenz
FSE2024Other
An Empirical Study on Code Review Activity Prediction and Its Impact in Practice.
Doriane Olewicki; Sarra Habchi; Bram Adams
FSE2024Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation.
Yibo He; Jiaming Huang; Hao Yu 0016; Tao Xie 0001
FSE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit.
Matteo Paltenghi; Michael Pradel
FSE2024Program Analysis / Verification / Formal Methods
Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning.
Yubo Mai; Zhipeng Gao 0002; Xing Hu 0008; Lingfeng Bao; Yu Liu 0146; Jianling Sun
FSE2024Human / Empirical / Socio-technical
BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection.
Luan Pham; Huong Ha 0001; Hongyu Zhang 0002
FSE2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review; Performance / Energy / Reliability
BRF: Fuzzing the eBPF Runtime.
Hsin-Wei Hung; Ardalan Amiri Sani
FSE2024Testing / QA
Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice.
Ranim Khojah; Mazen Mohamad; Philipp Leitner 0001; Francisco Gomes de Oliveira Neto
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings.
Zirui Song; Jiongyi Chen; Kehuan Zhang
FSE2024Other
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis.
Georgios-Petros Drosos; Thodoris Sotiropoulos; Diomidis Spinellis; Dimitris Mitropoulos
FSE2024Other
Bounding Random Test Set Size with Computational Learning Theory.
Neil Walkinshaw; Michael Foster 0001; José Miguel Rojas; Robert M. Hierons
FSE2024Testing / QA
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection.
Shihan Dou; Yueming Wu 0001; Haoxiang Jia; Yuhao Zhou 0005; Yan Liu 0012; Yang Liu 0003
FSE2024Maintenance / Evolution / Refactoring / Review
CORE: Resolving Code Quality Issues using LLMs.
Nalin Wadhwa; Jui Pradhan; Atharv Sonwane; Surya Prakash Sahu; Nagarajan Natarajan; Aditya Kanade 0001; Suresh Parthasarathy; Sriram K. Rajamani
FSE2024Other
COSTELLO: Contrastive Testing for Embedding-Based Large Language Model as a Service Embeddings.
Weipeng Jiang; Juan Zhai; Shiqing Ma; Xiaoyu Zhang 0013; Chao Shen 0001
FSE2024Testing / QA; AI / LLM for SE
Can GPT-4 Replicate Empirical Software Engineering Research?
Jenny T. Liang; Carmen Badea; Christian Bird; Robert DeLine; Denae Ford; Nicole Forsgren; Thomas Zimmermann 0001
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Madeline Endres; Sarah Fakhoury; Saikat Chakraborty 0001; Shuvendu K. Lahiri
FSE2024Program Analysis / Verification / Formal Methods
ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems.
Guangba Yu; Pengfei Chen 0002; Zilong He; Qiuyu Yan; Yu Luo; Fangyuan Li; Zibin Zheng
FSE2024Maintenance / Evolution / Refactoring / Review
Characterizing Python Library Migrations.
Mohayeminul Islam; Ajay Kumar Jha; Ildar Akhmetov; Sarah Nadi
FSE2024Other
ClarifyGPT: A Framework for Enhancing LLM-Based Code Generation via Requirements Clarification.
Fangwen Mu; Lin Shi 0006; Song Wang 0009; Zhuohao Yu 0002; Binquan Zhang; Chenxue Wang; Shichao Liu; Qing Wang 0001
FSE2024AI / LLM for SE; Requirements / Modeling / Architecture
Code-Aware Prompting: A Study of Coverage-Guided Test Generation in Regression Setting using LLM.
Gabriel Ryan; Siddhartha Jain 0001; Mingyue Shang; Shiqi Wang 0002; Xiaofei Ma 0001; Murali Krishna Ramanathan; Baishakhi Ray
FSE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking.
Zian Su; Xiangzhe Xu; Ziyang Huang 0004; Zhuo Zhang 0002; Yapeng Ye; Jianjun Huang 0001; Xiangyu Zhang 0001
FSE2024Other
CodePlan: Repository-Level Coding using LLMs and Planning.
Ramakrishna Bairi; Atharv Sonwane; Aditya Kanade 0001; Vageesh D. C.; Arun Iyer; Suresh Parthasarathy; Sriram K. Rajamani; Balasubramanyan Ashok; Shashank Shet
FSE2024DevOps / CI / Build / Release
Component Security Ten Years Later: An Empirical Study of Cross-Layer Threats in Real-World Mobile Applications.
Keke Lian; Lei Zhang 0096; Guangliang Yang 0001; Shuo Mao; Xinjie Wang; Yuan Zhang 0009; Min Yang 0002
FSE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
Qilin Zhou; Zhengyuan Wei; Haipeng Wang 0005; Bo Jiang 0001; Wing-Kwong Chan
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs.
Haoran Liu; Zhouyang Jia; Shanshan Li 0001; Yan Lei; Yue Yu 0001; Yu Jiang 0001; Xiaoguang Mao; Xiangke Liao
FSE2024Other
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization.
Chengpeng Wang 0001; Jipeng Zhang; Rongxin Wu; Charles Zhang 0001
FSE2024Performance / Energy / Reliability
DTD: Comprehensive and Scalable Testing for Debuggers.
Hongyi Lu; Zhibo Liu 0001; Shuai Wang 0011; Fengwei Zhang
FSE2024Testing / QA
DeSQL: Interactive Debugging of SQL in Data-Intensive Scalable Computing.
Sabaat Haroon; Chris Brown 0001; Muhammad Ali Gulzar
FSE2024Debugging / Fault Localization / Diagnosis / Repair
DeciX: Explain Deep Learning Based Code Generation Applications.
Simin Chen; Zexin Li 0001; Wei Yang 0013; Cong Liu 0005
FSE2024AI / LLM for SE
Decomposing Software Verification using Distributed Summary Synthesis.
Dirk Beyer 0001; Matthias Kettl; Thomas Lemberger 0002
FSE2024Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
Demystifying Invariant Effectiveness for Securing Smart Contracts.
Zhiyang Chen 0004; Ye Liu 0012; Sidi Mohamed Beillahi; Yi Li 0008; Fan Long
FSE2024Program Analysis / Verification / Formal Methods
Dependency-Induced Waste in Continuous Integration: An Empirical Study of Unused Dependencies in the npm Ecosystem.
Nimmi Rashinika Weeraddana; Mahmoud Alfadel; Shane McIntosh
FSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Detecting, Creating, Repairing, and Understanding Indivisible Multi-Hunk Bugs.
Qi Xin 0001; Haojun Wu; Jinran Tang; Xinyu Liu; Steven P. Reiss; Jifeng Xuan
FSE2024Other
DiffCoder: Enhancing Large Language Model on API Invocation via Analogical Code Exercises.
Daoguang Zan; Ailun Yu; Bo Shen; Bei Chen 0008; Wei Li 0326; Yongshun Gong; Xiaolin Chen; Yafen Yao; Weihua Luo; Bei Guan; Yan Liu; Yongji Wang 0002; Qianxiang Wang; Lizhen Cui 0001
FSE2024AI / LLM for SE
Do Large Language Models Pay Similar Attention Like Human Programmers When Generating Code?
Bonan Kou; Shengmai Chen; Zhijie Wang 0014; Lei Ma 0003; Tianyi Zhang 0001
FSE2024Human / Empirical / Socio-technical
Do Words Have Power? Understanding and Fostering Civility in Code Review Discussion.
Md Shamimur Rahman; Zadia Codabux; Chanchal K. Roy
FSE2024Maintenance / Evolution / Refactoring / Review
DyPyBench: A Benchmark of Executable Python Software.
Islem Bouzenia; Bajaj Piyush Krishan; Michael Pradel
FSE2024Other
Effective Teaching through Code Reviews: Patterns and Anti-patterns.
Anita Sarma; Nina Chen
FSE2024Other
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts.
Zexu Wang; Jiachi Chen; Yanlin Wang 0001; Yu Zhang 0036; Weizhe Zhang; Zibin Zheng
FSE2024Other
Enhancing Code Understanding for Impact Analysis by Combining Transformers and Program Dependence Graphs.
Yanfu Yan; Nathan Cooper; Kevin Moran; Gabriele Bavota; Denys Poshyvanyk; Steve Rich
FSE2024Other
Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-task Learning.
Xiaoling Zhang 0009; Zhengzi Xu; Shouguo Yang; Zhi Li 0018; Zhiqiang Shi; Limin Sun 0001
FSE2024Other
Evaluating Directed Fuzzers: Are We Heading in the Right Direction?
Tae Eun Kim; Jaeseung Choi 0002; Seongjae Im; Kihong Heo; Sang Kil Cha
FSE2024Other
Evaluating and Improving ChatGPT for Unit Test Generation.
Zhiqiang Yuan; Mingwei Liu 0002; Shiji Ding; Kaixin Wang; Yixuan Chen 0012; Xin Peng 0001; Yiling Lou
FSE2024Testing / QA; AI / LLM for SE
Evolutionary Multi-objective Optimization for Contextual Adversarial Example Generation.
Shasha Zhou; Mingyu Huang; Yanan Sun 0001; Ke Li 0001
FSE2024Performance / Energy / Reliability
Exploring and Unleashing the Power of Large Language Models in Automated Code Translation.
Zhen Yang 0022; Fang Liu 0032; Zhongxing Yu; Jacky Wai Keung; Jia Li 0011; Shuo Liu 0020; Yifan Hong; Xiaoxue Ma; Zhi Jin 0001; Ge Li 0001
FSE2024Other
EyeTrans: Merging Human and Machine Attention for Neural Code Summarization.
Yifan Zhang 0013; Jiliang Li; Zachary Karas; Aakash Bansal; Toby Jia-Jun Li; Collin McMillan; Kevin Leach; Yu Huang 0015
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing.
Xiao Cheng 0002; Jiawei Ren 0003; Yulei Sui
FSE2024Program Analysis / Verification / Formal Methods
FeatMaker: Automated Feature Engineering for Search Strategy of Symbolic Execution.
Jaehan Yoon; Sooyoung Cha
FSE2024Program Analysis / Verification / Formal Methods
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles.
Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 0001; Ting Su 0001; Shijie Li; Yulei Sui
FSE2024Other
Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions.
Tao Xiao 0001; Hideaki Hata; Christoph Treude; Kenichi Matsumoto
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection.
Yuxi Li 0010; Yi Liu 0069; Gelei Deng; Ying Zhang 0066; Wenjia Song; Ling Shi 0002; Kailong Wang 0001; Yuekang Li; Yang Liu 0003; Haoyu Wang 0001
FSE2024Other
Go Static: Contextualized Logging Statement Generation.
Yichen Li 0003; Yintong Huo; Renyi Zhong; Zhihan Jiang; Jinyang Liu 0002; Junjie Huang 0008; Jiazhen Gu; Pinjia He; Michael R. Lyu
FSE2024Other
Harnessing Neuron Stability to Improve DNN Verification.
Hai Duong; Dong Xu 0021; ThanhVu Nguyen; Matthew B. Dwyer
FSE2024Program Analysis / Verification / Formal Methods
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception?
Christian Birchler; Tanzil Kombarabettu Mohammed; Pooja Rani 0001; Teodora Nechita; Timo Kehrer; Sebastiano Panichella
FSE2024Testing / QA; Human / Empirical / Socio-technical
How to Gain Commit Rights in Modern Top Open Source Communities?
Xin Tan 0003; Yan Gong 0001; Geyu Huang; Haohua Wu; Li Zhang 0029
FSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
IRCoCo: Immediate Rewards-Guided Deep Reinforcement Learning for Code Completion.
Bolun Li; Zhihong Sun; Tao Huang; Hongyu Zhang 0002; Yao Wan 0001; Ge Li 0001; Zhi Jin 0001; Chen Lyu 0001
FSE2024Other
Improving the Learning of Code Review Successive Tasks with Cross-Task Knowledge Distillation.
Oussama Ben Sghaier; Houari A. Sahraoui
FSE2024Maintenance / Evolution / Refactoring / Review
Investigating Documented Privacy Changes in Android OS.
Chuan Yan; Mark Huasong Meng; Fuman Xie; Guangdong Bai
FSE2024Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization.
Xiangping Chen; Furen Xu; Yuan Huang 0002; Neng Zhang 0001; Zibin Zheng
FSE2024Other
Java JIT Testing with Template Extraction.
Zhiqiang Zang; Fu-Yao Yu; Aditya Thimmaiah; August Shi; Milos Gligoric 0001
FSE2024Testing / QA
LILAC: Log Parsing using LLMs with Adaptive Parsing Cache.
Zhihan Jiang; Jinyang Liu 0002; Zhuangbin Chen; Yichen Li 0003; Junjie Huang 0008; Yintong Huo; Pinjia He; Jiazhen Gu; Michael R. Lyu
FSE2024Other
Learning to Detect and Localize Multilingual Bugs.
Haoran Yang 0002; Yu Nong; Tao Zhang 0001; Xiapu Luo; Haipeng Cai
FSE2024Other
Less Cybersickness, Please: Demystifying and Detecting Stereoscopic Visual Inconsistencies in Virtual Reality Apps.
Shuqing Li 0001; Cuiyun Gao 0001; Jianping Zhang 0002; Yujia Zhang 0018; Yepang Liu 0001; Jiazhen Gu; Yun Peng 0003; Michael R. Lyu
FSE2024Mobile / Web / GUI / Android
LogSD: Detecting Anomalies from System Logs through Self-Supervised Learning and Frequency-Based Masking.
Yongzheng Xie; Hongyu Zhang 0002; Muhammad Ali Babar 0001
FSE2024Cloud / Microservices / Distributed Systems
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems.
Xiaoyan Zhu; Mingyue Jiang; Xiao-Yi Zhang 0005; Liming Nie; Zuohua Ding
FSE2024Other
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times.
Necip Fazil Yildiran; Jeho Oh; Julia Lawall; Paul Gazzillo
FSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Metamorphic Testing of Secure Multi-party Computation (MPC) Compilers.
Yichen Li 0004; Dongwei Xiao; Zhibo Liu 0001; Qi Pang; Shuai Wang 0011
FSE2024Testing / QA
Mining Action Rules for Defect Reduction Planning.
Khouloud Oueslati; Gabriel Laberge; Maxime Lamothe; Foutse Khomh
FSE2024Other
MirrorFair: Fixing Fairness Bugs in Machine Learning Software via Counterfactual Predictions.
Ying Xiao; Jie M. Zhang; Yepang Liu 0001; Mohammad Reza Mousavi 0001; Sicen Liu; Dingyuan Xue
FSE2024AI / LLM for SE
Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems.
Yuntianyi Chen; Yuqi Huai; Shilong Li 0002; Changnam Hong; Joshua Garcia
FSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Mobile Bug Report Reproduction via Global Search on the App UI Model.
Zhaoxu Zhang; Fazle Mohammed Tawsif; Komei Ryu; Tingting Yu 0001; William G. J. Halfond
FSE2024Mobile / Web / GUI / Android
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models.
Yan Wang 0014; Xiaoning Li; Tien N. Nguyen; Shaohua Wang 0002; Chao Ni 0001; Ling Ding
FSE2024Other
Natural Symbolic Execution-Based Testing for Big Data Analytics.
Yaoxuan Wu; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim
FSE2024Testing / QA; Program Analysis / Verification / Formal Methods
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software.
Ophir M. Carmel; Guy Katz
FSE2024AI / LLM for SE
On the Contents and Utility of IoT Cybersecurity Guidelines.
Jesse Chen; Dharun Anandayuvaraj; James C. Davis 0001; Sazzadur Rahaman
FSE2024Other
Only diff Is Not Enough: Generating Commit Messages Leveraging Reasoning and Action of Large Language Model.
Jiawei Li 0013; David Faragó; Christian Petrov; Iftekhar Ahmed 0001
FSE2024AI / LLM for SE; DevOps / CI / Build / Release
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.
Yoel Kim; Yunja Choi
FSE2024Other
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models.
Simin Chen; Xiaoning Feng; Xiaohong Han; Cong Liu 0005; Wei Yang 0013
FSE2024Other
Partial Solution Based Constraint Solving Cache in Symbolic Execution.
Ziqi Shuai; Zhenbang Chen 0001; Kelin Ma; Kunlin Liu; Yufeng Zhang 0001; Jun Sun 0001; Ji Wang 0001
FSE2024Program Analysis / Verification / Formal Methods
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks.
Tarek Alakmeh; David R. Reich; Lena A. Jäger; Thomas Fritz 0001
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical; Education / Program Comprehension
Predicting Configuration Performance in Multiple Environments with Sequential Meta-Learning.
Jingzhi Gong; Tao Chen 0001
FSE2024DevOps / CI / Build / Release; Performance / Energy / Reliability
Predicting Failures of Autoscaling Distributed Applications.
Giovanni Denaro; Noura El Moussa; Rahim Heydarov; Francesco Lomio; Mauro Pezzè; Ketai Qiu
FSE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Predictive Program Slicing via Execution Knowledge-Guided Dynamic Dependence Learning.
Aashish Yadavally; Yi Li 0048; Tien N. Nguyen
FSE2024Program Analysis / Verification / Formal Methods
ProveNFix: Temporal Property-Guided Program Repair.
Yahui Song; Xiang Gao 0012; Wenhua Li; Wei-Ngan Chin; Abhik Roychoudhury
FSE2024Debugging / Fault Localization / Diagnosis / Repair
PyRadar: Towards Automatically Retrieving and Validating Source Code Repository Information for PyPI Packages.
Kai Gao 0008; Weiwei Xu 0001; Wenhao Yang; Minghui Zhou 0001
FSE2024DevOps / CI / Build / Release
R2I: A Relative Readability Metric for Decompiled Code.
Haeun Eom; Dohee Kim; Sori Lim; Hyungjoon Koo; Sungjae Hwang
FSE2024Education / Program Comprehension
RavenBuild: Context, Relevance, and Dependency Aware Build Outcome Prediction.
Gengyi Sun; Sarra Habchi; Shane McIntosh
FSE2024DevOps / CI / Build / Release
Refactoring to Pythonic Idioms: A Hybrid Knowledge-Driven Approach Leveraging Large Language Models.
Zejun Zhang 0006; Zhenchang Xing; Xiaoxue Ren; Qinghua Lu 0001; Xiwei Xu 0001
FSE2024Maintenance / Evolution / Refactoring / Review
Revealing Software Development Work Patterns with PR-Issue Graph Topologies.
Cleidson R. B. de Souza; Emilie Ma; Jesse Wong; Dongwook Yoon; Ivan Beschastnikh
FSE2024Other
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks.
Wei Wang 0353; Huilong Ning; Gaowei Zhang; Libo Liu; Yi Wang 0013
FSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules.
Shengcheng Yu; Chunrong Fang; Quanjun Zhang; Mingzhe Du; Jia Liu 0015; Zhenyu Chen 0001
FSE2024Testing / QA
Shadows in the Interface: A Comprehensive Study on Dark Patterns.
Liming Nie; Yangyang Zhao; Chenglin Li; Xuqiong Luo; Yang Liu 0003
FSE2024Human / Empirical / Socio-technical
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations.
David Broneske; Sebastian Kittan; Jacob Krüger
FSE2024Maintenance / Evolution / Refactoring / Review
SimLLM: Calculating Semantic Similarity in Code Summaries using a Large Language Model-Based Approach.
Xin Jin; Zhiqiang Lin 0001
FSE2024AI / LLM for SE
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin Liao; Yuhong Nan; Henglong Liang; Sicheng Hao 0001; Juan Zhai; Jiajing Wu; Zibin Zheng
FSE2024Program Analysis / Verification / Formal Methods
State Reconciliation Defects in Infrastructure as Code.
Md. Mahadi Hassan; John Salvador; Shubhra Kanti Karmaker Santu; Akond Rahman
FSE2024Other
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Kaixuan Li 0002; Yue Xue; Sen Chen 0001; Han Liu 0012; Kairan Sun; Ming Hu 0003; Haijun Wang 0002; Yang Liu 0003; Yixiang Chen 0001
FSE2024Testing / QA; Security / Privacy / Vulnerability
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation.
Sourav Deb; Kush Jain; Rijnard van Tonder; Claire Le Goues; Alex Groce
FSE2024Other
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers.
Changwei Zou; Dongjie He; Yulei Sui; Jingling Xue
FSE2024Program Analysis / Verification / Formal Methods
Towards AI-Assisted Synthesis of Verified Dafny Methods.
Md Rakib Hossain Misu; Cristina V. Lopes; Iris Ma; James Noble 0001
FSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
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; Shaowei Wang 0002
FSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations.
Jun Lyu; Shanshan Li 0002; He Zhang 0001; Lanxin Yang; Bohan Liu 0003; Manuel Rigger
FSE2024DevOps / CI / Build / Release
Towards Efficient Verification of Constant-Time Cryptographic Implementations.
Luwei Cai; Fu Song; Taolue Chen 0001
FSE2024Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
TraStrainer: Adaptive Sampling for Distributed Traces with System Runtime State.
Haiyu Huang 0002; Xiaoyu Zhang; Pengfei Chen 0002; Zilong He; Zhiming Chen; Guangba Yu; Hongyang Chen 0002; Chen Sun 0005
FSE2024Cloud / Microservices / Distributed Systems
Understanding Developers' Discussions and Perceptions on Non-functional Requirements: The Case of the Spring Ecosystem.
Anderson Oliveira; João Lucas Correia; Wesley K. G. Assunção; Juliana Alves Pereira; Rafael Maiani de Mello; Daniel Coutinho; Caio Barbosa; Paulo Vítor C. F. Libório; Alessandro Garcia 0001
FSE2024Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Understanding and Detecting Annotation-Induced Faults of Static Analyzers.
Huaien Zhang; Yu Pei 0001; Shuyun Liang; Shin Hwei Tan
FSE2024Other
Understanding the Impact of APIs Behavioral Breaking Changes on Client Applications.
Dhanushka Jayasuriya; Valerio Terragni; Jens Dietrich 0001; Kelly Blincoe
FSE2024Maintenance / Evolution / Refactoring / Review
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example.
Malinda Dilhara; Abhiram Bellur; Timofey Bryksin; Danny Dig
FSE2024Maintenance / Evolution / Refactoring / Review
Your Code Secret Belongs to Me: Neural Code Completion Tools Can Memorize Hard-Coded Credentials.
Yizhan Huang; Yichen Li 0003; Weibin Wu 0002; Jianping Zhang 0002; Michael R. Lyu
FSE2024AI / LLM for SE; Security / Privacy / Vulnerability
"I tend to view ads almost like a pestilence": On the Accessibility Implications of Mobile Ads for Blind Users.
Ziyao He, Syed Fatiul Huq, Sam Malek
ICSE2024Mobile / Web / GUI / Android
"My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors.
Youmei Fan, Tao Xiao 0001, Hideaki Hata, Christoph Treude, Kenichi Matsumoto
ICSE2024Human / Empirical / Socio-technical
A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments.
Cuiying Gao, Gaozhun Huang, Heng Li 0008, Bang Wu 0003, Yueming Wu 0001
ICSE2024AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
A First Look at the Inheritance-Induced Redundant Test Execution.
Dong Jae Kim, Jinqiu Yang 0001, Tse-Hsun Chen
ICSE2024Testing / QA
A Framework For Inferring Properties of User-Defined Functions.
Xinyu Liu, Joy Arulraj, Alessandro Orso
ICSE2024Other
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges.
Jenny T. Liang, Chenyang Yang 0002, Brad A. Myers
ICSE2024AI / LLM for SE; Human / Empirical / Socio-technical
A Study on the Pythonic Functional Constructs' Understandability.
Cyrine Zid, Fiorella Zampetti, Giuliano Antoniol, Massimiliano Di Penta
ICSE2024Human / Empirical / Socio-technical
A Theory of Scientific Programming Efficacy.
Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz
ICSE2024Other
A User-centered Security Evaluation of Copilot.
Owura Asare, Meiyappan Nagappan, N. Asokan
ICSE2024Security / Privacy / Vulnerability
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings.
Huijia Sun, Christopher M. Poskitt, Yang Sun 0008, Jun Sun 0001, Yuqi Chen 0001
ICSE2024Other
An Empirical Study of Data Disruption by Ransomware Attacks.
Yiwei Hou, Lihua Guo, Chijin Zhou, Yiwen Xu, Zijing Yin
ICSE2024Human / Empirical / Socio-technical
An Empirical Study on Low GPU Utilization of Deep Learning Jobs.
Yanjie Gao, Yichen He, Xinze Li, Bo Zhao, Haoxiang Lin
ICSE2024AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study on Noisy Label Learning for Program Understanding.
Wenhan Wang, Yanzhou Li, Anran Li 0001, Jian Zhang 0087, Wei Ma 0014
ICSE2024Human / Empirical / Socio-technical
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives.
Hanyang Guo, Hong-Ning Dai, Xiapu Luo, Zibin Zheng, Gengyang Xu
ICSE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles.
Dinghua Wang, Shuqing Li 0001, Guanping Xiao, Yepang Liu 0001, Yulei Sui
ICSE2024Other
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad
ICSE2024Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot.
David O'Brien, Sumon Biswas, Sayem Mohammad Imtiaz, Rabe Abdalkareem, Emad Shihab
ICSE2024Human / Empirical / Socio-technical
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers.
Shuohan Wu, Zihao Li 0001, Luyi Yan, Weimin Chen, Muhui Jiang
ICSE2024Security / Privacy / Vulnerability
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App.
Fuman Xie, Chuan Yan, Mark Huasong Meng, Shao-Ming Teng, Yanjun Zhang
ICSE2024Mobile / Web / GUI / Android
Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android Apps.
Yongliang Chen, Ruoqin Tang, Chaoshun Zuo, Xiaokuan Zhang, Lei Xue 0001
ICSE2024Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Hadeel Eladawy, Claire Le Goues, Yuriy Brun
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization).
Toufique Ahmed, Kunal Suresh Pai, Premkumar T. Devanbu, Earl T. Barr
ICSE2024Other
Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages.
Paul T. Chiou, Robert Winn, Ali S. Alotaibi, William G. J. Halfond
ICSE2024Mobile / Web / GUI / Android
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems.
Trevor Stalnaker, Nathan Wintersgill, Oscar Chaparro, Massimiliano Di Penta, Daniel M. Germán
ICSE2024Human / Empirical / Socio-technical
Barriers for Students During Code Change Comprehension.
Justin Middleton, John-Paul Ore, Kathryn T. Stolee
ICSE2024Maintenance / Evolution / Refactoring / Review; Education / Program Comprehension
BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing.
Wai Kin Wong, Huaijin Wang 0001, Zongjie Li, Shuai Wang 0011
ICSE2024Performance / Energy / Reliability
BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching.
Ling Jiang, Junwen An, Huihui Huang, Qiyi Tang 0003, Sen Nie
ICSE2024Other
Block-based Programming for Two-Armed Robots: A Comparative Study.
Felipe Fronchetti, Nico Ritschel, Logan Schorr, Chandler Barfield, Gabriella Chang
ICSE2024Human / Empirical / Socio-technical
Breaking the Flow: A Study of Interruptions During Software Engineering Activities.
Yimeng Ma, Yu Huang 0015, Kevin Leach
ICSE2024Human / Empirical / Socio-technical
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation.
Jinsheng Ba, Manuel Rigger
ICSE2024Performance / Energy / Reliability
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing.
Swaroopa Dola, Rory McDaniel, Matthew B. Dwyer, Mary Lou Soffa
ICSE2024Testing / QA; AI / LLM for SE
CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components.
Yoonjong Na, Seunghoon Woo, Joomyeong Lee, Heejo Lee
ICSE2024Other
CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web.
Mingxue Zhang 0001, Wei Meng 0001, You Zhou, Kui Ren 0001
ICSE2024Mobile / Web / GUI / Android
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment.
Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden
ICSE2024Other
Challenges and Opportunities in Model Checking Large-scale Distributed Systems.
Rupak Majumdar
ICSE2024Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured.
Adriana Meza Soria, Taylor Lopez, Elizabeth Seero, Negin Mashhadi, Emily Evans
ICSE2024Maintenance / Evolution / Refactoring / Review
ChatGPT Incorrectness Detection in Software Reviews.
Minaoar Hossain Tanzil, Junaed Younus Khan, Gias Uddin 0001
ICSE2024AI / LLM for SE
ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers.
Raphael Serafini, Clemens Otto, Stefan Albert Horstmann, Alena Naiakshina
ICSE2024AI / LLM for SE
Co-Creation in Fully Remote Software Teams.
Victoria Jackson, Rafael Prikladnicki, André van der Hoek
ICSE2024Other
Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems.
Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu 0001, David Lo 0001, Lili Bo
ICSE2024AI / LLM for SE
Code Search is All You Need? Improving Code Suggestions with Code Search.
Junkai Chen, Xing Hu 0008, Zhenhao Li 0002, Cuiyun Gao 0001, Xin Xia 0001
ICSE2024Other
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models.
Hao Yu 0016, Bo Shen, Dezhi Ran, Jiaxin Zhang 0029, Qi Zhang 0020
ICSE2024AI / LLM for SE
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction.
Huanting Wang, Zhanyong Tang, Shin Hwei Tan, Jie Wang 0110, Yuzhe Liu
ICSE2024Program Analysis / Verification / Formal Methods
Compiler-directed Migrating API Callsite of Client Code.
Hao Zhong 0001, Na Meng 0001
ICSE2024Other
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications.
Shaoheng Cao, Minxue Pan, Yu Pei 0001, Wenhua Yang 0001, Tian Zhang 0001
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Concrete Constraint Guided Symbolic Execution.
Yue Sun, Guowei Yang 0001, Shichao Lv, Zhi Li 0018, Limin Sun 0001
ICSE2024Program Analysis / Verification / Formal Methods
Constraint Based Program Repair for Persistent Memory Bugs.
Zunchen Huang, Chao Wang 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Context-Aware Name Recommendation for Field Renaming.
Chunhao Dong, Yanjie Jiang, Nan Niu, Yuxia Zhang, Hui Liu 0003
ICSE2024Other
CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace.
Yuchao Huang, Junjie Wang 0001, Zhe Liu 0025, Yawen Wang, Song Wang 0009
ICSE2024Mobile / Web / GUI / Android
Cross-Inlining Binary Function Similarity Detection.
Ang Jia, Ming Fan 0002, Xi Xu, Wuxia Jin, Haijun Wang 0002
ICSE2024Other
Crossover in Parametric Fuzzing.
Katherine Hough, Jonathan Bell 0001
ICSE2024Testing / QA
Curiosity-Driven Testing for Sequential Decision-Making Process.
Junda He, Zhou Yang 0003, Jieke Shi, Chengran Yang, Kisub Kim
ICSE2024Testing / QA
DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps.
Pengcheng Ren, Chaoshun Zuo, Xiaofeng Liu 0013, Wenrui Diao, Qingchuan Zhao
ICSE2024AI / LLM for SE; Mobile / Web / GUI / Android
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions.
Zhiwei Xu, Shaohua Qiang, Dinghong Song, Min Zhou 0001, Hai Wan
ICSE2024Maintenance / Evolution / Refactoring / Review
Data-Driven Evidence-Based Syntactic Sugar Design.
David O'Brien, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan
ICSE2024Requirements / Modeling / Architecture
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection.
Benjamin Steenhoek, Hongyang Gao, Wei Le
ICSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory.
Xindi Zhang, Bohan Li 0002, Shaowei Cai 0001
ICSE2024Other
Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection.
Boxi Yu, Jiayi Yao, Qiuai Fu, Zhiqing Zhong, Haotian Xie
ICSE2024AI / LLM for SE; Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection.
Youcef Remil, Anes Bendimerad, Romain Mathonat, Chedy Raïssi, Mehdi Kaytoue
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
DeepSample: DNN sampling-based testing for operational accuracy assessment.
Antonio Guerriero, Roberto Pietrantuono, Stefano Russo 0001
ICSE2024Testing / QA
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning.
Yuanhong Lan, Yifei Lu, Zhong Li, Minxue Pan, Wenhua Yang 0001
ICSE2024Testing / QA; Mobile / Web / GUI / Android
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem.
Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang
ICSE2024Other
Demystifying and Detecting Misuses of Deep Learning APIs.
Moshi Wei, Nima Shiri Harzevili, Yuekai Huang, Jinqiu Yang 0001, Junjie Wang 0001
ICSE2024AI / LLM for SE
Detecting Automatic Software Plagiarism via Token Sequence Normalization.
Timur Saglam, Moritz Brödel, Larissa Schmid, Sebastian Hahner
ICSE2024Other
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.
Yuancheng Jiang, Jiahao Liu 0005, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang
ICSE2024Other
Development in times of hype: How freelancers explore Generative AI?
Mateusz Dolata, Norbert Lange, Gerhard Schwabe
ICSE2024AI / LLM for SE
DivLog: Log Parsing with Prompt Enhanced In-Context Learning.
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang 0001, Pinjia He
ICSE2024Other
Do Automatic Test Generation Tools Generate Flaky Tests?
Martin Gruber, Muhammad Firhard Roslan, Owain Parry, Fabian Scharnböck, Phil McMinn
ICSE2024Testing / QA
DocFlow: Extracting Taint Specifications from Software Documentation.
Marcos Tileria, Jorge Blasco, Santanu Kumar Dash 0001
ICSE2024Security / Privacy / Vulnerability
Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors.
Yun Peng 0003, Shuzheng Gao, Cuiyun Gao 0001, Yintong Huo, Michael R. Lyu
ICSE2024Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems.
Junqiang Li, Senyi Li, Keyao Li, Falin Luo, Hongfang Yu
ICSE2024Testing / QA; DevOps / CI / Build / Release
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures.
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
ICSE2024Mobile / Web / GUI / Android
EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning.
Liuqing Chen 0002, Yunnong Chen, Shuhong Xiao, Yaxuan Song, Lingyun Sun
ICSE2024Mobile / Web / GUI / Android
Efficiently Trimming the Fat: Streamlining Software Dependencies with Java Reflection and Dependency Analysis.
Xiaohu Song, Ying Wang 0038, Xiao Cheng, Guangtai Liang, Qianxiang Wang
ICSE2024Other
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem.
Jinchang Hu, Lyuye Zhang, Chengwei Liu, Sen Yang, Song Huang
ICSE2024Human / Empirical / Socio-technical
Empirical Study of the Docker Smells Impact on the Image Size.
Thomas Durieux
ICSE2024Human / Empirical / Socio-technical
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.
Pingchuan Ma 0004, Zhenlan Ji, Peisen Yao, Shuai Wang 0011, Kui Ren 0001
ICSE2024Program Analysis / Verification / Formal Methods
Enhancing Exploratory Testing by Large Language Model and Knowledge Graph.
Yanqi Su, Dianshu Liao, Zhenchang Xing, Qing Huang, Mulong Xie
ICSE2024Testing / QA; AI / LLM for SE
Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization.
Antonio Mastropaolo, Matteo Ciniselli, Massimiliano Di Penta, Gabriele Bavota
ICSE2024Human / Empirical / Socio-technical
Evaluating Large Language Models in Class-Level Code Generation.
Xueying Du, Mingwei Liu 0002, Kaixin Wang, Hanlin Wang, Junwei Liu
ICSE2024Other
Exploiting Library Vulnerability via Migration Based Automating Test Generation.
Zirui Chen, Xing Hu 0008, Xin Xia 0001, Yi Gao, Tongtong Xu
ICSE2024Testing / QA; Maintenance / Evolution / Refactoring / Review
Exploring Experiences with Automated Program Repair in Practice.
Fairuz Nawer Meem, Justin Smith 0001, Brittany Johnson
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study.
Qi Guo, Junming Cao, Xiaofei Xie, Shangqing Liu, Xiaohong Li 0001
ICSE2024AI / LLM for SE; Human / Empirical / Socio-technical
Extrapolating Coverage Rate in Greybox Fuzzing.
Danushka Liyanage, Seongmin Lee 0001, Chakkrit Tantithamthavorn, Marcel Böhme
ICSE2024Testing / QA
FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations.
Changan Niu, Chuanyi Li, Vincent Ng 0001, David Lo 0001, Bin Luo 0003
ICSE2024Program Analysis / Verification / Formal Methods
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
ICSE2024Other
Fast Deterministic Black-box Context-free Grammar Inference.
Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang 0004, Christoph Csallner
ICSE2024Other
Finding XPath Bugs in XML Document Processors via Differential Testing.
Shuxin Li, Manuel Rigger
ICSE2024Testing / QA
Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation.
Yue Li 0047, Zhong Ren, Zhiqi Wang, Lanxin Yang, Liming Dong 0001
ICSE2024Other
Fine-grained, accurate and scalable source differencing.
Jean-Rémy Falleri, Matias Martinez
ICSE2024Other
FlakeSync: Automatically Repairing Async Flaky Tests.
Shanto Rahman, August Shi
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
Zhiyang Chen 0004, Sidi Mohamed Beillahi, Fan Long
ICSE2024Security / Privacy / Vulnerability
Fuzz4All: Universal Fuzzing with Large Language Models.
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang 0001
ICSE2024Testing / QA
FuzzInMem: Fuzzing Programs via In-memory Structures.
Xuwei Liu, Wei You 0001, Yapeng Ye, Zhuo Zhang 0002, Jianjun Huang 0001
ICSE2024Testing / QA
FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing.
Aniruddhan Murali, Noble Saji Mathews, Mahmoud Alfadel, Meiyappan Nagappan, Meng Xu 0025
ICSE2024Testing / QA; Program Analysis / Verification / Formal Methods
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.
Yuqiang Sun 0001, Daoyuan Wu, Yue Xue, Han Liu 0012, Haijun Wang 0002
ICSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
GenderMag Improves Discoverability in the Field, Especially for Women: An Multi-Year Case Study of Suggest Edit, a Code Review Feature.
Emerson R. Murphy-Hill, Alberto Elizondo, Ambar Murillo, Marian Harbach, Bogdan Vasilescu
ICSE2024Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Generating REST API Specifications through Static Analysis.
Ruikai Huang, Manish Motwani, Idel Martinez, Alessandro Orso
ICSE2024Program Analysis / Verification / Formal Methods
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code.
Qihao Zhu, Qingyuan Liang, Zeyu Sun 0004, Yingfei Xiong 0001, Lu Zhang 0023
ICSE2024AI / LLM for SE
Hard to Read and Understand Pythonic Idioms? DeIdiom and Explain Them in Non-Idiomatic Equivalent Code.
Zejun Zhang 0006, Zhenchang Xing, Dehai Zhao, Qinghua Lu 0001, Xiwei Xu 0001
ICSE2024Other
High Expectations: An Observational Study of Programming and Cannabis Intoxication.
Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
ICSE2024Human / Empirical / Socio-technical
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project.
Yuxia Zhang, Mian Qin, Klaas-Jan Stol, Minghui Zhou 0001, Hui Liu 0003
ICSE2024Human / Empirical / Socio-technical
How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering.
Rudrajit Choudhuri, Dylan Liu, Igor Steinmacher, Marco Aurélio Gerosa, Anita Sarma
ICSE2024AI / LLM for SE
How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community.
Yang Zhang 0026, Yiwen Wu 0001, Tingting Chen, Tao Wang 0006, Hui Liu 0052
ICSE2024Human / Empirical / Socio-technical
How to Support ML End-User Programmers through a Conversational Agent.
Emily Judith Arteaga Garcia, João Felipe Nicolaci Pimentel, Zixuan Feng, Marco Aurélio Gerosa, Igor Steinmacher
ICSE2024Other
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.
Michele Pasqua, Mariano Ceccato, Paolo Tonella
ICSE2024Testing / QA
ITER: Iterative Neural Repair for Multi-Location Patches.
He Ye, Martin Monperrus
ICSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities.
Susheng Wu, Wenyan Song, Kaifeng Huang 0001, Bihuan Chen 0001, Xin Peng 0001
ICSE2024Human / Empirical / Socio-technical
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection.
Yizhou Chen, Zeyu Sun 0004, Zhihao Gong, Dan Hao 0001
ICSE2024AI / LLM for SE; Security / Privacy / Vulnerability
Improving Testing Behavior by Gamifying IntelliJ.
Philipp Straubinger, Gordon Fraser 0001
ICSE2024Testing / QA
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment.
Shibbir Ahmed, Hongyang Gao, Hridesh Rajan
ICSE2024AI / LLM for SE; DevOps / CI / Build / Release
Investigating White-Box Attacks for On-Device Models.
Mingyi Zhou, Xiang Gao 0012, Jing Wu 0021, Kui Liu 0001, Hailong Sun 0001
ICSE2024Other
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
Mohan Cui, Shuran Sun, Hui Xu 0009, Yangfan Zhou 0002
ICSE2024Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data.
Felix Wallner, Bernhard K. Aichernig, Christian Burghard
ICSE2024Other
JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects.
Tianyang Liu, Weixing Ji, Xiaohui Dong, Wuhuang Yao, Yizhuo Wang 0001
ICSE2024DevOps / CI / Build / Release; Performance / Energy / Reliability
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
ICSE2024Other
KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding.
Lipeng Ma, Weidong Yang 0001, Bo Xu 0023, Sihang Jiang, Ben Fei
ICSE2024Other
Knowledge Graph Driven Inference Testing for Question Answering Software.
Jun Wang 0151, Yanhui Li, Zhifei Chen, Lin Chen 0015, Xiaofang Zhang
ICSE2024Testing / QA
LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing.
Zeyang Ma, An Ran Chen, Dong Jae Kim, Tse-Hsun Chen, Shaowei Wang 0002
ICSE2024Human / Empirical / Socio-technical
Language Models for Code Completion: A Practical Evaluation.
Maliheh Izadi, Jonathan Katzy, Tim van Dam, Marc Otten, Razvan Mihai Popescu
ICSE2024Other
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries.
Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang
ICSE2024Testing / QA; AI / LLM for SE
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning.
Mingyang Geng, Shangwen Wang, Dezun Dong, Haotian Wang 0001, Ge Li 0001
ICSE2024Other
Large Language Models for Test-Free Fault Localization.
Aidan Z. H. Yang, Claire Le Goues, Ruben Martins, Vincent J. Hellendoorn
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models.
Shuzheng Gao, Wenxin Mao, Cuiyun Gao 0001, Li Li 0029, Xing Hu 0008
ICSE2024Other
Learning-based Widget Matching for Migrating GUI Test Cases.
Yakun Zhang 0001, Wenjie Zhang 0007, Dezhi Ran, Qihao Zhu, Chengfeng Dou
ICSE2024Testing / QA; AI / LLM for SE; Mobile / Web / GUI / Android
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem.
Yun Peng 0003, Ruida Hu, Ruoke Wang, Cuiyun Gao 0001, Shuqing Li 0001
ICSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang 0001, Wensheng Tang
ICSE2024Requirements / Modeling / Architecture
LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries.
Chaopeng Dong, Siyuan Li 0014, Shouguo Yang, Yang Xiao 0011, Yongpan Wang
ICSE2024Other
LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data.
Xiaoyun Li, Hongyu Zhang 0002, Van-Hoang Le, Pengfei Chen 0002
ICSE2024Other
Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code.
Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi
ICSE2024Human / Empirical / Socio-technical
MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search.
Zhaohui Wang, Min Zhang 0007, Jingran Yang, Bojie Shao, Min Zhang 0002
ICSE2024Testing / QA; AI / LLM for SE
MUT: Human-in-the-Loop Unit Test Migration.
Yi Gao, Xing Hu 0008, Tongtong Xu, Xin Xia 0001, David Lo 0001
ICSE2024Testing / QA; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection.
Siyue Feng, Wenqi Suo, Yueming Wu 0001, Deqing Zou, Yang Liu 0003
ICSE2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions.
Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Mengzhuo Chen, Boyu Wu
ICSE2024Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
MalCertain: Enhancing Deep Neural Network Based Android Malware Detection by Tackling Prediction Uncertainty.
Haodong Li, Guosheng Xu 0001, Liu Wang 0002, Xusheng Xiao, Xiapu Luo
ICSE2024AI / LLM for SE; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection.
Shuai He, Cai Fu, Hong Hu 0004, Jiahe Chen, Jianqiang Lv
ICSE2024Security / Privacy / Vulnerability
Marco: A Stochastic Asynchronous Concolic Explorer.
Jie Hu 0031, Yue Duan, Heng Yin 0001
ICSE2024Program Analysis / Verification / Formal Methods
MetaLog: Generalizable Cross-System Anomaly Detection from Logs with Meta-Learning.
Chenyangguang Zhang, Tong Jia, Guopeng Shen, Pinyan Zhu, Ying Li 0012
ICSE2024Cloud / Microservices / Distributed Systems
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating.
Jiakun Liu, Zicheng Zhang, Xing Hu 0008, Ferdian Thung, Shahar Maoz
ICSE2024Mobile / Web / GUI / Android
Mining Pull Requests to Detect Process Anomalies in Open Source Software Development.
Bohan Liu 0003, He Zhang 0001, Weigang Ma, Hongyu Kuang, Yi Yang
ICSE2024Human / Empirical / Socio-technical
Modularizing while Training: A New Paradigm for Modularizing DNN Models.
Binhang Qi, Hailong Sun 0001, Hongyu Zhang 0002, Ruobing Zhao, Xiang Gao 0012
ICSE2024Other
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem.
Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen
ICSE2024Other
MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs.
Arun Krishna Vajjala, S. M. Hasan Mansur 0001, Justin Jose, Kevin Moran
ICSE2024Mobile / Web / GUI / Android
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation.
Jie Liang 0006, Zhiyong Wu 0010, Jingzhou Fu, Mingzhe Wang, Chengnian Sun
ICSE2024DevOps / CI / Build / Release
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems.
Xinyu Gao, Zhijie Wang 0014, Yang Feng 0003, Lei Ma 0003, Zhenyu Chen 0001
ICSE2024Testing / QA; Human / Empirical / Socio-technical
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem.
Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu
ICSE2024Other
NuzzleBug: Debugging Block-Based Programs in Scratch.
Adina Deiner, Gordon Fraser 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Object Graph Programming.
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric 0001
ICSE2024Other
On Calibration of Pre-trained Code Models.
Zhenhao Zhou, Chaofeng Sha, Xin Peng 0001
ICSE2024Other
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study.
Zongjie Li, Chaozheng Wang, Pingchuan Ma 0004, Chaowei Liu, Shuai Wang 0011
ICSE2024Human / Empirical / Socio-technical
On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization.
Junayed Mahmud, Nadeeshan De Silva, Safwat Ali Khan, Seyed Hooman Mostafavi, S. M. Hasan Mansur 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities.
Zhen Li 0027, Ning Wang 0098, Deqing Zou, Yating Li, Ruqian Zhang
ICSE2024Other
On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past.
Alexander Lill, André N. Meyer, Thomas Fritz 0001
ICSE2024Human / Empirical / Socio-technical
Optimistic Prediction of Synchronization-Reversal Data Races.
Zheng Shi, Umang Mathur 0001, Andreas Pavlogiannis
ICSE2024Other
Out of Context: How important is Local Context in Neural Program Repair?
Julian Aron Prenner, Romain Robbes
ICSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources.
Xin Zhou 0014, Kisub Kim, Bowen Xu, DongGyun Han, David Lo 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
PPT4J: Patch Presence Test for Java Binaries.
Zhiyuan Pan, Xing Hu 0008, Xin Xia 0001, Xian Zhan, David Lo 0001
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature.
Qi Zhan, Xing Hu 0008, Zhiyang Li, Xin Xia 0001, David Lo 0001
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG).
Ruichao Liang, Jing Chen 0003, Kun He 0008, Yueming Wu 0001, Gelei Deng
ICSE2024Other
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms.
Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen 0001
ICSE2024Testing / QA; Mobile / Web / GUI / Android
Practical Program Repair via Preference-based Ensemble Strategy.
Wenkang Zhong, Chuanyi Li, Kui Liu 0001, Tongtong Xu, Jidong Ge
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks.
Zhongxin Liu 0002, Zhijie Tang, Junwei Zhang, Xin Xia 0001, Xiaohu Yang 0001
ICSE2024Other
Precise Sparse Abstract Execution via Cross-Domain Interaction.
Xiao Cheng 0002, Jiawei Wang, Yulei Sui
ICSE2024Other
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning.
Yutong Wang, Cindy Rubio-González
ICSE2024Performance / Energy / Reliability
Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues.
Jack Jamieson, Naomi Yamashita, Eureka Foong
ICSE2024Human / Empirical / Socio-technical
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts.
Zhijie Zhong, Zibin Zheng, Hong-Ning Dai, Qing Xue, Junjia Chen
ICSE2024Security / Privacy / Vulnerability
Prism: Decomposing Program Semantics for Code Clone Detection through Compilation.
Haoran Li 0014, Siqian Wang, Weihong Quan, Xiaoli Gong, Huayou Su
ICSE2024Maintenance / Evolution / Refactoring / Review
Programming Assistant for Exception Handling with CodeBERT.
Yuchen Cai 0001, Aashish Yadavally, Abhishek Mishra, Genesis Montejo, Tien N. Nguyen
ICSE2024Other
Prompting Is All You Need: Automated Android Bug Replay with Large Language Models.
Sidong Feng, Chunyang Chen 0001
ICSE2024Mobile / Web / GUI / Android
Property-Based Testing in Practice.
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
ICSE2024Testing / QA
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code.
Wuxia Jin, Shuo Xu, Dawei Chen, Jiajun He, Dinghong Zhong
ICSE2024Other
PyTy: Repairing Static Type Errors in Python.
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
ICSE2024Program Analysis / Verification / Formal Methods
REDriver: Runtime Enforcement for Autonomous Vehicles.
Yang Sun 0008, Christopher M. Poskitt, Xiaodong Zhang 0014, Jun Sun 0001
ICSE2024Other
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems.
Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues
ICSE2024Other
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.
Zhiwu Xu 0001, Bohao Wu, Cheng Wen 0002, Bin Zhang, Shengchao Qin
ICSE2024Testing / QA
RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness.
Tianlin Li, Yue Cao, Jian Zhang 0087, Shiqian Zhao, Yihao Huang 0001
ICSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Raisin: Identifying Rare Sensitive Functions for Bug Detection.
Jianjun Huang 0001, Jianglei Nie, Yuanjun Gong, Wei You 0001, Bin Liang 0002
ICSE2024Other
ReClues: Representing and indexing failures in parallel debugging with program variables.
Yi Song, Xihao Zhang, Xiaoyuan Xie, Quanming Liu, Ruizhi Gao
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
ReFAIR: Toward a Context-Aware Recommender for Fairness Requirements Engineering.
Carmine Ferrara, Francesco Casillo, Carmine Gravino, Andrea De Lucia, Fabio Palomba
ICSE2024Requirements / Modeling / Architecture
Recovering Trace Links Between Software Documentation And Code.
Jan Keim, Sophie Corallo, Dominik Fuchß, Tobias Hey 0001, Tobias Telge
ICSE2024Other
Reorder Pointer Flow in Sound Concurrency Bug Prediction.
Yuqi Guo 0002, Shihao Zhu, Yan Cai 0001, Liang He 0011, Jian Zhang 0001
ICSE2024Program Analysis / Verification / Formal Methods
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions.
Islem Bouzenia, Michael Pradel
ICSE2024Human / Empirical / Socio-technical; Performance / Energy / Reliability
Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts.
Mingyuan Huang, Jiachi Chen, Zigui Jiang, Zibin Zheng
ICSE2024Human / Empirical / Socio-technical
Revisiting Android App Categorization.
Marco Alecci, Jordan Samhi, Tegawendé F. Bissyandé, Jacques Klein
ICSE2024Mobile / Web / GUI / Android
Ripples of a Mutation - An Empirical Study of Propagation Effects in Mutation Testing.
Hang Du, Vijay Krishna Palepu, James A. Jones
ICSE2024Testing / QA; Human / Empirical / Socio-technical
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.
Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao
ICSE2024Other
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation.
Wenzhang Yang, Linhai Song, Yinxing Xue
ICSE2024Other
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
ICSE2024Testing / QA
SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems.
Jiarun Dai, Bufan Gao, Mingyuan Luo, Zongan Huang, Zhongrui Li
ICSE2024Testing / QA
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network.
Feng Luo, Ruijie Luo, Ting Chen 0002, Ao Qiao, Zheyuan He
ICSE2024Security / Privacy / Vulnerability
Safeguarding DeFi Smart Contracts against Oracle Deviations.
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris
ICSE2024Testing / QA
Scalable Relational Analysis via Relational Bound Propagation.
Clay Stevens, Hamid Bagheri
ICSE2024Other
Scaling Code Pattern Inference with Interactive What-If Analysis.
Hong Jin Kang, Kevin Wang, Miryung Kim
ICSE2024Other
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer.
Jingzhou Fu, Jie Liang 0006, Zhiyong Wu 0010, Yu Jiang 0001
ICSE2024Testing / QA
Semantic Analysis of Macro Usage for Portability.
Brent Pappas, Paul Gazzillo
ICSE2024Other
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports.
Yanfu Yan, Nathan Cooper, Oscar Chaparro, Kevin Moran, Denys Poshyvanyk
ICSE2024Mobile / Web / GUI / Android
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware.
Yiming Liu, Cen Zhang, Feng Li 0045, Yeting Li, Jianhua Zhou
ICSE2024Other
Shedding Light on Software Engineering-specific Metaphors and Idioms.
Mia Mohammad Imran, Preetha Chatterjee, Kostadin Damevski
ICSE2024Other
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais
ICSE2024Security / Privacy / Vulnerability
Software Engineering Research in a World with Generative Artificial Intelligence.
Martin C. Rinard
ICSE2024AI / LLM for SE
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon
ICSE2024Testing / QA
Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine.
Yanming Yang, Xing Hu 0008, Xin Xia 0001, David Lo 0001, Xiaohu Yang 0001
ICSE2024Other
Strengthening Supply Chain Security with Fine-grained Safe Patch Identification.
Changhua Luo, Wei Meng 0001, Shuai Wang 0011
ICSE2024Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Supporting Web-Based API Searches in the IDE Using Signatures.
Nick C. Bradley, Thomas Fritz 0001, Reid Holmes
ICSE2024Mobile / Web / GUI / Android
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.
Kadiray Karakaya, Eric Bodden
ICSE2024Other
TRACED: Execution-aware Pre-training for Source Code.
Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le
ICSE2024Other
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts.
Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong
ICSE2024Requirements / Modeling / Architecture
Tensor-Aware Energy Accounting.
Timur Babakol, Yu David Liu
ICSE2024Performance / Energy / Reliability
Testing Graph Database Systems via Equivalent Query Rewriting.
Qiuyang Mang, Aoyang Fang, Boxi Yu, Hanfei Chen, Pinjia He
ICSE2024Testing / QA
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model.
Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Mengzhuo Chen, Boyu Wu
ICSE2024Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology.
Mahmoud Alfadel, Shane McIntosh
ICSE2024Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Toward Automatically Completing GitHub Workflows.
Antonio Mastropaolo, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta
ICSE2024Human / Empirical / Socio-technical
Toward Improved Deep Learning-based Vulnerability Detection.
Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
ICSE2024AI / LLM for SE
Towards Causal Deep Learning for Vulnerability Detection.
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty 0001, Baishakhi Ray
ICSE2024AI / LLM for SE
Towards Finding Accounting Errors in Smart Contracts.
Brian Zhang
ICSE2024Other
Towards More Practical Automation of Vulnerability Assessment.
Shengyi Pan, Lingfeng Bao, Jiayuan Zhou, Xing Hu 0008, Xin Xia 0001
ICSE2024Other
Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles.
Neelofar, Aldeida Aleti
ICSE2024Testing / QA
Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems.
Chenxi Zhang 0003, Zhen Dong, Xin Peng 0001, Bicheng Zhang, Miao Chen
ICSE2024Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Traces of Memorisation in Large Language Models for Code.
Ali Al-Kaswan, Maliheh Izadi, Arie van Deursen
ICSE2024Other
Translation Validation for JIT Compiler in the V8 JavaScript Engine.
Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
ICSE2024Testing / QA
Trustworthy by Design.
Carol J. Smith
ICSE2024Requirements / Modeling / Architecture
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts.
Shuo Yang 0012, Jiachi Chen, Mingyuan Huang, Zibin Zheng, Yuan Huang 0002
ICSE2024Other
Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs.
Mia Mohammad Imran, Preetha Chatterjee, Kostadin Damevski
ICSE2024Human / Empirical / Socio-technical
Understanding Transaction Bugs in Database Systems.
Ziyu Cui, Wensheng Dou, Yu Gao 0002, Dong Wang 0048, Jiansen Song
ICSE2024Other
UniLog: Automatic Logging via LLM and In-Context Learning.
Junjielong Xu, Ziang Cui, Yuan Zhao 0014, Xu Zhang 0024, Shilin He
ICSE2024AI / LLM for SE
Unraveling the Drivers of Sense of Belonging in Software Delivery Teams: Insights from a Large-Scale Survey.
Bianca Trinkenreich, Marco Aurélio Gerosa, Igor Steinmacher
ICSE2024Human / Empirical / Socio-technical
Unveiling Memorization in Code Models.
Zhou Yang 0003, Zhipeng Zhao, Chenyu Wang 0005, Jieke Shi, Dongsun Kim 0001
ICSE2024Other
Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners.
Ze Shi Li, Nowshin Nawar Arony, Kezia Devathasan, Manish Sihag, Neil A. Ernst
ICSE2024Other
Using an LLM to Help With Code Understanding.
Daye Nam, Andrew Macvean, Vincent J. Hellendoorn, Bogdan Vasilescu, Brad A. Myers
ICSE2024AI / LLM for SE
VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses.
Yu Nong, Richard Fang, Guangbei Yi, Kunsong Zhao, Xiapu Luo
ICSE2024AI / LLM for SE
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks.
Jianan Ma, Pengfei Yang 0002, Jingyi Wang 0004, Youcheng Sun, Cheng-Chao Huang
ICSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
Verifying Declarative Smart Contracts.
Haoxian Chen 0001, Lan Lu, Brendan Massey, Yuepeng Wang 0001, Boon Thau Loo
ICSE2024Other
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs.
Jiashuo Zhang 0001, Jiachi Chen, Zhiyuan Wan, Ting Chen 0002, Jianbo Gao 0003
ICSE2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference.
Zhensu Sun, Xiaoning Du 0001, Fu Song, Shangwen Wang, Li Li 0029
ICSE2024AI / LLM for SE
Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports.
Jiamou Sun, Jieshan Chen, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001
ICSE2024Other
Xpert: Empowering Incident Management with Query Recommendations via Large Language Models.
Yuxuan Jiang 0016, Chaoyun Zhang, Shilin He, Zhihao Yang, Minghua Ma
ICSE2024Other
A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models.
Junjie Yang 0004, Jiajun Jiang, Zeyu Sun 0004, Junjie Chen 0003
ISSTA2024Human / Empirical / Socio-technical
A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Zhihan Jiang, Jinyang Liu 0002, Junjie Huang 0008, Yichen Li 0003, Yintong Huo
ISSTA2024Other
AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation.
Zhensu Sun, Xiaoning Du 0001, Zhou Yang 0003, Li Li 0029, David Lo 0001
ISSTA2024AI / LLM for SE
API Misuse Detection via Probabilistic Graphical Model.
Yunlong Ma, Wentong Tian, Xiang Gao 0012, Hailong Sun 0001, Li Li 0029
ISSTA2024Other
An Empirical Examination of Fuzzer Mutator Performance.
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell 0001
ISSTA2024Testing / QA; Human / Empirical / Socio-technical; Performance / Energy / Reliability
An Empirical Study of Static Analysis Tools for Secure Code Review.
Wachiraphan Charoenwet 0001, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude
ISSTA2024Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Study on Kubernetes Operator Bugs.
Qingxin Xu, Yu Gao 0002, Jun Wei 0001
ISSTA2024Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
An In-Depth Study of Runtime Verification Overheads during Software Testing.
Kevin Guan, Owolabi Legunsen
ISSTA2024Testing / QA; Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors.
Jinchen Xu, Mengqi Cui, Fei Li 0045, Zuoyan Zhang, Hongru Yang
ISSTA2024Performance / Energy / Reliability
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference.
Hyungseok Kim 0002, Soomin Kim 0002, Jungwoo Lee, Sang Kil Cha
ISSTA2024Testing / QA
Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries.
Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang
ISSTA2024Testing / QA; Mobile / Web / GUI / Android
AutoCodeRover: Autonomous Program Improvement.
Yuntong Zhang 0002, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury
ISSTA2024Other
Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph.
Xiaoyong Yan, Biao He 0002, Wenbo Shen, Yu Ouyang, Kaihang Zhou
ISSTA2024Mobile / Web / GUI / Android
Automated Deep Learning Optimization via DSL-Based Source Code Transformation.
Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang 0001
ISSTA2024AI / LLM for SE; Performance / Energy / Reliability
Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT.
Chunqiu Steven Xia, Lingming Zhang 0001
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Automated Testing of Networked Systems Reliability.
Michal Rozsíval
ISSTA2024Testing / QA; Performance / Energy / Reliability
Automating Zero-Shot Patch Porting for Hard Forks.
Shengyi Pan, You Wang, Zhongxin Liu 0002, Xing Hu 0008, Xin Xia 0001
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.
Linna Xie, Chongmin Li, Yu Pei 0001, Tian Zhang 0001, Minxue Pan
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs.
Yicheng Ouyang, Jun Yang 0062, Lingming Zhang 0001
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Better Not Together: Staged Solving for Context-Free Language Reachability.
Chenghang Shi, Haofeng Li, Jie Lu 0009, Lian Li 0002
ISSTA2024Other
Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems.
Chuan Luo 0002, Shuangyu Lyu, Qiyuan Zhao, Wei Wu 0011, Hongyu Zhang 0002
ISSTA2024Testing / QA
Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code.
Yujia Chen, Cuiyun Gao 0001, Zezhou Yang, Hongyu Zhang 0002, Qing Liao 0001
ISSTA2024Other
Bugs in Pods: Understanding Bugs in Container Runtime Systems.
Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen 0001, Yuekang Li
ISSTA2024Cloud / Microservices / Distributed Systems
C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging.
Xuezhi Song, Yijian Wu, Shuning Liu, Bihuan Chen 0001, Yun Lin 0001
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection.
Hao Wang 0226, Zeyu Gao, Chao Zhang 0008, Mingyang Sun, Yuchen Zhou 0007
ISSTA2024Performance / Energy / Reliability
CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision.
Hao Wang 0226, Zeyu Gao, Chao Zhang 0008, Zihan Sha, Mingyang Sun
ISSTA2024Other
CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors.
Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks.
Yuxin Qiu, Jie Hu 0031, Qian Zhang 0020, Heng Yin 0001
ISSTA2024AI / LLM for SE
Call Graph Soundness in Android Static Analysis.
Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein
ISSTA2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Certified Continual Learning for Neural Network Regression.
Long H. Pham, Jun Sun 0001
ISSTA2024Testing / QA; AI / LLM for SE
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks.
Huaien Zhang, Yu Pei 0001, Shuyun Liang, Zezhong Xing, Shin Hwei Tan
ISSTA2024Program Analysis / Verification / Formal Methods
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature.
Chenyan Liu, Yufan Cai 0001, Yun Lin 0001, Yuhuan Huang, Yunrui Pei
ISSTA2024Other
CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding.
Dong Li 0009, Meng Yan 0001, Yaosheng Zhang, Zhongxin Liu 0002, Chao Liu 0014
ISSTA2024Security / Privacy / Vulnerability
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios.
Zhengran Zeng, Yidong Wang 0003, Rui Xie 0003, Wei Ye 0004, Shikun Zhang
ISSTA2024Other
Collaboration to Repository-Level Vulnerability Detection.
Xin-Cheng Wen
ISSTA2024DevOps / CI / Build / Release
Commit Artifact Preserving Build Prediction.
Guoqing Wang 0004, Zeyu Sun 0004, Yizhou Chen, Yifan Zhao, Qingyuan Liang
ISSTA2024DevOps / CI / Build / Release
CooTest: An Automated Testing Approach for V2X Communication Systems.
An Guo 0002, Xinyu Gao, Zhenyu Chen 0001, Yuan Xiao 0003, Jiakai Liu
ISSTA2024Testing / QA
DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3.
Zhiying Wu, Jiajing Wu, Hui Zhang 0002, Ziwei Li, Jiachi Chen
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels.
Keqiang Li 0006, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang 0002
ISSTA2024Testing / QA
DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling.
Haoran Fang, Kaikai Zhang, Donghui Yu, Yuanyuan Zhang 0002
ISSTA2024Testing / QA
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates.
Baoquan Cui, Jiwei Yan, Jian Zhang 0001
ISSTA2024Mobile / Web / GUI / Android
Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing.
Tong Wang 0042, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang
ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Datactive: Data Fault Localization for Object Detection Systems.
Yining Yin, Yang Feng 0003, Shihao Weng, Yuan Yao 0001, Jia Liu 0015
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.
Maoyi Xie, Ming Hu 0003, Ziqiao Kong, Cen Zhang, Yebo Feng
ISSTA2024Other
DeLink: Source File Information Recovery in Binaries.
Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song
ISSTA2024Other
Decentralized Near-Synchronous Local-First Programming Collaboration.
Leon Freudenthaler
ISSTA2024Other
Decomposition of Deep Neural Networks into Modules via Mutation Analysis.
Ali Ghanbari 0001
ISSTA2024Testing / QA; AI / LLM for SE
Define-Use Guided Path Exploration for Better Forced Execution.
Dongnan He, Dongchen Xie, Yujie Wang, Wei You 0001, Bin Liang 0002
ISSTA2024Other
Detecting Build Dependency Errors in Incremental Builds.
Jun Lyu, Shanshan Li 0002, He Zhang 0001, Yang Zhang 0157, Guoping Rong
ISSTA2024DevOps / CI / Build / Release
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing.
You Lu 0005, Yifan Tian, Yuyang Bi, Bihuan Chen 0001, Xin Peng 0001
ISSTA2024Testing / QA; AI / LLM for SE
Distance-Aware Test Input Selection for Deep Neural Networks.
Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang 0001
ISSTA2024Testing / QA; AI / LLM for SE
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation.
Mingke Yang, Yuqi Chen 0001, Yi Liu 0069, Ling Shi 0002
ISSTA2024Testing / QA
Domain Adaptation for Code Model-Based Unit Test Case Generation.
Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, Song Wang 0009
ISSTA2024Testing / QA; AI / LLM for SE
ESBMC-Python: A Bounded Model Checker for Python Programs.
Bruno Farias 0001, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
ISSTA2024Other
Efficient DNN-Powered Software with Fair Sparse Models.
Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang 0013
ISSTA2024Other
Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis.
Shuwei Song, Jiachi Chen, Ting Chen 0002, Xiapu Luo, Teng Li
ISSTA2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation.
Xuyan Ma, Yawen Wang, Junjie Wang 0001, Xiaofei Xie, Boyu Wu
ISSTA2024Testing / QA
Enhancing ROS System Fuzzing through Callback Tracing.
Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun 0021, Mingzhe Wang
ISSTA2024Testing / QA
Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge.
Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han
ISSTA2024Other
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.
Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi
ISSTA2024Other
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study).
Eduard Pinconschi, Divya Gopinath, Rui Abreu 0001, Corina S. Pasareanu
ISSTA2024AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Evaluating the Effectiveness of Decompilers.
Ying Cao 0006, Runze Zhang, Ruigang Liang, Kai Chen 0012
ISSTA2024Other
Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper).
Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Königsbuch, Nicolas Schneider
ISSTA2024Other
FDI: Attack Neural Code Generation Systems through User Feedback Channel.
Zhensu Sun, Xiaoning Du 0001, Xiapu Luo, Fu Song, David Lo 0001
ISSTA2024AI / LLM for SE; Security / Privacy / Vulnerability
FRAFOL: FRAmework FOr Learning mutation testing.
Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just
ISSTA2024Testing / QA
FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation.
Xizhe Yin, Yang Feng 0003, Qingkai Shi, Zixi Liu, Hongwang Liu
ISSTA2024Testing / QA
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion.
Qi Guo, Xiaohong Li 0001, Xiaofei Xie, Shangqing Liu, Ze Tang 0002
ISSTA2024Other
Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs.
Shiwen Shan, Yintong Huo, Yuxin Su 0001, Yichen Li 0003, Dan Li 0016
ISSTA2024AI / LLM for SE; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements.
Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, Jifeng Xuan
ISSTA2024Other
Feedback-Directed Partial Execution.
Ishrak Hayet, Adam Scott, Marcelo d'Amorim
ISSTA2024Other
Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps.
Dingbang Wang, Yu Zhao 0010, Sidong Feng, Zhaoxu Zhang, William G. J. Halfond
ISSTA2024Mobile / Web / GUI / Android
Finding Cuts in Static Analysis Graphs to Debloat Software.
Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke
ISSTA2024Program Analysis / Verification / Formal Methods
FixCheck: A Tool for Improving Patch Correctness Analysis.
Facundo Molina, Juan Manuel Copia, Alessandra Gorla
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs.
Zhanyao Lei, Yixiong Chen, Mingyuan Xia 0001, Zhengwei Qi
ISSTA2024Maintenance / Evolution / Refactoring / Review
Following the "Thread": Toward Finding Manipulatable Bottlenecks in Blockchain Clients.
Shuohan Wu, Zihao Li 0001, Hao Zhou 0043, Xiapu Luo, Jianfeng Li 0006
ISSTA2024Security / Privacy / Vulnerability
FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor.
Zhenyu Ye, Lei Zhou 0023, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning
ISSTA2024Other
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems.
Drishti Yadav
ISSTA2024Program Analysis / Verification / Formal Methods
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts.
Yunqi Liu, Wei Song 0003
ISSTA2024Other
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees.
Yunqi Liu, Wei Song 0003
ISSTA2024Security / Privacy / Vulnerability
Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation.
Jueon Eom, Seyeon Jeong, Taekyoung Kwon 0002
ISSTA2024Testing / QA; AI / LLM for SE
Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis.
Chenyao Suo, Junjie Chen 0003, Shuang Liu 0007, Jiajun Jiang, Yingquan Zhao
ISSTA2024Testing / QA
Generalized Concurrency Testing Tool for Distributed Systems.
Ege Berkay Gulcan, João Neto 0001, Burcu Kulahcioglu Ozkan
ISSTA2024Testing / QA; Cloud / Microservices / Distributed Systems
Graph Learning for Extract Class Refactoring.
Luqiao Wang
ISSTA2024Maintenance / Evolution / Refactoring / Review
Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation.
Zhaoyang Chu, Yao Wan 0001, Qian Li 0003, Yang Wu 0010, Hongyu Zhang 0002
ISSTA2024AI / LLM for SE
Guardian: A Runtime Framework for LLM-Based UI Exploration.
Dezhi Ran, Hao Wang 0112, Zihe Song, Mengzhou Wu, Yuan Cao
ISSTA2024AI / LLM for SE; Mobile / Web / GUI / Android
HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities.
Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei
ISSTA2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation.
Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma 0014
ISSTA2024Testing / QA; AI / LLM for SE
Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow.
Jiachi Chen, Chong Chen 0002, Jiang Hu, John C. Grundy, Yanlin Wang 0001
ISSTA2024Security / Privacy / Vulnerability
Inconsistencies in TeX-Produced Documents.
Jovyn Tan, Manuel Rigger
ISSTA2024Other
Integrating Mutation Techniques to Keep Specification and Source Code in Sync.
Kerstin Jacob
ISSTA2024Testing / QA; Program Analysis / Verification / Formal Methods
Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters.
Purvish Jajal, Wenxin Jiang 0001, Arav Tewari, Erik Kocinare, Joseph Woo
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Interpretability Based Neural Network Repair.
Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang 0004, Qi Xuan 0001
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Interprocedural Path Complexity Analysis.
Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen
ISSTA2024Other
Isolation-Based Debugging for Neural Networks.
Jialuo Chen, Jingyi Wang 0004, Youcheng Sun, Peng Cheng 0001, Jiming Chen 0001
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking.
Zaiyu Cheng, Tong Wu 0028, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho
ISSTA2024Program Analysis / Verification / Formal Methods
LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts.
Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen 0002, Neng Zhang 0001
ISSTA2024Program Analysis / Verification / Formal Methods
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing.
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen 0007, Pingping Li
ISSTA2024Testing / QA; AI / LLM for SE
LPR: Large Language Models-Aided Program Reduction.
Mengxiao Zhang, Yongqiang Tian 0001, Zhenyang Xu, Yiwen Dong 0002, Shin Hwei Tan
ISSTA2024Other
Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts.
Hao Guan 0001, Guangdong Bai, Yepang Liu 0001
ISSTA2024Performance / Energy / Reliability
Large Language Models for Equivalent Mutant Detection: How Far Are We?
Zhao Tian, Honglin Shu, Dong Wang 0044, Xuejie Cao, Yasutaka Kamei
ISSTA2024Other
Learning the Effects of Software Changes.
Laura Plein
ISSTA2024Maintenance / Evolution / Refactoring / Review
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.
Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan
ISSTA2024Other
Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs.
Alix Decrop
ISSTA2024Other
Logos: Log Guided Fuzzing for Protocol Implementations.
Feifan Wu, Zhengxiong Luo 0002, Yanyang Zhao, Qingpeng Du, Junze Yu
ISSTA2024Testing / QA
Ma11y: A Mutation Framework for Web Accessibility Testing.
Mahan Tafreshipour, Anmol Vilas Deshpande, Forough Mehralian, Iftekhar Ahmed 0001, Sam Malek
ISSTA2024Testing / QA; Mobile / Web / GUI / Android
Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset.
Zeliang Yu, Ming Wen 0001, Xiaochen Guo, Hai Jin 0001
ISSTA2024AI / LLM for SE; Security / Privacy / Vulnerability
MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing.
Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su 0001, Cong Feng
ISSTA2024Other
Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis.
Mingxi Ye, Xingwei Lin, Yuhong Nan, Jiajing Wu, Zibin Zheng
ISSTA2024Testing / QA
Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models.
Mingyi Zhou, Xiang Gao 0012, Pei Liu, John Grundy 0001, Chunyang Chen 0001
ISSTA2024Other
Multi-modal Learning for WebAssembly Reverse Engineering.
Hanxian Huang, Jishen Zhao
ISSTA2024Other
NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps.
Jikai Wang, Haoyu Wang 0001
ISSTA2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
NeuFair: Neural Network Fairness Repair with Dropout.
Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan
ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Neurosymbolic Repair of Test Flakiness.
Yang Chen 0059, Reyhaneh Jabbarvand
ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair.
Bo Lin 0011, Shangwen Wang, Ming Wen 0001, Liqian Chen, Xiaoguang Mao
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network.
Di Cui, Qiangqiang Wang, Yutong Zhao, Jiaqi Wang, Minjie Wei
ISSTA2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Oracle-Guided Program Selection from Large Language Models.
Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury
ISSTA2024Testing / QA
Panda: A Concurrent Scheduler for Compiler-Based Tools.
Xutong Ma, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001
ISSTA2024Other
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software.
Kaixuan Li 0002, Jian Zhang 0087, Sen Chen 0001, Han Liu 0012, Yang Liu 0003
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Policy Testing with MDPFuzz (Replicability Study).
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
ISSTA2024Testing / QA; Human / Empirical / Socio-technical
PolyTracker: Whole-Input Dynamic Information Flow Tracing.
Evan Sultanik, Marek Surovic, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca
ISSTA2024Other
Practitioners' Expectations on Automated Test Generation.
Xiao Yu 0008, Lei Liu 0062, Xing Hu 0008, Jacky Keung, Xin Xia 0001
ISSTA2024Testing / QA
Precise Compositional Buffer Overflow Detection via Heap Disjointness.
Yiyuan Guo, Peisen Yao, Charles Zhang 0001
ISSTA2024Other
Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs.
Arooba Shahoor, Jooyong Yi, Dongsun Kim 0001
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization.
Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng 0002
ISSTA2024Testing / QA
Quality Assurance for Non-trivial Systems: Use Case GCC Plugins.
Nimantha Kariyakarawana
ISSTA2024Other
Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay.
Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari 0001, Xin Peng 0001
ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Revisiting Test-Case Prioritization on Long-Running Test Suites.
Runxiang Cheng, Shuai Wang 0035, Reyhaneh Jabbarvand, Darko Marinov
ISSTA2024Testing / QA
Robustness against the C/C++11 Memory Model.
Roy David Margalit
ISSTA2024Other
SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection.
Xin-Cheng Wen, Cuiyun Gao 0001, Shuzheng Gao, Yang Xiao 0011, Michael R. Lyu
ISSTA2024Other
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs.
Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist
ISSTA2024Testing / QA
SQLess: Dialect-Agnostic SQL Query Simplification.
Li Lin, Zongyin Hao, Chengpeng Wang 0001, Zhuangda Wang, Rongxin Wu
ISSTA2024Other
Scalable, Sound, and Accurate Jump Table Analysis.
Huan Nguyen 0004, Soumyakant Priyadarshan, R. Sekar 0001
ISSTA2024Other
Search-Based Translations for Tensor Operations.
Jie Qiu
ISSTA2024Other
See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing.
Yuanyuan Yuan 0001, Shuai Wang 0011, Zhendong Su 0001
ISSTA2024Testing / QA; AI / LLM for SE
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.
Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng
ISSTA2024Program Analysis / Verification / Formal Methods
Segment-Based Test Case Prioritization: A Multi-objective Approach.
Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen 0003
ISSTA2024Testing / QA
SelfPiCo: Self-Guided Partial Code Execution with LLMs.
Zhipeng Xue 0002, Zhipeng Gao 0002, Shaohua Wang 0002, Xing Hu 0008, Xin Xia 0001
ISSTA2024Other
Semantic Constraint Inference for Web Form Test Generation.
Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah 0001
ISSTA2024Testing / QA; Mobile / Web / GUI / Android
Shaping Test Inputs in Grammar-Based Fuzzing.
José Antonio Zamudio Amaya
ISSTA2024Testing / QA
Silent Taint-Style Vulnerability Fixes Identification.
Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang 0002, Xing Hu 0008
ISSTA2024Security / Privacy / Vulnerability
Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC.
Haolai Wei, Liwei Chen, Zhijie Zhang, Gang Shi, Dan Meng 0002
ISSTA2024Testing / QA
Soft Verification for Actor Contract Systems.
Bram Vandenbogaerde
ISSTA2024Program Analysis / Verification / Formal Methods
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
ISSTA2024Performance / Energy / Reliability
Synthesis-Based Enhancement for GUI Test Case Migration.
Yakun Zhang 0001, Qihao Zhu, Jiwei Yan, Chen Liu 0041, Wenjie Zhang 0007
ISSTA2024Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Synthesizing Boxes Preconditions for Deep Neural Networks.
Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang 0001
ISSTA2024AI / LLM for SE
Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment.
Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen 0004
ISSTA2024Testing / QA; Mobile / Web / GUI / Android
TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development.
Xiangshan Gao, Jialuo Chen, Jingyi Wang 0004, Jie Shi 0013, Peng Cheng 0001
ISSTA2024Testing / QA; AI / LLM for SE
Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics.
Demet Demir, Aysu Betin Can, Elif Sürer
ISSTA2024Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA.
Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval
ISSTA2024Testing / QA
Testing Graph Database Systems with Graph-State Persistence Oracle.
Shuang Liu 0007, Junhao Lan, Xiaoning Du 0001, Jiyuan Li, Wei Lu 0015
ISSTA2024Testing / QA
Testing Gremlin-Based Graph Database Systems via Query Disassembling.
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao 0002
ISSTA2024Testing / QA
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios.
Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek
ISSTA2024Testing / QA
ThinkRepair: Self-Directed Automated Program Repair.
Xin Yin, Chao Ni 0001, Shaohua Wang 0002, Zhenhao Li 0002, Limin Zeng
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Total Recall? How Good Are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth
ISSTA2024Other
Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions.
Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran
ISSTA2024Mobile / Web / GUI / Android
Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes.
Xiaoyi Yang, Yuxing Wang, Tahmid Rafi, Dongfang Liu, Xiaoyin Wang
ISSTA2024Testing / QA
Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement.
Gwihwan Go, Chijin Zhou, Quan Zhang 0003, Xiazijian Zou, Heyuan Shi
ISSTA2024Testing / QA; AI / LLM for SE
Towards Understanding the Bugs in Solidity Compiler.
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003
ISSTA2024Other
Traceback: A Fault Localization Technique for Molecular Programs.
Michael C. Gerten, James I. Lathrop, Myra B. Cohen
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
UPBEAT: Test Input Checks of Q# Quantum Libraries.
Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang
ISSTA2024Testing / QA
Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines.
Cuiying Gao, Yueming Wu 0001, Heng Li 0008, Wei Yuan 0001, Haoyu Jiang
ISSTA2024Other
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches.
Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley
ISSTA2024Human / Empirical / Socio-technical
UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing.
Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang
ISSTA2024Testing / QA
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
ISSTA2024Other
VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction.
Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le 0002
ISSTA2024Other
VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing.
Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang 0009
ISSTA2024Testing / QA
WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation.
Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang 0001
ISSTA2024Testing / QA
Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation.
Wenxuan Zhao, Ruiying Zeng, Yangfan Zhou 0002
ISSTA2024Testing / QA
When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention.
Lianghong Guo, Yanlin Wang 0001, Ensheng Shi, Wanjun Zhong, Hongyu Zhang 0002
ISSTA2024Other
Your "Notice" Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking.
Kaifeng Huang 0001, Yingfeng Xia, Bihuan Chen 0001, Siyang He, Huazheng Zeng
ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical