Software Engineering Empirical Research Radar

ICSE Papers

Recent ICSE papers in the SEER Radar snapshot.

PaperVenueYearTopics
exLong: Generating Exceptional Behavior Tests with Large Language Models.
Jiyang Zhang 0003, Yu Liu 0079, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001
ICSE2025Testing / QA
Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models.
Kunpeng Zhang, Shuai Wang, Jitao Han, Xiaogang Zhu 0001, Xian Li
ICSE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Who's Pushing the Code? An Exploration of GitHub Impersonation.
Yueke Zhang, Anda Liang, Xiaohan Wang, Pamela J. Wisniewski, Fengwei Zhang
ICSE2025Human / Empirical / Socio-technical
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums.
Jake Zappin, Trevor Stalnaker, Oscar Chaparro, Denys Poshyvanyk
ICSE2025Human / Empirical / Socio-technical
What You See is What You Get: Attention-Based Self-Guided Automatic Unit Test Generation.
Xin Yin, Chao Ni 0001, Xiaodan Xu, Xiaohu Yang 0001
ICSE2025Testing / QA
What Guides Our Choices? Modeling Developers' Trust and Behavioral Intentions Towards Genai.
Rudrajit Choudhuri, Bianca Trinkenreich, Rahul Pandita, Eirini Kalliamvakou, Igor Steinmacher
ICSE2025Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Weakly-Supervised Log-Based Anomaly Detection with Inexact Labels via Multi-Instance Learning.
Minghua He, Tong Jia, Chiming Duan, Huaqian Cai, Ying Li 0012
ICSE2025Cloud / Microservices / Distributed Systems
WDD: Weighted Delta Debugging.
Xintong Zhou, Zhenyang Xu, Mengxiao Zhang, Yongqiang Tian 0001, Chengnian Sun
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Vulnerability Detection with Code Language Models: How Far are We?
Yangruibo Ding, Yanjun Fu, Omniyyah Ibrahim, Chawin Sitawarin, Xinyun Chen
ICSE2025Other
User Personas Improve Social Sustainability by Encouraging Software Developers to Deprioritize Antisocial Features.
Bimpe Ayoola, Miikka Kuutila, Rina R. Wehbe, Paul Ralph
ICSE2025Human / Empirical / Socio-technical
Unveiling the Energy Vampires: A Methodology for Debugging Software Energy Consumption.
Enrique Barba Roque, Luis Cruz 0002, Thomas Durieux
ICSE2025Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability
Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the Familiar.
Yuanliang Zhang, Yifan Xie, Shanshan Li 0001, Ke Liu, Chong Wang
ICSE2025AI / LLM for SE
Unleashing the True Potential of Semantic-Based Log Parsing with Pre-Trained Language Models.
Van-Hoang Le, Yi Xiao, Hongyu Zhang
ICSE2025Other
Understanding the Response to Open-Source Dependency Abandonment in the npm Ecosystem.
Courtney Miller, Mahmoud Jahanshahi, Audris Mockus, Bogdan Vasilescu, Christian Kästner
ICSE2025Other
Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks.
Shide Zhou, Tianlin Li, Kailong Wang 0001, Yihao Huang 0001, Ling Shi 0002
ICSE2025Testing / QA
Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem.
Xingyu Wang, Mingsen Wang, Wenbo Shen, Rui Chang
ICSE2025Other
Understanding Compiler Bugs in Real Development.
Hao Zhong 0001
ICSE2025Other
Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment -A Large-Scale Study.
Yuanfang Cai, Lanting He, Jun Qian, Yony Kochinski, Nan Zhang
ICSE2025Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
Unavoidable Boundary Conditions: a Control Perspective on Goal Conflicts.
Francisco Cirelli, Dalal Alrajeh, Sebastián Uchitel
ICSE2025Other
UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software.
Joseph Romeo, Marco Raglianti, Csaba Nagy 0001, Michele Lanza 0001
ICSE2025Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-Box Fuzzing?
Mingyuan Wu, Jiahong Xiang, Kunqiu Chen, Peng Di, Shin Hwei Tan
ICSE2025Testing / QA
Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications.
Sadra Sabouri, Philipp Eibl, Xinyi Zhou, Morteza Ziyadi, Nenad Medvidovic
ICSE2025AI / LLM for SE
Treefix: Enabling Execution with a Tree of Prefixes.
Beatriz Souza, Michael Pradel
ICSE2025Other
TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code.
Siyuan Li 0014, Yuekang Li, Zuxin Chen, Chaopeng Dong, Yongpan Wang
ICSE2025Testing / QA
TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance.
Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models.
Zhijie Wang 0014, Zijie Zhou, Da Song, Yuheng Huang 0004, Shengmai Chen
ICSE2025Other
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
Saikat Chakraborty 0001, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima
ICSE2025AI / LLM for SE
Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection.
Yanfu Yan, Viet Duong, Huajie Shao, Denys Poshyvanyk
ICSE2025Other
Towards High-Strength Combinatorial Interaction Testing for Highly Configurable Software Systems.
Chuan Luo 0002, Shuangyu Lyu, Wei Wu 0011, Hongyu Zhang 0002, Dianhui Chu
ICSE2025Testing / QA
Towards Better Answers: Automated Stack Overflow Post Updating.
Yubo Mai, Zhipeng Gao 0002, Haoye Wang, Tingting Bi, Xing Hu 0008
ICSE2025Other
Toward a Better Understanding of Probabilistic Delta Debugging.
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Xinru Cheng, Chengnian Sun
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Topseed: Learning Seed Selection Strategies for Symbolic Execution from Scratch.
Jaehyeok Lee, Sooyoung Cha
ICSE2025Program Analysis / Verification / Formal Methods
Tiver: Identifying Adaptive Versions of C/C++ Third-Party Open-Source Components Using a Code Clustering Technique.
Youngjae Choi, Seunghoon Woo
ICSE2025Other
The Seeds of the Future Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries.
Zhiyuan Li, Jingzheng Wu, Xiang Ling 0001, Tianyue Luo, Zhiqing Rui
ICSE2025Testing / QA
The Same Only Different: On Information Modality for Configuration Performance Analysis.
Hongyuan Liang, Yue Huang, Tao Chen
ICSE2025DevOps / CI / Build / Release; Performance / Energy / Reliability
The Product Beyond the Model - An Empirical Study of Repositories of Open-Source ML Products.
Nadia Nahar, Haoran Zhang, Grace A. Lewis, Shurui Zhou, Christian Kästner
ICSE2025Human / Empirical / Socio-technical
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages.
Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
ICSE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
The Fact Selection Problem in LLM-Based Program Repair.
Nikhil Parasaram, Huijie Yan, Boyu Yang, Zineb Flahy, Abriele Qudsi
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
The Design Smells Breaking the Boundary between Android Variants and AOSP.
Wuxia Jin, Jiaowei Shang, Jianguo Zheng, Mengjie Sun, Zhenyu Huang
ICSE2025Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing.
Ying Fu, Zhiyong Wu 0010, Yuanliang Zhang, Jie Liang 0006, Jingzhou Fu
ICSE2025Testing / QA
Testing and Understanding Deviation Behaviors in FHE-Hardened Machine Learning Models.
Yiteng Peng, Daoyuan Wu, Zhibo Liu, Dongwei Xiao, Zhenlan Ji
ICSE2025Testing / QA; AI / LLM for SE
Test Intention Guided LLM-Based Unit Test Generation.
Zifan Nan, Zhaoqiang Guo, Kui Liu 0001, Xin Xia 0001
ICSE2025Testing / QA; AI / LLM for SE
Template-Guided Program Repair in the Era of Large Language Models.
Kai Huang, Jian Zhang 0087, Xiangxin Meng, Yang Liu 0003
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
TacDroid: Detection of Illicit Apps Through Hybrid Analysis of UI-Based Transition Graphs.
Yanchen Lu, Hongyu Lin, Zehua He, Haitao Xu, Zhao Li
ICSE2025Mobile / Web / GUI / Android
TOGLL: Correct and Strong Test Oracle Generation with LLMS.
Soneya Binta Hossain, Matthew B. Dwyer
ICSE2025Testing / QA
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference.
Chong Wang 0013, Jian Zhang 0087, Yiling Lou, Mingwei Liu 0002, Weisong Sun
ICSE2025Program Analysis / Verification / Formal Methods
Synthesizing Document Database Queries Using Collection Abstractions.
Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang 0001
ICSE2025Other
Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI.
Zachary Karas, Benjamin Gold, Violet Zhou, Noah Reardon, Thad Polk
ICSE2025Other
Static Analysis of Remote Procedure Call in Java Programs.
Baoquan Cui, Rong Qu, Zhen Tang, Jian Zhang
ICSE2025Program Analysis / Verification / Formal Methods
SpecRover: Code Intent Extraction via LLMs.
Haifeng Ruan, Yuntong Zhang 0002, Abhik Roychoudhury
ICSE2025Other
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models.
Lezhi Ma, Shangqing Liu, Yi Li 0008, Xiaofei Xie, Lei Bu
ICSE2025Program Analysis / Verification / Formal Methods
Source Code Summarization in the Era of Large Language Models.
Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang 0002, Chunrong Fang
ICSE2025Other
Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets.
Christof Tinnes, Alisa Welter, Sven Apel
ICSE2025Maintenance / Evolution / Refactoring / Review
Smartreco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis.
Jingwen Zhang, Zibin Zheng, Yuhong Nan, Mingxi Ye, Kaiwen Ning
ICSE2025Other
Similar but Patched Code Considered Harmful: The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them.
Zixuan Tan, Jiayuan Zhou, Xing Hu 0008, Shengyi Pan, Kui Liu 0001
ICSE2025Other
Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness.
Weisong Sun, Yuchen Chen, Mengzhe Yuan, Chunrong Fang, Zhenpeng Chen
ICSE2025Other
Selecting Initial Seeds for Better JVM Fuzzing.
Tianchang Gao, Junjie Chen 0003, Dong Wang 0044, Yile Guo, Yingquan Zhao
ICSE2025Testing / QA
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation.
Dehai Zhao, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001, Liming Zhu 0001
ICSE2025Mobile / Web / GUI / Android
Search-Based LLMs for Code Optimization.
Shuzheng Gao, Cuiyun Gao 0001, Wenchao Gu, Michael R. Lyu
ICSE2025Performance / Energy / Reliability
Scenario-Driven and Context-Aware Automated Accessibility Testing for Android Apps.
Yuxin Zhang, Sen Chen 0001, Xiaofei Xie, Zibo Liu, Lingling Fan 0003
ICSE2025Testing / QA; Mobile / Web / GUI / Android
Sand: Decoupling Sanitization from Fuzzing for Low Overhead.
Ziqiao Kong, Shaohua Li 0002, Heqing Huang 0002, Zhendong Su 0001
ICSE2025Testing / QA
SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents.
Feng Lin, Dong Jae Kim, Tse-Hsun Chen
ICSE2025AI / LLM for SE
SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing.
Wenchao Gu, Ensheng Shi, Yanlin Wang 0001, Lun Du, Shi Han
ICSE2025Security / Privacy / Vulnerability
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code.
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Rug: Turbo Llm for Rust Unit Test Generation.
Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, Taesoo Kim
ICSE2025Testing / QA; AI / LLM for SE
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models.
Aidan Z. H. Yang, Sophia Kolak, Vincent J. Hellendoorn, Ruben Martins, Claire Le Goues
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Repository-Level Graph Representation Learning for Enhanced Security Patch Detection.
Xin-Cheng Wen, Zirui Lin, Cuiyun Gao 0001, Hongyu Zhang 0002, Yong Wang
ICSE2025Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability; DevOps / CI / Build / Release
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair.
Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Relationship Status: "It's Complicated" Developer-Security Expert Dynamics in Scrum.
Houda Naji, Marco Gutfleisch, Alena Naiakshina
ICSE2025Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Reduce Dependence for Sound Concurrency Bug Prediction.
Shihao Zhu, Yuqi Guo 0002, Yan Cai 0001, Bin Liang 0002, Long Zhang
ICSE2025Other
RediI: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems.
Yang Feng 0003, Zheyuan Lin, Dongchen Zhao, Mengbo Zhou, Jia Liu
ICSE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Reasoning Runtime Behavior of a Program with LLM: How Far are We?
Junkai Chen, Zhiyuan Pan, Xing Hu 0008, Zhenhao Li 0002, Ge Li 0001
ICSE2025AI / LLM for SE
Ranking Relevant Tests for Order-Dependent Flaky Tests.
Shanto Rahman, Bala Naren Chanumolu, Suzzana Rafi, August Shi, Wing Lam
ICSE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification.
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern
ICSE2025Program Analysis / Verification / Formal Methods
ROSA: Finding Backdoors with Fuzzing.
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
ICSE2025Testing / QA
ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation.
Xue Jiang, Yihong Dong, Yongding Tao, Huanyu Liu 0001, Zhi Jin 0001
ICSE2025Program Analysis / Verification / Formal Methods
RLCoder: Reinforcement Learning for Repository-Level Code Completion.
Yanlin Wang 0001, Yanli Wang 0001, Daya Guo, Jiachi Chen, Ruikai Zhang
ICSE2025DevOps / CI / Build / Release
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.
Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer
ICSE2025Program Analysis / Verification / Formal Methods
Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses.
Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro 0004, Paulo Carreira 0001, Nuno Santos 0001
ICSE2025AI / LLM for SE; Mobile / Web / GUI / Android
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements.
Huaijin Wang 0001, Zhibo Liu, Yanbo Dai, Shuai Wang 0011, Qiyi Tang 0003
ICSE2025Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator.
Xiaolei Wang, Ruilin Li 0002, Bin Zhang, Chao Feng 0002, Chaojing Tang
ICSE2025Other
Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets.
Smit Patel, Aashish Yadavally, Hridya Dhulipala, Tien N. Nguyen
ICSE2025AI / LLM for SE
Pattern-Based Generation and Adaptation of Quantum Workflows.
Martin Beisel, Johanna Barzen, Frank Leymann, Lavinia Stiliadou, Daniel Vietz
ICSE2025Other
Patch Synthesis for Property Repair of Deep Neural Networks.
Zhiming Chi, Jianan Ma, Pengfei Yang 0002, Cheng-Chao Huang, Renjue Li
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Parametric Falsification of Many Probabilistic Requirements Under Flakiness.
Matteo Camilli, Raffaela Mirandola
ICSE2025Requirements / Modeling / Architecture
PairSmell: A Novel Perspective Inspecting Software Modular Structure.
Chenxing Zhong, Daniel Feitosa, Paris Avgeriou, Huang Huang, Yue Li 0047
ICSE2025Other
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps.
Menglong Chen, Tian Tan 0001, Minxue Pan, Yue Li 0006
ICSE2025Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction.
Zhiyong Wu 0010, Jie Liang 0006, Jingzhou Fu, Mingzhe Wang, Yu Jiang 0001
ICSE2025Performance / Energy / Reliability
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations.
Rajdeep Singh Hundal, Yan Xiao 0002, Xiaochun Cao, Jin Song Dong 0001, Manuel Rigger
ICSE2025Other
On Prescription or Off Prescription? An Empirical Study of Community-Prescribed Security Configurations for Kubernetes.
Shazibul Islam Shamim, Hanyang Hu, Akond Rahman
ICSE2025Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses.
Gabriel Sherman, Stefan Nagy
ICSE2025Testing / QA
Neurosymbolic Modular Refinement Type Inference.
Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala
ICSE2025Program Analysis / Verification / Formal Methods
Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study.
Hanmo You, Zan Wang, Bin Lin 0008, Junjie Chen 0003
ICSE2025Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent.
Kaiyao Ke
ICSE2025Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Moye: A Wallbreaker for Monolithic Firmware.
Jintao Huang, Kai Yang, Gaosheng Wang, Zhiqiang Shi, Zhiwen Pan
ICSE2025Other
Module-Aware Context Sensitive Pointer Analysis.
Haofeng Li, Chenghang Shi, Jie Lu 0009, Lian Li 0002, Zixuan Zhao
ICSE2025Program Analysis / Verification / Formal Methods
Model Editing for LLMs4Code: How Far are we?
Xiaopeng Li 0006, Shangwen Wang, Shasha Li 0001, Jun Ma 0015, Jie Yu 0008
ICSE2025Other
Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning.
Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
ICSE2025Testing / QA; AI / LLM for SE
Mobile Application Coverage: The 30% Curse and Ways Forward.
Faridah Akinotcho, Lili Wei, Julia Rubin
ICSE2025Testing / QA; Mobile / Web / GUI / Android
Metamorphic-Based Many-Objective Distillation of LLMs for Code-Related Tasks.
Annibale Panichella
ICSE2025Other
Measuring the Runtime Performance of C++ Code Written by Humans Using Github Copilot.
Daniel Erhabor, Sreeharsha Udayashankar, Meiyappan Nagappan, Samer Al-Kiswany
ICSE2025Human / Empirical / Socio-technical; Performance / Energy / Reliability
MARQ: Engineering Mission-Critical AI-Based Software with Automated Result Quality Adaptation.
Uwe Gropengießer, Elias Dietz, Florian Brandherm, Achref Doula, Osama Abboud
ICSE2025AI / LLM for SE
MAGIKA: AI-Powered Content-Type Detection.
Yanick Fratantonio, Luca Invernizzi, Loua Farah, Kurt Thomas, Marina Zhang
ICSE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries.
Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi
ICSE2025Testing / QA; AI / LLM for SE; Program Analysis / Verification / Formal Methods
Licoeval: Evaluating LLMs on License Compliance in Code Generation.
Weiwei Xu 0001, Kai Gao 0008, Hao He 0012, Minghui Zhou 0001
ICSE2025Other
LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models.
Zeyang Ma, Dong Jae Kim, Tse-Hsun Peter Chen
ICSE2025Other
LiSSA: Toward Generic Traceability Link Recovery Through Retrieval- Augmented Generation.
Dominik Fuchß, Tobias Hey 0001, Jan Keim, Haoyu Liu, Niklas Ewald
ICSE2025Requirements / Modeling / Architecture
Leveraging Propagated Infection to Crossfire Mutants.
Hang Du, Vijay Krishna Palepu, James A. Jones
ICSE2025Other
Leveraging Large Language Models to Detect NPM Malicious Packages.
Nusrat Zahan, Philipp Burckhardt, Mikola Lysenko, Feross Aboukhadijeh, Laurie A. Williams
ICSE2025Other
Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests.
Amirhossein Deljouyi, Roham Koohestani, Maliheh Izadi, Andy Zaidman
ICSE2025Testing / QA
Large Language Models for Safe Minimization.
Aashish Yadavally, Xiaokai Rong, Phat Nguyen, Tien N. Nguyen
ICSE2025Other
Large Language Models as Configuration Validators.
Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang 0009, Parth Thakkar
ICSE2025DevOps / CI / Build / Release
LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes.
Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou 0043, Claire Le Goues
ICSE2025Testing / QA; AI / LLM for SE
LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-Based Code Completion.
Chong Wang 0013, Kaifeng Huang 0001, Jian Zhang 0087, Yebo Feng, Lyuye Zhang
ICSE2025AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
LLM-Aided Automatic Modeling for Security Protocol Verification.
Ziyu Mao, Jingyi Wang 0004, Jun Sun 0001, Shengchao Qin, Jiawen Xiong
ICSE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems.
Venkata Sai Aswath Duvvuru, Bohan Zhang, Michael Vierhauser, Ankit Agrawal 0002
ICSE2025Testing / QA; AI / LLM for SE
LLM Based Input Space Partitioning Testing for Library APIs.
Jiageng Li, Zhen Dong, Chong Wang, Haozhen You, Cen Zhang
ICSE2025Testing / QA; AI / LLM for SE
LLM Assistance for Memory Safety.
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma 0001, Subhajit Roy 0001
ICSE2025AI / LLM for SE
Knowledge-Enhanced Program Repair for Data Science Code.
Shuyin Ouyang, Jie M. Zhang, Zeyu Sun 0004, Albert Meroño-Peñuela
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency.
Chijin Zhou, Quan Zhang 0003, Bingzhou Qian, Yu Jiang 0001
ICSE2025Mobile / Web / GUI / Android
Iterative Generation of Adversarial Example for Deep Code Models.
Li Huang 0006, Weifeng Sun 0004, Meng Yan 0001
ICSE2025Other
Invivo Fuzzing by Amplifying Actual Executions.
Octavio Galland, Marcel Böhme
ICSE2025Testing / QA
Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS.
Bianca Trinkenreich, Zixuan Feng, Rudrajit Choudhuri, Marco Aurélio Gerosa, Anita Sarma
ICSE2025Other
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs.
Chenxi Zhang, Yufei Liang, Tian Tan 0001, Chang Xu 0001, Shuangxiang Kan
ICSE2025Program Analysis / Verification / Formal Methods
Intention is All you Need: Refining your Code from your Intention.
Qi Guo, Xiaofei Xie, Shangqing Liu, Ming Hu 0003, Xiaohong Li 0001
ICSE2025Other
Insvdf: Interface-State-Aware Virtual Device Fuzzing.
Zexiang Zhang, Gaoning Pan, Ruipeng Wang, Yiming Tao, Zulie Pan
ICSE2025Testing / QA
Instrumentation-Driven Evolution-Aware Runtime Verification.
Kevin Guan, Owolabi Legunsen
ICSE2025Program Analysis / Verification / Formal Methods; Maintenance / Evolution / Refactoring / Review
Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering.
Tanghaoran Zhang, Yue Yu 0001, Xinjun Mao, Shangwen Wang, Kang Yang 0001
ICSE2025Other
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability.
Geraldine Galindo-Gutierrez, Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Alexandre Bergel, Gordon Fraser 0001
ICSE2025Testing / QA; Cloud / Microservices / Distributed Systems
Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification.
Sigma Jahan, Mehil B. Shah, Parvez Mahbub, Mohammad Masudur Rahman 0001
ICSE2025AI / LLM for SE
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation.
Yuyang Rong, Zhanghan Yu, Zhenkai Weng, Stephen Neuendorffer, Hao Chen
ICSE2025Testing / QA
INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation.
Marcos Macedo, Yuan Tian 0008, Pengyu Nie 0001, Filipe Roseiro Côgo, Bram Adams
ICSE2025AI / LLM for SE
Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution.
Shuo Yang 0012, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao 0015
ICSE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
HumanEvo: An Evolution-Aware Benchmark for More Realistic Evaluation of Repository-Level Code Generation.
Dewu Zheng, Yanlin Wang 0001, Ensheng Shi, Ruikai Zhang, Yuchi Ma
ICSE2025DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities.
Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner
ICSE2025Other
Hints Help Finding and Fixing Bugs Differently in Python and Text-Based Program Representations.
Ruchit Rawal, Victor-Alexandru Padurean, Sven Apel, Adish Singla, Mariya Toneva
ICSE2025Other
Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V.
Yiwei Li 0006, Liangze Yin, Wei Dong 0006, Jiaxin Liu, Yanfeng Hu
ICSE2025Program Analysis / Verification / Formal Methods
Hedgecode: A Multi-Task Hedging Contrastive Learning Framework for Code Search.
Gong Chen 0007, Xiaoyuan Xie, Daniel Tang, Qi Xin, Wenjie Liu
ICSE2025Other
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions.
Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang 0007, Jiangtao Wang 0009
ICSE2025Other
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification.
Yizhou Chen, Zeyu Sun 0004, Guoqing Wang 0004, Dan Hao 0001
ICSE2025AI / LLM for SE; Program Analysis / Verification / Formal Methods
GenC2Rust: Towards Generating Generic Rust Code from C.
Xiafa Wu, Brian Demsky
ICSE2025Other
GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors.
Heng Yong, Zhong Li, Minxue Pan, Tian Zhang 0001, Jianhua Zhao
ICSE2025Other
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems.
Linfeng Liang, Yao Deng, Kye Morton, Valtteri Kallinen, Alice James
ICSE2025Other
Fuzzing MLIR Compilers with Custom Mutation Synthesis.
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Eric Zitong Zhou, Miryung Kim
ICSE2025Testing / QA
From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC.
Stefan Schwedt, Thomas Ströder
ICSE2025Human / Empirical / Socio-technical
Formally Verified Cloud-Scale Authorization.
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks 0001, Sam Huang
ICSE2025Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
Formally Verified Binary-Level Pointer Analysis.
Freek Verbeek, Ali Shokri 0003, Daniel Engel, Binoy Ravindran
ICSE2025Program Analysis / Verification / Formal Methods
Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations.
Wonhoi Kim, Hocheol Nam 0001, Muoi Tran, Amin Jalilov, Zhenkai Liang
ICSE2025Testing / QA; Security / Privacy / Vulnerability
Fixing Large Language Models' Specification Misunderstanding for Better Code Generation.
Zhao Tian, Junjie Chen 0003, Xiangyu Zhang 0001
ICSE2025Program Analysis / Verification / Formal Methods
Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-Based Software.
Anna Mazhar, Saad Sher Alam, William X. Zheng, Yinfang Chen, Suman Nath
ICSE2025Testing / QA; Cloud / Microservices / Distributed Systems
Feature-Driven End-to-End Test Generation.
Parsa Alian, Noor Nashid, Mobina Shahbandeh, Taha Shabani, Ali Mesbah 0001
ICSE2025Testing / QA
Faster Configuration Performance Bug Testing with Neural Dual-Level Prioritization.
Youpeng Ma, Tao Chen 0001, Ke Li 0001
ICSE2025Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability
Famos: Fault Diagnosis for Microservice Systems Through Effective Multi-Modal Data Fusion.
Chiming Duan, Yong Yang 0011, Tong Jia, Guiyang Liu, Jinbu Liu
ICSE2025Cloud / Microservices / Distributed Systems
Fairquant: Certifying and Quantifying Fairness of Deep Neural Networks.
Brian Hyeongseok Kim, Jingbo Wang 0006, Chao Wang 0001
ICSE2025AI / LLM for SE
Fairness Testing Through Extreme Value Theory.
Verya Monjezi, Ashutosh Trivedi 0001, Vladik Kreinovich, Saeid Tizpaz-Niari
ICSE2025Testing / QA
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems.
Yining She, Sumon Biswas, Christian Kästner, Eunsuk Kang
ICSE2025Other
FairChecker: Detecting Fund-Stealing Bugs in DeFi Protocols via Fairness Validation.
Yi Sun 0004, Zhuo Zhang 0002, Xiangyu Zhang 0001
ICSE2025Testing / QA
FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation.
Yang Sun 0008, Christopher M. Poskitt, Kun Wang 0023, Jun Sun 0001
ICSE2025Other
Exposing the Hidden Layer: Software Repositories in the Service of Seo Manipulation.
Mengying Wu, Geng Hong, Wuyuao Mai, Xinyi Wu, Lei Zhang 0096
ICSE2025Other
Exploring the Robustness of the Effect of EVO on Intention Valuation Through Replication.
Yesugen Baatartogtokh, Kaitlyn Cook, Alicia M. Grubb
ICSE2025Other
Execution Trace Reconstruction Using Diffusion-Based Generative Models.
Madeline Janecek, Naser Ezzati-Jivan, Abdelwahab Hamou-Lhadj
ICSE2025AI / LLM for SE
Evaluating Garbage Collection Performance Across Managed Language Runtimes.
Yicheng Wang, Wensheng Dou, Yu Liang, Yi Wang 0069, Wei Wang 0049
ICSE2025Performance / Energy / Reliability
Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects.
Hao Song, Teng Li, Jiachi Chen, Ting Chen 0002, Beibei Li 0002
ICSE2025Security / Privacy / Vulnerability
Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning.
Chun Li, Hui Li, Zhong Li, Minxue Pan, Xuandong Li
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding.
Yifeng Di, Tianyi Zhang 0001
ICSE2025Other
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models.
Luciano Baresi, Davide Yi Xian Hu, Andrea Stocco 0001, Paolo Tonella
ICSE2025Testing / QA
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework.
Ziji Wu, Yu Huang, Peishan Huang, Shanghua Wen, Minglong Li
ICSE2025Other
Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models.
Lizhi Liao, Simon Eismann, Heng Li 0007, Cor-Paul Bezemer, Diego Elias Costa
ICSE2025Requirements / Modeling / Architecture; Performance / Energy / Reliability
EP-Detector: Automatic Detection of Error-Prone Operation Anomalies in Android Applications.
Chenkai Guo, Qianlu Wang, Naipeng Dong, Lingling Fan 0003, Tianhong Wang 0010
ICSE2025Mobile / Web / GUI / Android
Does GenAI Make Usability Testing Obsolete?
Ali Ebrahimi Pourasad, Walid Maalej
ICSE2025Testing / QA
Dockerfile Flakiness: Characterization and Repair.
Taha Shabani, Noor Nashid, Parsa Alian, Ali Mesbah 0001
ICSE2025Debugging / Fault Localization / Diagnosis / Repair
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software.
Zhenpeng Chen, Xinyue Li, Jie M. Zhang, Federica Sarro, Yang Liu 0003
ICSE2025AI / LLM for SE
Distilled Lifelong Self-Adaptation for Configurable Systems.
Yulong Ye, Tao Chen 0001, Miqing Li
ICSE2025Other
Dissecting Global Search: A Simple Yet Effective Method to Boost Individual Discrimination Testing and Repair.
Lili Quan, Tianlin Li, Xiaofei Xie, Zhenpeng Chen, Sen Chen 0001
ICSE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models.
Mingyue Yuan, Jieshan Chen, Zhenchang Xing, Aaron Quigley, Yuyu Luo
ICSE2025Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts.
Jiashuo Zhang 0001, Yiming Shen, Jiachi Chen, Jianzhong Su, Yanlin Wang 0001
ICSE2025Security / Privacy / Vulnerability
Definition and Detection of Centralization Defects in Smart Contracts.
Zewei Lin, Jiachi Chen, Jiajing Wu, Weizhe Zhang, Zibin Zheng
ICSE2025Other
Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword?
Rosalia Tufano, Alberto Martin-Lopez, Ahmad Tayeb, Ozren Dabic, Sonia Haiduc
ICSE2025AI / LLM for SE
Decoding the Issue Resolution Process in Practice via Issue Report Analysis: a Case Study of Firefox.
Antu Saha, Oscar Chaparro
ICSE2025Human / Empirical / Socio-technical
Decoding Secret Memorization in Code LLMs Through Token-Level Characterization.
Yuqing Nie, Chong Wang 0013, Kailong Wang 0001, Guoai Xu, Guosheng Xu 0001
ICSE2025Security / Privacy / Vulnerability
Decictor: Towards Evaluating the Robustness of Decision-Making in Autonomous Driving Systems.
Mingfei Cheng, Xiaofei Xie, Yuan Zhou 0005, Junjie Wang 0007, Guozhu Meng
ICSE2025Other
Datalog-Based Language-Agnostic Change Impact Analysis for Microservices.
Qingkai Shi, Xiaoheng Xie, Xianjin Fu, Peng Di, Huawei Li
ICSE2025Maintenance / Evolution / Refactoring / Review
DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners.
Yue Wang 0063, Chao Yang 0016, Xiaodong Zhang 0014, Yuwanqi Deng, Jianfeng Ma 0001
ICSE2025Other
Critical Variable State-Aware Directed Greybox Fuzzing.
Xu Chen, Ningning Cui, Zhe Pan, Liwei Chen, Gang Shi
ICSE2025Testing / QA
Cooperative Software Verification via Dynamic Program Splitting.
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
ICSE2025Program Analysis / Verification / Formal Methods
Context Conquers Parameters: Outperforming Proprietary Llm in Commit Message Generation.
Aaron Imani, Iftekhar Ahmed 0001, Mohammad Moshirpour
ICSE2025AI / LLM for SE; DevOps / CI / Build / Release
Constrained LTL Specification Learning from Examples.
Changjian Zhang, Parv Kapoor, Ian Dardik, Leyi Cui, Rômulo Meira-Góes
ICSE2025Program Analysis / Verification / Formal Methods
ConsCS: Effective and Efficient Verification of Circom Circuits.
Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo
ICSE2025Program Analysis / Verification / Formal Methods
Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation.
Wenqian Deng, Jie Liang 0006, Zhiyong Wu 0010, Jingzhou Fu, Mingzhe Wang
ICSE2025Testing / QA
Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications.
Wei Ma 0014, Daoyuan Wu, Yuqiang Sun 0001, Tianwen Wang, Shangqing Liu
ICSE2025AI / LLM for SE; Security / Privacy / Vulnerability
CodeImprove: Program Adaptation for Deep Code Models.
Ravishka Rathnasuriya, Zijie Zhao, Wei Yang 0013
ICSE2025Other
Code Today, Deadline Tomorrow: Procrastination Among Software Developers.
Zeinabsadat Saghi, Thomas Zimmermann 0001, Souti Chattopadhyay
ICSE2025Human / Empirical / Socio-technical
Code Comment Inconsistency Detection and Rectification Using a Large Language Model.
Guoping Rong, Yongda Yu, Song Liu, Xin Tan, Tianyi Zhang
ICSE2025AI / LLM for SE
Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on Development.
Ran Mo, Haopeng Song, Wei Ding, Chaochao Wu
ICSE2025Maintenance / Evolution / Refactoring / Review
Clozemaster: Fuzzing Rust Compiler by Harnessing Llms for Infilling Masked Real Programs.
Hongyan Gao, Yibiao Yang, Maolin Sun, Jiangchang Wu, Yuming Zhou
ICSE2025Testing / QA
Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE.
Benjamin Steenhoek, Kalpathy Sivaraman, Renata Saldivar Gonzalez, Yevhen Mohylevskyy, Roshanak Zilouchian Moghaddam
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs.
Yuanhang Zhou, Zhen Yan, Yuanliang Chen, Fuchen Ma, Ting Chen 0002
ICSE2025Security / Privacy / Vulnerability
Chatgpt-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples.
Chunhao Dong, Yanjie Jiang, Yuxia Zhang, Yang Zhang, Hui Liu
ICSE2025Testing / QA; AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Chatgpt Inaccuracy Mitigation During Technical Report Understanding: Are we There Yet?
Salma Begum Tamanna, Gias Uddin 0001, Song Wang 0009, Lan Xia, Longyu Zhang
ICSE2025AI / LLM for SE
Can an LLM Find Its Way Around a Spreadsheet?
Cho-Ting Lee, Andrew Neeser, Shengzhe Xu, Jay Katyan, Patrick Cross
ICSE2025AI / LLM for SE
Calibration and Correctness of Language Models for Code.
Claudio Spiess, David Gros 0001, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin
ICSE2025Other
COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge.
Yichen Li 0003, Yulun Wu, Jinyang Liu 0002, Zhihan Jiang, Zhuangbin Chen
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference.
Chong Wang, Jianan Liu, Xin Peng, Yang Liu, Yiling Lou
ICSE2025AI / LLM for SE; Performance / Energy / Reliability
Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries.
Yongchao Wang, Yuandao Cai, Charles Zhang 0001
ICSE2025Other
Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis.
Shiyu Sun, Yanhui Li, Lin Chen, Yuming Zhou, Jianhua Zhao
ICSE2025Other
Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers.
Yuling Shi, Hongyu Zhang 0002, Chengcheng Wan 0001, Xiaodong Gu 0002
ICSE2025Human / Empirical / Socio-technical
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries.
Wen Zhang, Botang Xiao, Qingchen Kong, Le Guan, Wenwen Wang 0001
ICSE2025Other
BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks.
Yisong Xiao, Aishan Liu, Xinwei Zhang 0010, Tianyuan Zhang 0004, Tianlin Li
ICSE2025AI / LLM for SE; Security / Privacy / Vulnerability
Automating a Complete Software Test Process Using LLMs: An Automotive Case Study.
Shuai Wang, Yinan Yu, Robert Feldt, Dhasarathy Parthasarathy
ICSE2025Testing / QA; Human / Empirical / Socio-technical
Automated, Unsupervised, and Auto-Parameterized Inference of Data Patterns and Anomaly Detection.
Qiaolin Qin, Heng Li 0007, Ettore Merlo, Maxime Lamothe
ICSE2025Other
Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration.
Jiashuo Zhang 0001, Jiachi Chen, John Grundy 0001, Jianbo Gao 0003, Yanlin Wang 0001
ICSE2025Testing / QA; Maintenance / Evolution / Refactoring / Review
Automated Generation of Accessibility Test Reports from Recorded User Transcripts.
Syed Fatiul Huq, Mahan Tafreshipour, Kate Kalcevich, Sam Malek
ICSE2025Testing / QA; Mobile / Web / GUI / Android
Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps.
Forough Mehralian, Ziyao He, Sam Malek
ICSE2025Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts.
Setu Kumar Basak, K. Virgil English, Ken Ogura, Vitesh Kambara, Bradley Reaves
ICSE2025Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions.
Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic
ICSE2025Other
Are LLMs Correctly Integrated into Software Systems?
Yuchen Shao, Yuheng Huang 0004, Jiawei Shen, Lei Ma 0003, Ting Su 0001
ICSE2025Other
Answering User Questions About Machine Learning Models Through Standardized Model Cards.
Tajkia Rahman Toma, Balreet Grewal, Cor-Paul Bezemer
ICSE2025AI / LLM for SE
Analyzing the Feasibility of Adopting Google's Nonce-Based CSP Solutions on Websites.
Mengxia Ren, Anhao Xiang, Chuan Yue
ICSE2025Other
An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization.
Fraol Batole, David O'Brien, Tien N. Nguyen, Robert Dyer 0001, Hridesh Rajan
ICSE2025AI / LLM for SE; Requirements / Modeling / Architecture
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools.
Miao Miao 0001, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei
ICSE2025Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
An Exploratory Study on the Engineering of Security Features.
Kevin Hermann, Sven Peldszus, Jan-Philipp Steghöfer, Thorsten Berger
ICSE2025Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
An Exploratory Study of ML Sketches and Visual Code Assistants.
Luís F. Gomes, Vincent J. Hellendoorn, Jonathan Aldrich, Rui Abreu 0001
ICSE2025Human / Empirical / Socio-technical
An Empirical Study on Reproducible Packaging in Open-Source Ecosystems.
Giacomo Benedetti, Oreofe Solarin, Courtney Miller, Greg Tystahl, William Enck
ICSE2025Human / Empirical / Socio-technical
An Empirical Study on Package-Level Deprecation in Python Ecosystem.
Zhiqing Zhong, Shilin He, Haoxuan Wang, Boxi Yu, Haowen Yang
ICSE2025Human / Empirical / Socio-technical
An Empirical Study on Commit Message Generation Using LLMs via In-Context Learning.
Yifan Wu 0002, Yunpeng Wang, Ying Li 0012, Wei Tao, Siyu Yu
ICSE2025Human / Empirical / Socio-technical; DevOps / CI / Build / Release
An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far are We?
Hyunjae Suh, Mahan Tafreshipour, Jiawei Li 0013, Adithya Bhattiprolu, Iftekhar Ahmed 0001
ICSE2025AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale.
Mengya Zhang, Preksha Shukla, Wuqi Zhang, Zhuo Zhang 0002, Pranav Agrawal 0002
ICSE2025Human / Empirical / Socio-technical
Aligning the Objective of LLM-Based Program Repair.
Junjielong Xu, Ying Fu, Shin Hwei Tan, Pinjia He
ICSE2025AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Accounting for Missing Events in Statistical Information Leakage Analysis.
Seongmin Lee 0001, Shreyas Minocha, Marcel Böhme
ICSE2025Other
Accessibility Issues in Ad-Driven Web Applications.
Abdul Haddi Amjad, Muhammad Danish, Bless Jah, Muhammad Ali Gulzar
ICSE2025Mobile / Web / GUI / Android
ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service Systems.
Wenwei Gu, Jiazhen Gu, Jinyang Liu 0002, Zhuangbin Chen, Jianping Zhang 0002
ICSE2025Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
A Test Oracle for Reinforcement Learning Software Based on Lyapunov Stability Control Theory.
Shiyu Zhang, Haoyang Song, Qixin Wang 0001, Henghua Shen, Yu Pei 0001
ICSE2025Testing / QA
A Tale of Two DL Cities: When Library Tests Meet Compiler.
Qingchao Shen, Yongqiang Tian 0001, Haoyang Ma, Junjie Chen 0003, Lili Huang
ICSE2025Testing / QA
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries.
Ian McCormack, Joshua Sunshine, Jonathan Aldrich
ICSE2025Human / Empirical / Socio-technical
A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection.
Tianchen Yu, Li Yuan, Liannan Lin, Hongkui He
ICSE2025AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs.
Myeongsoo Kim, Tyler Stennett, Saurabh Sinha 0003, Alessandro Orso
ICSE2025Testing / QA; AI / LLM for SE
A Little Goes a Long Way: Tuning Configuration Selection for Continuous Kernel Fuzzing.
Sanan Hasanov, Stefan Nagy, Paul Gazzillo
ICSE2025Testing / QA; DevOps / CI / Build / Release
A Large-Scale Study of Model Integration in ML-Enabled Software Systems.
Yorick Sens, Henriette Knopp, Sven Peldszus, Thorsten Berger
ICSE2025Human / Empirical / Socio-technical
A First Look at Conventional Commits Classification.
Qunhong Zeng, Yuxia Zhang, Zhiqing Qiu, Hui Liu
ICSE2025Other
A Differential Testing Framework to Identify Critical AV Failures Leveraging Arbitrary Inputs.
Trey Woodlief, Carl Hildebrandt, Sebastian G. Elbaum
ICSE2025Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
A Catalog of Micro Frontends Anti-Patterns.
Nabson Paiva Souza da Silva, Eriky Rodrigues, Tayana Conte
ICSE2025Other
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.
Sarah Fakhoury, Markus Kuppe 0001, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
ICSE2025AI / LLM for SE
$\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults.
Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova
ICSE2025Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
$ZTD_{\text{JAVA}}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies.
Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla, Huiyun Peng, Aravind Machiry
ICSE2025Other
"Get Me in the Groove": a Mixed Methods Study on Supporting Adhd Professional Programmers.
Kaia Newman, Sarah Snay, Madeline Endres, Manasvi Parikh, Andrew Begel
ICSE2025Human / Empirical / Socio-technical
Xpert: Empowering Incident Management with Query Recommendations via Large Language Models.
Yuxuan Jiang 0016, Chaoyun Zhang, Shilin He, Zhihao Yang, Minghua Ma
ICSE2024Other
Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports.
Jiamou Sun, Jieshan Chen, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001
ICSE2024Other
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
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
Verifying Declarative Smart Contracts.
Haoxian Chen 0001, Lan Lu, Brendan Massey, Yuepeng Wang 0001, Boon Thau Loo
ICSE2024Other
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
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
Using an LLM to Help With Code Understanding.
Daye Nam, Andrew Macvean, Vincent J. Hellendoorn, Bogdan Vasilescu, Brad A. Myers
ICSE2024AI / LLM for SE
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
Unveiling Memorization in Code Models.
Zhou Yang 0003, Zhipeng Zhao, Chenyu Wang 0005, Jieke Shi, Dongsun Kim 0001
ICSE2024Other
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
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
Understanding Transaction Bugs in Database Systems.
Ziyu Cui, Wensheng Dou, Yu Gao 0002, Dong Wang 0048, Jiansen Song
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
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
Trustworthy by Design.
Carol J. Smith
ICSE2024Requirements / Modeling / Architecture
Translation Validation for JIT Compiler in the V8 JavaScript Engine.
Seungwan Kwon, Jaeseong Kwon, Wooseok Kang, Juneyoung Lee, Kihong Heo
ICSE2024Testing / QA
Traces of Memorisation in Large Language Models for Code.
Ali Al-Kaswan, Maliheh Izadi, Arie van Deursen
ICSE2024Other
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
Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles.
Neelofar, Aldeida Aleti
ICSE2024Testing / QA
Towards More Practical Automation of Vulnerability Assessment.
Shengyi Pan, Lingfeng Bao, Jiayuan Zhou, Xing Hu 0008, Xin Xia 0001
ICSE2024Other
Towards Finding Accounting Errors in Smart Contracts.
Brian Zhang
ICSE2024Other
Towards Causal Deep Learning for Vulnerability Detection.
Md Mahbubur Rahman, Ira Ceka, Chengzhi Mao, Saikat Chakraborty 0001, Baishakhi Ray
ICSE2024AI / LLM for SE
Toward Improved Deep Learning-based Vulnerability Detection.
Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
ICSE2024AI / LLM for SE
Toward Automatically Completing GitHub Workflows.
Antonio Mastropaolo, Fiorella Zampetti, Gabriele Bavota, Massimiliano Di Penta
ICSE2024Human / Empirical / Socio-technical
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
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
Testing Graph Database Systems via Equivalent Query Rewriting.
Qiuyang Mang, Aoyang Fang, Boxi Yu, Hanfei Chen, Pinjia He
ICSE2024Testing / QA
Tensor-Aware Energy Accounting.
Timur Babakol, Yu David Liu
ICSE2024Performance / Energy / Reliability
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
TRACED: Execution-aware Pre-training for Source Code.
Yangruibo Ding, Benjamin Steenhoek, Kexin Pei, Gail E. Kaiser, Wei Le
ICSE2024Other
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.
Kadiray Karakaya, Eric Bodden
ICSE2024Other
Supporting Web-Based API Searches in the IDE Using Signatures.
Nick C. Bradley, Thomas Fritz 0001, Reid Holmes
ICSE2024Mobile / Web / GUI / Android
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
Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine.
Yanming Yang, Xing Hu 0008, Xin Xia 0001, David Lo 0001, Xiaohu Yang 0001
ICSE2024Other
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.
Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon
ICSE2024Testing / QA
Software Engineering Research in a World with Generative Artificial Intelligence.
Martin C. Rinard
ICSE2024AI / LLM for SE
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
Shedding Light on Software Engineering-specific Metaphors and Idioms.
Mia Mohammad Imran, Preetha Chatterjee, Kostadin Damevski
ICSE2024Other
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware.
Yiming Liu, Cen Zhang, Feng Li 0045, Yeting Li, Jianhua Zhou
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 Analysis of Macro Usage for Portability.
Brent Pappas, Paul Gazzillo
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
Scaling Code Pattern Inference with Interactive What-If Analysis.
Hong Jin Kang, Kevin Wang, Miryung Kim
ICSE2024Other
Scalable Relational Analysis via Relational Bound Propagation.
Clay Stevens, Hamid Bagheri
ICSE2024Other
Safeguarding DeFi Smart Contracts against Oracle Deviations.
Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris
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
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
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
ICSE2024Testing / QA
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation.
Wenzhang Yang, Linhai Song, Yinxing Xue
ICSE2024Other
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.
Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao
ICSE2024Other
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
Revisiting Android App Categorization.
Marco Alecci, Jordan Samhi, Tegawendé F. Bissyandé, Jacques Klein
ICSE2024Mobile / Web / GUI / Android
Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts.
Mingyuan Huang, Jiachi Chen, Zigui Jiang, Zibin Zheng
ICSE2024Human / Empirical / Socio-technical
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions.
Islem Bouzenia, Michael Pradel
ICSE2024Human / Empirical / Socio-technical; Performance / Energy / Reliability
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
Recovering Trace Links Between Software Documentation And Code.
Jan Keim, Sophie Corallo, Dominik Fuchß, Tobias Hey 0001, Tobias Telge
ICSE2024Other
ReFAIR: Toward a Context-Aware Recommender for Fairness Requirements Engineering.
Carmine Ferrara, Francesco Casillo, Carmine Gravino, Andrea De Lucia, Fabio Palomba
ICSE2024Requirements / Modeling / Architecture
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
Raisin: Identifying Rare Sensitive Functions for Bug Detection.
Jianjun Huang 0001, Jianglei Nie, Yuanjun Gong, Wei You 0001, Bin Liang 0002
ICSE2024Other
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
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
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems.
Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues
ICSE2024Other
REDriver: Runtime Enforcement for Autonomous Vehicles.
Yang Sun 0008, Christopher M. Poskitt, Xiaodong Zhang 0014, Jun Sun 0001
ICSE2024Other
PyTy: Repairing Static Type Errors in Python.
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
ICSE2024Program Analysis / Verification / Formal Methods
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code.
Wuxia Jin, Shuo Xu, Dawei Chen, Jiajun He, Dinghong Zhong
ICSE2024Other
Property-Based Testing in Practice.
Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head
ICSE2024Testing / QA
Prompting Is All You Need: Automated Android Bug Replay with Large Language Models.
Sidong Feng, Chunyang Chen 0001
ICSE2024Mobile / Web / GUI / Android
Programming Assistant for Exception Handling with CodeBERT.
Yuchen Cai 0001, Aashish Yadavally, Abhishek Mishra, Genesis Montejo, Tien N. Nguyen
ICSE2024Other
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
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
Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues.
Jack Jamieson, Naomi Yamashita, Eureka Foong
ICSE2024Human / Empirical / Socio-technical
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning.
Yutong Wang, Cindy Rubio-González
ICSE2024Performance / Energy / Reliability
Precise Sparse Abstract Execution via Cross-Domain Interaction.
Xiao Cheng 0002, Jiawei Wang, Yulei Sui
ICSE2024Other
Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks.
Zhongxin Liu 0002, Zhijie Tang, Junwei Zhang, Xin Xia 0001, Xiaohu Yang 0001
ICSE2024Other
Practical Program Repair via Preference-based Ensemble Strategy.
Wenkang Zhong, Chuanyi Li, Kui Liu 0001, Tongtong Xu, Jidong Ge
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
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
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
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
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
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
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
Optimistic Prediction of Synchronization-Reversal Data Races.
Zheng Shi, Umang Mathur 0001, Andreas Pavlogiannis
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
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 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 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 Calibration of Pre-trained Code Models.
Zhenhao Zhou, Chaofeng Sha, Xin Peng 0001
ICSE2024Other
Object Graph Programming.
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric 0001
ICSE2024Other
NuzzleBug: Debugging Block-Based Programs in Scratch.
Adina Deiner, Gordon Fraser 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem.
Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu
ICSE2024Other
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
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
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
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem.
Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen
ICSE2024Other
Modularizing while Training: A New Paradigm for Modularizing DNN Models.
Binhang Qi, Hailong Sun 0001, Hongyu Zhang 0002, Ruobing Zhao, Xiang Gao 0012
ICSE2024Other
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
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating.
Jiakun Liu, Zicheng Zhang, Xing Hu 0008, Ferdian Thung, Shahar Maoz
ICSE2024Mobile / Web / GUI / Android
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
Marco: A Stochastic Asynchronous Concolic Explorer.
Jie Hu 0031, Yue Duan, Heng Yin 0001
ICSE2024Program Analysis / Verification / Formal Methods
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
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
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
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
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
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
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
LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data.
Xiaoyun Li, Hongyu Zhang 0002, Van-Hoang Le, Pengfei Chen 0002
ICSE2024Other
LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries.
Chaopeng Dong, Siyuan Li 0014, Shouguo Yang, Yang Xiao 0011, Yongpan Wang
ICSE2024Other
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
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
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
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 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
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
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 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
Language Models for Code Completion: A Practical Evaluation.
Maliheh Izadi, Jonathan Katzy, Tim van Dam, Marc Otten, Razvan Mihai Popescu
ICSE2024Other
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
Knowledge Graph Driven Inference Testing for Question Answering Software.
Jun Wang 0151, Yanhui Li, Zhifei Chen, Lin Chen 0015, Xiaofang Zhang
ICSE2024Testing / QA
KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding.
Lipeng Ma, Weidong Yang 0001, Bo Xu 0023, Sihang Jiang, Ben Fei
ICSE2024Other
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications.
Ariel Gorenstein, Shahar Maoz, Jan Oliver Ringert
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
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data.
Felix Wallner, Bernhard K. Aichernig, Christian Burghard
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
Investigating White-Box Attacks for On-Device Models.
Mingyi Zhou, Xiang Gao 0012, Jing Wu 0021, Kui Liu 0001, Hailong Sun 0001
ICSE2024Other
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
Improving Testing Behavior by Gamifying IntelliJ.
Philipp Straubinger, Gordon Fraser 0001
ICSE2024Testing / QA
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
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
ITER: Iterative Neural Repair for Multi-Location Patches.
He Ye, Martin Monperrus
ICSE2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation.
Michele Pasqua, Mariano Ceccato, Paolo Tonella
ICSE2024Testing / QA
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
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 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 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
High Expectations: An Observational Study of Programming and Cannabis Intoxication.
Wenxin He, Manasvi Parikh, Westley Weimer, Madeline Endres
ICSE2024Human / Empirical / Socio-technical
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
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
Generating REST API Specifications through Static Analysis.
Ruikai Huang, Manish Motwani, Idel Martinez, Alessandro Orso
ICSE2024Program 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
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
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
FuzzInMem: Fuzzing Programs via In-memory Structures.
Xuwei Liu, Wei You 0001, Yapeng Ye, Zhuo Zhang 0002, Jianjun Huang 0001
ICSE2024Testing / QA
Fuzz4All: Universal Fuzzing with Large Language Models.
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang 0001
ICSE2024Testing / QA
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation.
Zhiyang Chen 0004, Sidi Mohamed Beillahi, Fan Long
ICSE2024Security / Privacy / Vulnerability
FlakeSync: Automatically Repairing Async Flaky Tests.
Shanto Rahman, August Shi
ICSE2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Fine-grained, accurate and scalable source differencing.
Jean-Rémy Falleri, Matias Martinez
ICSE2024Other
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
Finding XPath Bugs in XML Document Processors via Differential Testing.
Shuxin Li, Manuel Rigger
ICSE2024Testing / QA
Fast Deterministic Black-box Context-free Grammar Inference.
Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang 0004, Christoph Csallner
ICSE2024Other
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman
ICSE2024Other
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
Extrapolating Coverage Rate in Greybox Fuzzing.
Danushka Liyanage, Seongmin Lee 0001, Chakkrit Tantithamthavorn, Marcel Böhme
ICSE2024Testing / QA
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
Exploring Experiences with Automated Program Repair in Practice.
Fairuz Nawer Meem, Justin Smith 0001, Brittany Johnson
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
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
Evaluating Large Language Models in Class-Level Code Generation.
Xueying Du, Mingwei Liu 0002, Kaixin Wang, Hanlin Wang, Junwei Liu
ICSE2024Other
Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization.
Antonio Mastropaolo, Matteo Ciniselli, Massimiliano Di Penta, Gabriele Bavota
ICSE2024Human / Empirical / Socio-technical
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
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
Empirical Study of the Docker Smells Impact on the Image Size.
Thomas Durieux
ICSE2024Human / Empirical / Socio-technical
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem.
Jinchang Hu, Lyuye Zhang, Chengwei Liu, Sen Yang, Song Huang
ICSE2024Human / Empirical / Socio-technical
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
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
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures.
Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham
ICSE2024Mobile / Web / GUI / Android
ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems.
Junqiang Li, Senyi Li, Keyao Li, Falin Luo, Hongfang Yu
ICSE2024Testing / QA; DevOps / CI / Build / Release
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
DocFlow: Extracting Taint Specifications from Software Documentation.
Marcos Tileria, Jorge Blasco, Santanu Kumar Dash 0001
ICSE2024Security / Privacy / Vulnerability
Do Automatic Test Generation Tools Generate Flaky Tests?
Martin Gruber, Muhammad Firhard Roslan, Owain Parry, Fabian Scharnböck, Phil McMinn
ICSE2024Testing / QA
DivLog: Log Parsing with Prompt Enhanced In-Context Learning.
Junjielong Xu, Ruichun Yang, Yintong Huo, Chengyu Zhang 0001, Pinjia He
ICSE2024Other
Development in times of hype: How freelancers explore Generative AI?
Mateusz Dolata, Norbert Lange, Gerhard Schwabe
ICSE2024AI / LLM for SE
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
Detecting Automatic Software Plagiarism via Token Sequence Normalization.
Timur Saglam, Moritz Brödel, Larissa Schmid, Sebastian Hahner
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
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem.
Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang
ICSE2024Other
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
DeepSample: DNN sampling-based testing for operational accuracy assessment.
Antonio Guerriero, Roberto Pietrantuono, Stefano Russo 0001
ICSE2024Testing / QA
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
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
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
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection.
Benjamin Steenhoek, Hongyang Gao, Wei Le
ICSE2024AI / LLM for SE; Program Analysis / Verification / Formal Methods
Data-Driven Evidence-Based Syntactic Sugar Design.
David O'Brien, Robert Dyer 0001, Tien N. Nguyen, Hridesh Rajan
ICSE2024Requirements / Modeling / Architecture
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
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
Curiosity-Driven Testing for Sequential Decision-Making Process.
Junda He, Zhou Yang 0003, Jieke Shi, Chengran Yang, Kisub Kim
ICSE2024Testing / QA
Crossover in Parametric Fuzzing.
Katherine Hough, Jonathan Bell 0001
ICSE2024Testing / QA
Cross-Inlining Binary Function Similarity Detection.
Ang Jia, Ming Fan 0002, Xi Xu, Wuxia Jin, Haijun Wang 0002
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
Context-Aware Name Recommendation for Field Renaming.
Chunhao Dong, Yanjie Jiang, Nan Niu, Yuxia Zhang, Hui Liu 0003
ICSE2024Other
Constraint Based Program Repair for Persistent Memory Bugs.
Zunchen Huang, Chao Wang 0001
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
Concrete Constraint Guided Symbolic Execution.
Yue Sun, Guowei Yang 0001, Shichao Lv, Zhi Li 0018, Limin Sun 0001
ICSE2024Program Analysis / Verification / Formal Methods
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
Compiler-directed Migrating API Callsite of Client Code.
Hao Zhong 0001, Na Meng 0001
ICSE2024Other
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
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
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
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
Co-Creation in Fully Remote Software Teams.
Victoria Jackson, Rafael Prikladnicki, André van der Hoek
ICSE2024Other
ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers.
Raphael Serafini, Clemens Otto, Stefan Albert Horstmann, Alena Naiakshina
ICSE2024AI / LLM for SE
ChatGPT Incorrectness Detection in Software Reviews.
Minaoar Hossain Tanzil, Junaed Younus Khan, Gias Uddin 0001
ICSE2024AI / LLM for SE
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
Challenges and Opportunities in Model Checking Large-scale Distributed Systems.
Rupak Majumdar
ICSE2024Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment.
Hammad Ahmad, Madeline Endres, Kaia Newman, Priscila Santiesteban, Emma Shedden
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
CNEPS: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components.
Yoonjong Na, Seunghoon Woo, Joomyeong Lee, Heejo Lee
ICSE2024Other
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
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation.
Jinsheng Ba, Manuel Rigger
ICSE2024Performance / Energy / Reliability
Breaking the Flow: A Study of Interruptions During Software Engineering Activities.
Yimeng Ma, Yu Huang 0015, Kevin Leach
ICSE2024Human / Empirical / Socio-technical
Block-based Programming for Two-Armed Robots: A Comparative Study.
Felipe Fronchetti, Nico Ritschel, Logan Schorr, Chandler Barfield, Gabriella Chang
ICSE2024Human / Empirical / Socio-technical
BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching.
Ling Jiang, Junwen An, Huihui Huang, Qiyi Tang 0003, Sen Nie
ICSE2024Other
BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing.
Wai Kin Wong, Huaijin Wang 0001, Zongjie Li, Shuai Wang 0011
ICSE2024Performance / Energy / Reliability
Barriers for Students During Code Change Comprehension.
Justin Middleton, John-Paul Ore, Kathryn T. Stolee
ICSE2024Maintenance / Evolution / Refactoring / Review; Education / Program Comprehension
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
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
Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization).
Toufique Ahmed, Kunal Suresh Pai, Premkumar T. Devanbu, Earl T. Barr
ICSE2024Other
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Hadeel Eladawy, Claire Le Goues, Yuriy Brun
ICSE2024Debugging / Fault Localization / Diagnosis / Repair
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
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
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 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
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
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles.
Dinghua Wang, Shuqing Li 0001, Guanping Xiao, Yepang Liu 0001, Yulei Sui
ICSE2024Other
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 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 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 of Data Disruption by Ransomware Attacks.
Yiwei Hou, Lihua Guo, Chijin Zhou, Yiwen Xu, Zijing Yin
ICSE2024Human / Empirical / Socio-technical
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
A User-centered Security Evaluation of Copilot.
Owura Asare, Meiyappan Nagappan, N. Asokan
ICSE2024Security / Privacy / Vulnerability
A Theory of Scientific Programming Efficacy.
Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz
ICSE2024Other
A Study on the Pythonic Functional Constructs' Understandability.
Cyrine Zid, Fiorella Zampetti, Giuliano Antoniol, Massimiliano Di Penta
ICSE2024Human / Empirical / Socio-technical
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 Framework For Inferring Properties of User-Defined Functions.
Xinyu Liu, Joy Arulraj, Alessandro Orso
ICSE2024Other
A First Look at the Inheritance-Induced Redundant Test Execution.
Dong Jae Kim, Jinqiu Yang 0001, Tse-Hsun Chen
ICSE2024Testing / QA
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
"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
"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
Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
Rafi Shalom, Shahar Maoz
ICSE2023Other
When to Say What: Learning to Find Condition-Message Inconsistencies.
Islem Bouzenia, Michael Pradel
ICSE2023Other
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study.
Vincenzo Riccio, Paolo Tonella
ICSE2023Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts?
Setu Kumar Basak, Lorenzo Neil, Bradley Reaves, Laurie A. Williams
ICSE2023Human / Empirical / Socio-technical
Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning.
Xin-Cheng Wen, Yupan Chen, Cuiyun Gao 0001, Hongyu Zhang 0002, Jie M. Zhang
ICSE2023Other
ViolationTracker: Building Precise Histories for Static Analysis Violations.
Ping Yu, Yijian Wu, Xin Peng 0001, Jiahan Peng, Jian Zhang 0001
ICSE2023Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Verifying Data Constraint Equivalence in FinTech Systems.
Chengpeng Wang 0001, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang 0001
ICSE2023Other
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs.
Maolin Sun, Yibiao Yang, Ming Wen 0001, Yongcong Wang, Yuming Zhou
ICSE2023Other
VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning.
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen 0001, Haipeng Cai
ICSE2023AI / LLM for SE
Using Reactive Synthesis: An End-to-End Exploratory Case Study.
Dor Ma'ayan, Shahar Maoz
ICSE2023Human / Empirical / Socio-technical
Usability-Oriented Design of Liquid Types for Java.
Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca
ICSE2023Requirements / Modeling / Architecture
Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem.
Yulun Wu, Zeliang Yu, Ming Wen 0001, Qiang Li, Deqing Zou
ICSE2023Other
Understanding and Detecting On-The-Fly Configuration Bugs.
Teng Wang 0004, Zhouyang Jia, Shanshan Li 0001, Si Zheng 0003, Yue Yu 0001
ICSE2023DevOps / CI / Build / Release
UPCY: Safely Updating Outdated Dependencies.
Andreas Dann, Ben Hermann, Eric Bodden
ICSE2023Other
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension.
Shuzheng Gao, Cuiyun Gao 0001, Chaozheng Wang, Jun Sun 0001, David Lo 0001
ICSE2023AI / LLM for SE; Education / Program Comprehension
Twins or False Friends? A Study on Energy Consumption and Performance of Configurable Software.
Max Weber, Christian Kaltenecker, Florian Sattler, Sven Apel, Norbert Siegmund
ICSE2023Human / Empirical / Socio-technical; Performance / Energy / Reliability
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum.
Zibin Zheng, Neng Zhang 0001, Jianzhong Su, Zhijie Zhong, Mingxi Ye
ICSE2023Other
Triggers for Reactive Synthesis Specifications.
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
ICSE2023Other
Towards Understanding Fairness and its Composition in Ensemble Machine Learning.
Usman Gohar, Sumon Biswas, Hridesh Rajan
ICSE2023AI / LLM for SE
Tolerate Control-Flow Changes for Sound Data Race Prediction.
Shihao Zhu, Yuqi Guo 0002, Long Zhang, Yan Cai 0001
ICSE2023Maintenance / Evolution / Refactoring / Review
The untold story of code refactoring customizations in practice.
Daniel Oliveira 0005, Wesley K. G. Assunção, Alessandro F. Garcia 0001, Ana Carla Bibiano, Márcio Ribeiro 0001
ICSE2023Maintenance / Evolution / Refactoring / Review
The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing.
Qihong Chen, Rúben Câmara, José Campos 0001, André Souto, Iftekhar Ahmed 0001
ICSE2023Human / Empirical / Socio-technical
The Road Toward Dependable AI Based Systems.
Paolo Tonella
ICSE2023AI / LLM for SE
Testing Database Systems via Differential Query Execution.
Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang 0049
ICSE2023Testing / QA
Testing Database Engines via Query Plan Guidance.
Jinsheng Ba, Manuel Rigger
ICSE2023Testing / QA
Testability Refactoring in Pull Requests: Patterns and Trends.
Pavel Reich, Walid Maalej
ICSE2023Testing / QA; Maintenance / Evolution / Refactoring / Review
Test Selection for Unified Regression Testing.
Shuai Wang 0035, Xinyu Lian, Darko Marinov, Tianyin Xu
ICSE2023Testing / QA; DevOps / CI / Build / Release
Template-based Neural Program Repair.
Xiangxin Meng, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001
ICSE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Tare: Type-Aware Neural Program Repair.
Qihao Zhu, Zeyu Sun 0004, Wenjie Zhang 0007, Yingfei Xiong 0001, Lu Zhang 0023
ICSE2023AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Taintmini: Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis.
Chao Wang 0113, Ronny Ko, Yue Zhang 0025, Yuqing Yang 0003, Zhiqiang Lin 0001
ICSE2023Security / Privacy / Vulnerability
Syntax and Domain Aware Model for Unsupervised Program Translation.
Fang Liu 0032, Jia Li 0012, Li Zhang 0029
ICSE2023Other
Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering.
Sean McGuire, Erin Schultz, Bimpe Ayoola, Paul Ralph
ICSE2023Other
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation.
Alessio Ferrari 0001, Paola Spoletini
ICSE2023Requirements / Modeling / Architecture; Mobile / Web / GUI / Android
Source Code Recommender Systems: The Practitioners' Perspective.
Matteo Ciniselli, Luca Pascarella, Emad Aghajani, Simone Scalabrino, Rocco Oliveto
ICSE2023Other
Software Engineering as the Linchpin of Responsible AI.
Liming Zhu 0001
ICSE2023Other
Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront.
Alina Mailach, Norbert Siegmund
ICSE2023DevOps / CI / Build / Release
Smartmark: Software Watermarking Scheme for Smart Contracts.
Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, Hyoungshick Kim
ICSE2023Other
SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk.
Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone
ICSE2023Other
SkCoder: A Sketch-based Approach for Automatic Code Generation.
Jia Li 0011, Yongmin Li, Ge Li 0001, Zhi Jin 0001, Yiyang Hao
ICSE2023Other
Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation.
Jiamou Sun, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001, Liming Zhu 0001
ICSE2023Other
Sibyl: Improving Software Engineering Tools with SMT Selection.
Will Leeson, Matthew B. Dwyer, Antonio Filieri
ICSE2023Other
Semi-Automatic, Inline and Collaborative Web Page Code Curations.
Roy Rutishauser, André A. Meyer, Reid Holmes, Thomas Fritz 0001
ICSE2023Mobile / Web / GUI / Android
SemParser: A Semantic Parser for Log Analytics.
Yintong Huo, Yuxin Su 0001, Cheryl Lee, Michael R. Lyu
ICSE2023Other
SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics.
Dehai Zhao, Zhenchang Xing, Xin Xia 0001, Deheng Ye, Xiwei Xu 0001
ICSE2023Mobile / Web / GUI / Android
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript.
Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
ICSE2023Security / Privacy / Vulnerability
Safe Low-Level Code Without Overhead is Practical.
Solal Pirelli, George Candea
ICSE2023Other
Rules of Engagement: Why and How Companies Participate in OSS.
Mariam Guizani, Aileen Abril Castro-Guzman, Anita Sarma, Igor Steinmacher
ICSE2023Other
Robustification of Behavioral Designs against Environmental Deviations.
Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan
ICSE2023Other
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion.
Yuanyuan Yuan 0001, Qi Pang, Shuai Wang 0011
ICSE2023Testing / QA
Revisiting Learning-based Commit Message Generation.
Jinhao Dong, Yiling Lou, Dan Hao 0001, Lin Tan 0001
ICSE2023AI / LLM for SE; DevOps / CI / Build / Release
Reusing Deep Neural Network Models through Model Re-engineering.
Binhang Qi, Hailong Sun 0001, Xiang Gao 0012, Hongyu Zhang 0002, Zhaotian Li
ICSE2023AI / LLM for SE
Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning.
Noor Nashid, Mifta Sintaha, Ali Mesbah 0001
ICSE2023Other
Rete: Learning Namespace Representation for Program Repair.
Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis.
Sahar Badihi, Khaled Ahmed 0004, Yi Li 0008, Julia Rubin
ICSE2023Testing / QA; Program Analysis / Verification / Formal Methods
RepresentThemAll: A Universal Learning Representation of Bug Reports.
Sen Fang, Tao Zhang 0001, Youshuai Tan, He Jiang 0001, Xin Xia 0001
ICSE2023Other
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects.
Linyi Li 0001, Yuhao Zhang 0005, Luyao Ren, Yingfei Xiong 0001, Tao Xie 0001
ICSE2023AI / LLM for SE; Performance / Energy / Reliability
Regression Fuzzing for Deep Learning Systems.
Hanmo You, Zan Wang, Junjie Chen 0003, Shuang Liu 0007, Shuochuan Li
ICSE2023Testing / QA; AI / LLM for SE
Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Models.
Toufique Ahmed, Supriyo Ghosh, Chetan Bansal, Thomas Zimmermann 0001, Xuchao Zhang
ICSE2023Cloud / Microservices / Distributed Systems
Read It, Don't Watch It: Captioning Bug Recordings Automatically.
Sidong Feng, Mulong Xie, Yinxing Xue, Chunyang Chen 0001
ICSE2023Other
Reachable Coverage: Estimating Saturation in Fuzzing.
Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp
ICSE2023Testing / QA
RAT: A Refactoring-Aware Traceability Model for Bug Localization.
Feifei Niu, Wesley K. G. Assunção, LiGuo Huang, Christoph Mayr-Dorn, Jidong Ge
ICSE2023Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
Predicting Bugs by Monitoring Developers During Task Execution.
Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto
ICSE2023Human / Empirical / Socio-technical
Practical and Efficient Model Extraction of Sentiment Analysis APIs.
Weibin Wu 0002, Jianping Zhang 0002, Victor Junqiu Wei, Xixian Chen, Zibin Zheng
ICSE2023Other
PYEVOLVE: Automating Frequent Code Changes in Python ML Systems.
Malinda Dilhara, Danny Dig, Ameya Ketkar
ICSE2023Maintenance / Evolution / Refactoring / Review
PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps.
Zeya Tan, Wei Song 0003
ICSE2023Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
PILAR: Studying and Mitigating the Influence of Configurations on Log Parsing.
Hetong Dai, Yiming Tang 0002, Heng Li 0007, Weiyi Shang
ICSE2023DevOps / CI / Build / Release
PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports.
Sunzhou Huang, Xiaoyin Wang
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers.
Suyue Guo, Xinyu Wan, Wei You 0001, Bin Liang 0002, Wenchang Shi
ICSE2023Testing / QA
One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization.
Deze Wang, Boxing Chen, Shanshan Li 0001, Wei Luo, Shaoliang Peng
ICSE2023Other
On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks.
Viktoria Koscinski, Sara Hashemi, Mehdi Mirakhorli
ICSE2023AI / LLM for SE; Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
On the Temporal Relations between Logging and Code.
Zishuo Ding, Yiming Tang 0002, Yang Li, Heng Li 0007, Weiyi Shang
ICSE2023Other
On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study.
Likang Yin, Xiyu Zhang 0002, Vladimir Filkov
ICSE2023Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot.
Antonio Mastropaolo, Luca Pascarella, Emanuela Guglielmi, Matteo Ciniselli, Simone Scalabrino
ICSE2023Human / Empirical / Socio-technical
On the Reproducibility of Software Defect Datasets.
Hao-Nan Zhu, Cindy Rubio-González
ICSE2023Other
On the Applicability of Language Models to Block-Based Programs.
Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser 0001, René Just
ICSE2023Other
On Privacy Weaknesses and Vulnerabilities in Software Systems.
Pattaraporn Sangaroonsilp, Hoa Khanh Dam, Aditya Ghose
ICSE2023Security / Privacy / Vulnerability
OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions.
Jiahui Wu, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu 0001
ICSE2023Other
Moving on from the Software Engineers' Gambit: An Approach to Support the Defense of Software Effort Estimates.
Patrícia G. F. Matsubara, Igor Steinmacher, Bruno Gadelha, Tayana Conte
ICSE2023Other
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform.
Matteo Paltenghi, Michael Pradel
ICSE2023Testing / QA
MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems.
Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen
ICSE2023Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems
Metamorphic Shader Fusion for Testing Graphics Shader Compilers.
Dongwei Xiao, Zhibo Liu, Shuai Wang 0011
ICSE2023Testing / QA
Message from the ICSE 2023 Program Co-Chairs.
Lori L. Pollock, Massimiliano Di Penta
ICSE2023Other
Measuring and Mitigating Gaps in Structural Testing.
Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong
ICSE2023Testing / QA
Measuring Secure Coding Practice and Culture: A Finger Pointing at the Moon is not the Moon.
Ita Ryan, Utz Roedig, Klaas-Jan Stol
ICSE2023Other
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems.
Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand
ICSE2023Testing / QA
MTTM: Metamorphic Testing for Textual Content Moderation Software.
Wenxuan Wang 0001, Jen-tse Huang 0001, Weibin Wu 0002, Jianping Zhang 0002, Yizhan Huang
ICSE2023Testing / QA
LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly.
Guangba Yu, Pengfei Chen 0002, Pairui Li, Tianjun Weng, Haibing Zheng
ICSE2023Other
Log Parsing with Prompt-based Few-shot Learning.
Van-Hoang Le, Hongyu Zhang 0002
ICSE2023Other
Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set.
Jiwei Yan, Miaomiao Wang, Yepang Liu 0001, Jun Yan 0009, Long Zhang
ICSE2023Other
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective.
Zenan Li, Maorun Zhang, Jingwei Xu 0001, Yuan Yao 0001, Chun Cao
ICSE2023Testing / QA
Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models.
Jiri Gesi, Xinyun Shen, Yunfan Geng, Qihong Chen, Iftekhar Ahmed 0001
ICSE2023AI / LLM for SE
Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX.
Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li
ICSE2023Other
Learning to Boost Disjunctive Static Bug-Finders.
Yoonseok Ko, Hakjoo Oh
ICSE2023Other
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing.
Myungho Lee, Sooyoung Cha, Hakjoo Oh
ICSE2023Testing / QA
Learning Graph-based Code Representations for Source-level Functional Similarity Detection.
Jiahao Liu 0005, Jun Zeng 0006, Xiang Wang 0010, Zhenkai Liang
ICSE2023Other
Learning Deep Semantics for Test Completion.
Pengyu Nie 0001, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric 0001
ICSE2023Testing / QA
Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction.
Sungmin Kang, Juyeon Yoon, Shin Yoo
ICSE2023Testing / QA; AI / LLM for SE
Keyword Extraction From Specification Documents for Planning Security Mechanisms.
Jeffy Jahfar Poozhithara, Hazeline U. Asuncion, Brent Lagesse
ICSE2023Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability
Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models.
Shuzheng Gao, Hongyu Zhang 0002, Cuiyun Gao 0001, Chaozheng Wang
ICSE2023Other
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair.
Nan Jiang 0012, Thibaud Lutellier, Yiling Lou, Lin Tan 0001, Dan Goldwasser
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers.
Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen 0003, Yuqun Zhang
ICSE2023Testing / QA
Is It Enough to Recommend Tasks to Newcomers? Understanding Mentoring on Good First Issues.
Xin Tan 0003, Yiran Chen 0005, Haohua Wu, Minghui Zhou 0001, Li Zhang 0029
ICSE2023Other
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks.
Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan, Saeid Tizpaz-Niari
ICSE2023Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Incident-aware Duplicate Ticket Aggregation for Cloud Systems.
Jinyang Liu 0002, Shilin He, Zhuangbin Chen, Liqun Li, Yu Kang 0006
ICSE2023Cloud / Microservices / Distributed Systems
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation.
Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu 0001, Lili Bo, Bin Li 0006
ICSE2023Other
Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods.
Daye Nam, Brad A. Myers, Bogdan Vasilescu, Vincent J. Hellendoorn
ICSE2023Human / Empirical / Socio-technical
Impact of Code Language Models on Automated Program Repair.
Nan Jiang 0012, Kevin Liu, Thibaud Lutellier, Lin Tan 0001
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Identifying Key Classes for Initial Software Comprehension: Can We Do It Better?
Weifeng Pan 0001, Xin Du, Ming Hua 0003, Dae-Kyoo Kim, Zijiang Yang 0006
ICSE2023Education / Program Comprehension
How Do We Read Formal Claims? Eye-Tracking and the Cognition of Proofs about Algorithms.
Hammad Ahmad, Zachary Karas, Kimberly Diaz, Amir Kamil, Jean-Baptiste Jeannin
ICSE2023Program Analysis / Verification / Formal Methods
How Do Developers' Profiles and Experiences Influence their Logging Practices? An Empirical Study of Industrial Practitioners.
Guoping Rong, Shenghui Gu, Haifeng Shen, He Zhang 0001, Hongyu Kuang
ICSE2023Human / Empirical / Socio-technical
Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention.
Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Yongqiang Yang
ICSE2023Other
Generating Test Databases for Database-Backed Applications.
Cong Yan, Suman Nath, Shan Lu 0001
ICSE2023Testing / QA
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems.
Garrett Christian, Trey Woodlief, Sebastian G. Elbaum
ICSE2023Testing / QA; Human / Empirical / Socio-technical
GameRTS: A Regression Testing Framework for Video Games.
Jiongchi Yu, Yuechen Wu, Xiaofei Xie, Wei Le, Lei Ma 0003
ICSE2023Testing / QA; DevOps / CI / Build / Release
Fuzzing Automatic Differentiation in Deep-Learning Libraries.
Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li
ICSE2023Testing / QA
Future Software for Life in Trusted Futures.
Sarah Pink
ICSE2023Other
From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers.
Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson
ICSE2023Other
Fonte: Finding Bug Inducing Commits from Failures.
Gabin An, Jingun Hong, Naryeong Kim, Shin Yoo
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Flexible and Optimal Dependency Management via Max-SMT.
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001, Massimiliano Culpo
ICSE2023Other
Fine-grained Commit-level Vulnerability Type Prediction by CWE Tree Structure.
Shengyi Pan, Lingfeng Bao, Xin Xia 0001, David Lo 0001, Shanping Li
ICSE2023Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Finding Causally Different Tests for an Industrial Control System.
Christopher M. Poskitt, Yuqi Chen 0001, Jun Sun 0001, Yu Jiang 0001
ICSE2023Testing / QA
Fill in the Blank: Context-aware Automated Text Input Generation for Mobile GUI Testing.
Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Xing Che, Yuekai Huang
ICSE2023Testing / QA; Mobile / Web / GUI / Android
FedSlice: Protecting Federated Learning Models from Malicious Participants with Model Slicing.
Ziqi Zhang, Yuanchun Li 0003, Bingyan Liu, Yifeng Cai, Ding Li 0001
ICSE2023Program Analysis / Verification / Formal Methods
FedDebug: Systematic Debugging for Federated Learning Applications.
Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence.
Zejun Zhang 0006, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001, Liming Zhu 0001
ICSE2023Human / Empirical / Socio-technical; Performance / Energy / Reliability
Fairify: Fairness Verification of Neural Networks.
Sumon Biswas, Hridesh Rajan
ICSE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation.
Parvez Mahbub, Ohiduzzaman Shuvo, Mohammad Masudur Rahman 0001
ICSE2023AI / LLM for SE
Ex pede Herculem: Augmenting Activity Transition Graph for Apps via Graph Convolution Network.
Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Yuhui Su, Yuekai Huang
ICSE2023Mobile / Web / GUI / Android
Evidence Profiles for Validity Threats in Program Comprehension Experiments.
Marvin Muñoz Barón, Marvin Wyrich, Daniel Graziotin, Stefan Wagner 0001
ICSE2023Education / Program Comprehension
Evaluating the Impact of Experimental Assumptions in Automated Fault Localization.
Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Evaluating and Improving Hybrid Fuzzing.
Ling Jiang, Hengchen Yuan, Mingyuan Wu, Lingming Zhang 0001, Yuqun Zhang
ICSE2023Testing / QA
Enhancing Deep Learning-based Vulnerability Detection by Building Behavior Graph Model.
Bin Yuan, Yifan Lu, Yilin Fang, Yueming Wu 0001, Deqing Zou
ICSE2023AI / LLM for SE; DevOps / CI / Build / Release
Efficiency Matters: Speeding Up Automated Testing with GUI Rendering Inference.
Sidong Feng, Mulong Xie, Chunyang Chen 0001
ICSE2023Testing / QA; Mobile / Web / GUI / Android; Performance / Energy / Reliability
Eadro: An End-to-End Troubleshooting Framework for Microservices on Multi-source Data.
Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Michael R. Lyu
ICSE2023Other
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.
Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei
ICSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Duetcs: Code Style Transfer through Generation and Retrieval.
Binger Chen, Ziawasch Abedjan
ICSE2023Other
Doppelgänger Test Generation for Revealing Bugs in Autonomous Driving Software.
Yuqi Huai, Yuntianyi Chen, Sumaya Almanee, Tuan Ngo, Xiang Liao
ICSE2023Testing / QA
Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers.
Jan Reichl, Stefan Hanenberg, Volker Gruhn
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Does data sampling improve deep learning-based vulnerability detection? Yeas! and Nays!
Xu Yang, Shaowei Wang 0002, Yi Li 0048, Shaohua Wang 0002
ICSE2023AI / LLM for SE
Do code refactorings influence the merge effort?
André Oliveira, Vânia Neves, Alexandre Plastino 0001, Ana Carla Bibiano, Alessandro F. Garcia 0001
ICSE2023Other
Do I Belong? Modeling Sense of Virtual Community Among Linux Kernel Contributors.
Bianca Trinkenreich, Klaas-Jan Stol, Anita Sarma, Daniel M. Germán, Marco Aurélio Gerosa
ICSE2023Requirements / Modeling / Architecture
Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.
Jongwook Kim, Sunbeom So, Hakjoo Oh
ICSE2023Testing / QA
Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction.
Zhenhao Li 0002, Chuan Luo 0002, Tse-Hsun Chen, Weiyi Shang, Shilin He
ICSE2023Other
Developers' Visuo-spatial Mental Model and Program Comprehension.
Abir Bouraffa, Gian-Luca Fuhrmann, Walid Maalej
ICSE2023Human / Empirical / Socio-technical; Education / Program Comprehension
Developer-Intent Driven Code Comment Generation.
Fangwen Mu, Xiao Chen 0015, Lin Shi 0006, Song Wang 0009, Qing Wang 0001
ICSE2023Human / Empirical / Socio-technical
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces.
Haoxiang Jia, Ming Wen 0001, Zifan Xie, Xiaochen Guo, Rongxin Wu
ICSE2023Other
Detecting Isolation Bugs via Transaction Oracle Construction.
Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang 0048
ICSE2023Testing / QA
Detecting Exception Handling Bugs in C++ Programs.
Hao Zhang 0008, Ji Luo, Mengze Hu, Jun Yan 0009, Jian Zhang 0001
ICSE2023Other
Detecting Dialog-Related Keyboard Navigation Failures in Web Applications.
Paul T. Chiou, Ali S. Alotaibi, William G. J. Halfond
ICSE2023Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Dependency Facade: The Coupling and Conflicts between Android Framework and Its Customization.
Wuxia Jin, Yitong Dai, Jianguo Zheng, Yu Qu, Ming Fan 0002
ICSE2023Mobile / Web / GUI / Android
Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps.
Kaifa Zhao, Xian Zhan, Le Yu 0002, Shiyao Zhou, Hao Zhou 0043
ICSE2023Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Demystifying Issues, Challenges, and Solutions for Multilingual Software Development.
Haoran Yang 0002, Weile Lian, Shaowei Wang 0002, Haipeng Cai
ICSE2023Other
Demystifying Exploitable Bugs in Smart Contracts.
Zhuo Zhang 0002, Brian Zhang, Wen Xu, Zhiqiang Lin 0001
ICSE2023Other
DeepVD: Toward Class-Separation Features for Neural Network Vulnerability Detection.
Wenbo Wang, Tien N. Nguyen, Shaohua Wang 0002, Yi Li 0048, Jiyuan Zhang
ICSE2023AI / LLM for SE
DeepArc: Modularizing Neural Networks for the Model Maintenance.
Xiaoning Ren, Yun Lin 0001, Yinxing Xue, Ruofan Liu, Jun Sun 0001
ICSE2023AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement.
Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz
ICSE2023AI / LLM for SE
Data-driven Recurrent Set Learning For Non-termination Analysis.
Zhilei Han, Fei He 0001
ICSE2023Other
Data Quality for Software Vulnerability Datasets.
Roland Croft, Muhammad Ali Babar 0001, M. Mehdi Kholoosi
ICSE2023Other
Data Quality Matters: A Case Study of Obsolete Comment Detection.
Shengbin Xu, Yuan Yao 0001, Feng Xu 0007, Tianxiao Gu, Jingwei Xu 0001
ICSE2023Human / Empirical / Socio-technical
DStream: A Streaming-Based Highly Parallel IFDS Framework.
Xizao Wang, Zhiqiang Zuo 0002, Lei Bu, Jianhua Zhao
ICSE2023Other
DLInfer: Deep Learning with Static Slicing for Python Type Inference.
Yanyan Yan, Yang Feng 0003, Hongcheng Fan, Baowen Xu
ICSE2023AI / LLM for SE; Program Analysis / Verification / Formal Methods
CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code Models.
Changan Niu, Chuanyi Li, Vincent Ng 0001, Bin Luo 0003
ICSE2023Other
Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation.
Zhiyuan Chang, Mingyang Li 0005, Qing Wang 0001, Shoubin Li, Junjie Wang 0001
ICSE2023Requirements / Modeling / Architecture
Coverage Guided Fault Injection for Cloud Systems.
Yu Gao 0002, Wensheng Dou, Dong Wang 0048, Wenhan Feng, Jun Wei 0001
ICSE2023Testing / QA; Cloud / Microservices / Distributed Systems
ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning.
Shangqing Liu, Bozhi Wu, Xiaofei Xie, Guozhu Meng, Yang Liu 0003
ICSE2023Other
Context-aware Bug Reproduction for Mobile Apps.
Yuchao Huang, Junjie Wang 0001, Zhe Liu 0025, Song Wang 0009, Chunyang Chen 0001
ICSE2023Mobile / Web / GUI / Android
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs.
Jaemin Hong, Sukyoung Ryu
ICSE2023Other
Compiling Parallel Symbolic Execution with Continuations.
Guannan Wei 0001, Songlin Jia, Ruiqi Gao, Haotian Deng 0001, Shangyin Tan
ICSE2023Program Analysis / Verification / Formal Methods
Compiler Test-Program Generation via Memoized Configuration Search.
Junjie Chen 0003, Chenyao Suo, Jiajun Jiang, Peiqi Chen, Xingjian Li 0007
ICSE2023Testing / QA; DevOps / CI / Build / Release
Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects.
Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen 0001, Lingling Fan 0003
ICSE2023Other
Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis.
Sen Yang, Sen Chen 0001, Lingling Fan 0003, Sihan Xu, Zhanwei Hui
ICSE2023Mobile / Web / GUI / Android
Comparison and Evaluation of Clone Detection Techniques with Different Code Representations.
Yuekun Wang, Yuhang Ye 0004, Yueming Wu 0001, Weiwei Zhang, Yinxing Xue
ICSE2023Maintenance / Evolution / Refactoring / Review
Commit Message Matters: Investigating Impact and Evolution of Commit Message Quality.
Jiawei Li 0013, Iftekhar Ahmed 0001
ICSE2023DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
Columbus: Android App Testing Through Systematic Callback Exploration.
Priyanka Bose, Dipanjan Das 0002, Saastha Vasan, Sebastiano Mariani, Ilya Grishchenko
ICSE2023Testing / QA; Mobile / Web / GUI / Android
Code Review of Build System Specifications: Prevalence, Purposes, Patterns, and Perceptions.
Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh
ICSE2023DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen 0001
ICSE2023Testing / QA
CoLeFunDa: Explainable Silent Vulnerability Fix Identification.
Jiayuan Zhou, Michael Pacheco, Jinfu Chen 0002, Xing Hu 0008, Xin Xia 0001
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
CoCoSoDa: Effective Contrastive Learning for Code Search.
Ensheng Shi, Yanlin Wang 0001, Wenchao Gu, Lun Du, Hongyu Zhang 0002
ICSE2023Other
Carving UI Tests to Generate API Tests and API Specification.
Rahulkrishna Yandrapally, Saurabh Sinha 0003, Rachel Tzoref-Brill, Ali Mesbah 0001
ICSE2023Testing / QA; Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports.
Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao
ICSE2023Other
CCTEST: Testing and Repairing Code Completion Systems.
Zongjie Li, Chaozheng Wang, Zhibo Liu, Haoxuan Wang, Dong Chen
ICSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back.
Zhongxin Liu 0002, Zhijie Tang, Xin Xia 0001, Xiaohu Yang 0001
ICSE2023AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
CC: Causality-Aware Coverage Criterion for Deep Neural Networks.
Zhenlan Ji, Pingchuan Ma 0004, Yuanyuan Yuan 0001, Shuai Wang 0011
ICSE2023Testing / QA; AI / LLM for SE
Better Automatic Program Repair by Using Bug Reports and Tests Together.
Manish Motwani, Yuriy Brun
ICSE2023Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests.
Chunqiu Steven Xia, Saikat Dutta 0001, Sasa Misailovic, Darko Marinov, Lingming Zhang 0001
ICSE2023Testing / QA; AI / LLM for SE
Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing.
Dezhi Ran, Hao Wang 0112, Wenyu Wang, Tao Xie 0001
ICSE2023Testing / QA; Mobile / Web / GUI / Android
Bad Snakes: Understanding and Improving Python Package Index Malware Scanning.
Duc-Ly Vu, Zachary Newman, John Speed Meyers
ICSE2023Security / Privacy / Vulnerability
BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts.
Peilin Zheng, Xiapu Luo, Zibin Zheng
ICSE2023Other
BFTDETECTOR: Automatic Detection of Business Flow Tampering for Digital Content Service.
I Luk Kim, Weihang Wang 0001, Yonghwi Kwon 0001, Xiangyu Zhang 0001
ICSE2023Other
Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots.
Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst
ICSE2023Human / Empirical / Socio-technical
Automating Code-Related Tasks Through Transformers: The Impact of Pre-training.
Rosalia Tufano, Luca Pascarella, Gabriele Bavota
ICSE2023Other
Automated Summarization of Stack Overflow Posts.
Bonan Kou, Muhao Chen 0001, Tianyi Zhang 0001
ICSE2023Other
Automated Repair of Programs from Large Language Models.
Zhiyu Fan, Xiang Gao 0012, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Automated Program Repair in the Era of Large Pre-trained Language Models.
Chunqiu Steven Xia, Yuxiang Wei 0003, Lingming Zhang 0001
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs.
Davide Corradini, Michele Pasqua, Mariano Ceccato
ICSE2023Testing / QA
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation.
Qiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis
ICSE2023Testing / QA; AI / LLM for SE
Analysing the Impact of Workloads on Modeling the Performance of Configurable Software Systems.
Stefan Mühlbauer, Florian Sattler, Christian Kaltenecker, Johannes Dorn, Sven Apel
ICSE2023Requirements / Modeling / Architecture; Performance / Energy / Reliability
An Empirical Study on Software Bill of Materials: Where We Stand and the Road Ahead.
Boming Xia, Tingting Bi, Zhenchang Xing, Qinghua Lu 0001, Liming Zhu 0001
ICSE2023Human / Empirical / Socio-technical
An Empirical Study of Pre-Trained Model Reuse in the Hugging Face Deep Learning Model Registry.
Wenxin Jiang 0001, Nicholas Synovic, Matt Hyatt, Taylor R. Schorlemmer, Rohan Sethi
ICSE2023AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Study of Deep Learning Models for Vulnerability Detection.
Benjamin Steenhoek, Md Mahbubur Rahman, Richard Jiles, Wei Le
ICSE2023AI / LLM for SE; Human / Empirical / Socio-technical
An Empirical Comparison of Pre-Trained Models of Source Code.
Changan Niu, Chuanyi Li, Vincent Ng 0001, Dongxiao Chen, Jidong Ge
ICSE2023Human / Empirical / Socio-technical
AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces.
S. M. Hasan Mansur 0001, Sabiha Salma, Damilola Awofisayo, Kevin Moran
ICSE2023Other
Adhere: Automated Detection and Repair of Intrusive Ads.
Yutian Yan, Yunhui Zheng, Xinyue Liu 0005, Nenad Medvidovic, Weihang Wang 0001
ICSE2023Debugging / Fault Localization / Diagnosis / Repair
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search.
Rongqi Pan, Taher Ahmed Ghaleb, Lionel C. Briand
ICSE2023Testing / QA
APICAD: Augmenting API Misuse Detection through Specifications from Code and Documents.
Xiaoke Wang, Lei Zhao 0012
ICSE2023Other
AI-based Question Answering Assistance for Analyzing Natural-language Requirements.
Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh
ICSE2023AI / LLM for SE; Requirements / Modeling / Architecture
AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities.
Asem Ghaleb, Julia Rubin, Karthik Pattabiraman
ICSE2023Security / Privacy / Vulnerability
A Qualitative Study on the Implementation Design Decisions of Developers.
Jenny T. Liang, Maryam Arab, Minhyuk Ko, Amy J. Ko, Thomas D. LaToza
ICSE2023Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization.
Hao Guan 0001, Ying Xiao, Jiaying Li 0001, Yepang Liu 0001, Guangdong Bai
ICSE2023AI / LLM for SE; Human / Empirical / Socio-technical; Performance / Energy / Reliability
(Partial) Program Dependence Learning.
Aashish Yadavally, Tien N. Nguyen, Wenbo Wang, Shaohua Wang 0002
ICSE2023Other
"STILL AROUND": Experiences and Survival Strategies of Veteran Women Software Developers.
Sterre van Breukelen, Ann Barcomb, Sebastian Baltes, Alexander Serebrenik
ICSE2023Human / Empirical / Socio-technical
Windranger: A Directed Greybox Fuzzer driven by Deviation Basic Blocks.
Zhengjie Du, Yuekang Li, Yang Liu 0003, Bing Mao 0001
ICSE2022Testing / QA
Where is Your App Frustrating Users?
Yawen Wang, Junjie Wang 0001, Hongyu Zhang 0002, Xuran Ming, Lin Shi 0006
ICSE2022Mobile / Web / GUI / Android
What the Fork? Finding Hidden Code Clones in npm.
Elizabeth Wyss, Lorenzo De Carli, Drew Davidson
ICSE2022Other
What Makes a Good Commit Message?
Yingchen Tian, Yuxia Zhang, Klaas-Jan Stol, Lin Jiang, Hui Liu 0003
ICSE2022DevOps / CI / Build / Release
What Makes Effective Leadership in Agile Software Development Teams?
Lucas Gren, Paul Ralph
ICSE2022Other
What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code.
Yao Wan 0001, Wei Zhao 0064, Hongyu Zhang 0002, Yulei Sui, Guandong Xu
ICSE2022Other
VulCNN: An Image-inspired Scalable Vulnerability Detection System.
Yueming Wu 0001, Deqing Zou, Shihan Dou, Wei Yang 0013, Duo Xu
ICSE2022Other
Verification of ORM-based Controllers by Summary Inference.
Geetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil, Nilesh Kharat
ICSE2022Program Analysis / Verification / Formal Methods
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning.
Qibin Chen, Jeremy Lacomis, Edward J. Schwartz, Graham Neubig, Bogdan Vasilescu
ICSE2022Other
V-SZZ: Automatic Identification of Version Ranges Affected by CVE Vulnerabilities.
Lingfeng Bao, Xin Xia 0001, Ahmed E. Hassan, Xiaohu Yang 0001
ICSE2022Other
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts.
Péter Garamvölgyi, Yuxi Liu, Dong Zhou 0006, Fan Long, Ming Wu 0007
ICSE2022Other
Using Reinforcement Learning for Load Testing of Video Games.
Rosalia Tufano, Simone Scalabrino, Luca Pascarella, Emad Aghajani, Rocco Oliveto
ICSE2022Testing / QA
Using Pre-Trained Models to Boost Code Review Automation.
Rosalia Tufano, Simone Masiero, Antonio Mastropaolo, Luca Pascarella, Denys Poshyvanyk
ICSE2022Maintenance / Evolution / Refactoring / Review
Using Deep Learning to Generate Complete Log Statements.
Antonio Mastropaolo, Luca Pascarella, Gabriele Bavota
ICSE2022AI / LLM for SE
Use of Test Doubles in Android Testing: An In-Depth Investigation.
Mattia Fazzini, Chase Choi, Juan Manuel Copia, Gabriel Lee, Yoshiki Kakehi
ICSE2022Testing / QA; Mobile / Web / GUI / Android
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings.
Zongjie Li, Pingchuan Ma 0004, Huaijin Wang 0001, Shuai Wang 0011, Qiyi Tang 0003
ICSE2022AI / LLM for SE
Type4Py: Practical Deep Similarity Learning-Based Type Inference for Python.
Amir M. Mir, Evaldas Latoskinas, Sebastian Proksch 0001, Georgios Gousios
ICSE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods
Trust Enhancement Issues in Program Repair.
Yannic Noller, Ridwan Shariffdeen, Xiang Gao 0012, Abhik Roychoudhury
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
Training Data Debugging for the Fairness of Machine Learning Software.
Yanhui Li, Linghan Meng, Lin Chen 0015, Li Yu 0008, Di Wu 0014
ICSE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Towards language-independent Brown Build Detection.
Doriane Olewicki, Mathieu Nayrolles, Bram Adams
ICSE2022DevOps / CI / Build / Release
Towards Training Reproducible Deep Learning Models.
Boyuan Chen 0002, Mingzhi Wen, Yong Shi 0010, Dayi Lin, Gopi Krishnan Rajbahadur
ICSE2022AI / LLM for SE
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning.
Renjue Li, Pengfei Yang 0002, Cheng-Chao Huang, Youcheng Sun, Bai Xue 0001
ICSE2022Other
Towards Boosting Patch Execution On-the-Fly.
Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li 0009
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
Towards Bidirectional Live Programming for Incomplete Programs.
Xing Zhang, Zhenjiang Hu 0002
ICSE2022Other
Towards Automatically Repairing Compatibility Issues in Published Android Apps.
Yanjie Zhao 0001, Li Li 0029, Kui Liu 0001, John C. Grundy
ICSE2022Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
The Extent of Orphan Vulnerabilities from Code Reuse in Open Source Software.
David Reid, Mahmoud Jahanshahi, Audris Mockus
ICSE2022Human / Empirical / Socio-technical
The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large.
Sumon Biswas, Mohammad Wardat, Hridesh Rajan
ICSE2022Human / Empirical / Socio-technical
Testing Time Limits in Screener Questions for Online Surveys with Programmers.
Anastasia Danilova, Stefan Horstmann, Matthew Smith 0001, Alena Naiakshina
ICSE2022Testing / QA
TOGA: A Neural Method for Test Oracle Generation.
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
ICSE2022Testing / QA; AI / LLM for SE
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo
ICSE2022Other
Striking a Balance: Pruning False-Positives from Static Call Graphs.
Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg
ICSE2022Other
Static Stack-Preserving Intra-Procedural Slicing of WebAssembly Binaries.
Quentin Stiévenart, David W. Binkley, Coen De Roover
ICSE2022Program Analysis / Verification / Formal Methods
Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python.
Yun Peng 0003, Cuiyun Gao 0001, Zongjie Li, Bowei Gao, David Lo 0001
ICSE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods
Social Science Theories in Software Engineering Research.
Tobias Lorey, Paul Ralph, Michael Felderer
ICSE2022Other
SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets.
Yiwen Dong 0002, Tianxiao Gu, Yongqiang Tian 0001, Chengnian Sun
ICSE2022Program Analysis / Verification / Formal Methods
ShellFusion: Answer Generation for Shell Programming Tasks via Knowledge Fusion.
Neng Zhang 0001, Chao Liu 0014, Xin Xia 0001, Christoph Treude, Ying Zou 0001
ICSE2022Other
Semantic Image Fuzzing of AI Perception Systems.
Trey Woodlief, Sebastian G. Elbaum, Kevin Sullivan
ICSE2022Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical
Search-based Diverse Sampling from Real-world Software Product Lines.
Yi Xiang 0002, Han Huang 0002, Yuren Zhou, Sizhe Li, Chuan Luo 0002
ICSE2022Other
SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.
Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh
ICSE2022Program Analysis / Verification / Formal Methods
SPT-Code: Sequence-to-Sequence Pre-Training for Learning Source Code Representations.
Changan Niu, Chuanyi Li, Vincent Ng 0001, Jidong Ge, Liguo Huang
ICSE2022Other
SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions.
Ripon K. Saha, Akira Ura, Sonal Mahajan, Chenguang Zhu 0002, Linyi Li 0001
ICSE2022AI / LLM for SE; Human / Empirical / Socio-technical
Rotten Apples Spoil the Bunch: An Anatomy of Google Play Malware.
Michael Cao, Khaled Ahmed 0004, Julia Rubin
ICSE2022Security / Privacy / Vulnerability
RoPGen: Towards Robust Code Authorship Attribution via Automatic Coding Style Transformation.
Zhen Li 0027, Qian (Guenevere) Chen, Chen Chen 0001, Yayi Zou, Shouhuai Xu
ICSE2022Performance / Energy / Reliability
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.
Juan Manuel Florez, Jonathan Perry 0004, Shiyi Wei, Andrian Marcus
ICSE2022Other
Repairing Order-Dependent Flaky Tests via Test Generation.
Chengpeng Li 0002, Chenguang Zhu 0002, Wenxi Wang, August Shi
ICSE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition.
Cailin Winston, Caleb Winston, Chloe N. Winston, Claris Winston, Cleah Winston
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
Recommending Good First Issues in GitHub OSS Projects.
Wenxin Xiao, Hao He 0012, Weiwei Xu 0001, Xin Tan 0003, Jinhao Dong
ICSE2022Human / Empirical / Socio-technical
ReMoS: Reducing Defect Inheritance in Transfer Learning via Relevant Model Slicing.
Ziqi Zhang, Yuanchun Li 0003, Jindong Wang 0001, Bingyan Liu, Ding Li 0001
ICSE2022Program Analysis / Verification / Formal Methods
REFTY: Refinement Types for Valid Deep Learning Models.
Yanjie Gao, Zhengxian Li, Haoxiang Lin, Hongyu Zhang 0002, Ming Wu 0007
ICSE2022AI / LLM for SE
R2Z2: Detecting Rendering Regressions in Web Browsers through Differential Fuzz Testing.
Suhwan Song, Jaewon Hur, Sunwoo Kim, Philip Rogers, Byoungyoung Lee
ICSE2022Testing / QA; Mobile / Web / GUI / Android
Quantifying Permissiveness of Access Control Policies.
William Eiers, Ganesh Sankaran, Albert Li, Emily O'Mahony, Benjamin Prince
ICSE2022Other
Push-Button Synthesis of Watch Companions for Android Apps.
Cong Li 0003, Yanyan Jiang 0001, Chang Xu 0001
ICSE2022Mobile / Web / GUI / Android
Prioritizing Mutants to Guide Mutation Testing.
Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann
ICSE2022Testing / QA
Preempting Flaky Tests via Non-Idempotent-Outcome Tests.
Anjiang Wei, Pu Yi 0001, Zhengxi Li, Tao Xie 0001, Darko Marinov
ICSE2022Testing / QA; DevOps / CI / Build / Release
Precise Divide-By-Zero Detection with Affirmative Evidence.
Yiyuan Guo, Jinguo Zhou, Peisen Yao, Qingkai Shi, Charles Zhang 0001
ICSE2022Other
Practitioners' Expectations on Automated Code Comment Generation.
Xing Hu 0008, Xin Xia 0001, David Lo 0001, Zhiyuan Wan, Qiuyuan Chen
ICSE2022Other
Practical Automated Detection of Malicious npm Packages.
Adriana Sejfia, Max Schäfer
ICSE2022Other
PerfSig: Extracting Performance Bug Signatures via Multi-modality Causal Analysis.
Jingzhu He, Yuhang Lin 0001, Xiaohui Gu, Chin-Chia Michael Yeh, Zhongfang Zhuang
ICSE2022Performance / Energy / Reliability
Path Transitions Tell More: Optimizing Fuzzing Schedules via Runtime Program States.
Kunpeng Zhang, Xi Xiao, Xiaogang Zhu 0001, Ruoxi Sun 0001, Minhui Xue 0001
ICSE2022Testing / QA
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis.
Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang 0001
ICSE2022Program Analysis / Verification / Formal Methods
PROPR: Property-Based Automatic Program Repair.
Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands 0001
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
PROMAL: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning.
Changlin Liu, Hanlin Wang, Tianming Liu 0002, Diandian Gu, Yun Ma 0002
ICSE2022AI / LLM for SE; Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements.
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
ICSE2022Other
Online Summarizing Alerts through Semantic and Behavior Information.
Jia Chen 0037, Peng Wang 0027, Wei Wang 0009
ICSE2022Other
One Fuzzing Strategy to Rule Them All.
Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yanwei Huang, Heming Cui
ICSE2022Testing / QA
On the Reliability of Coverage-Based Fuzzer Benchmarking.
Marcel Böhme, László Szekeres, Jonathan Metzman
ICSE2022Testing / QA; Performance / Energy / Reliability
On the Importance of Building High-quality Training Datasets for Neural Code Search.
Zhensu Sun, Li Li 0091, Yan Liu, Xiaoning Du 0001, Li Li 0029
ICSE2022AI / LLM for SE; DevOps / CI / Build / Release
On the Evaluation of Neural Code Summarization.
Ensheng Shi, Yanlin Wang 0001, Lun Du, Junjie Chen 0003, Shi Han
ICSE2022AI / LLM for SE
On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study.
Georges Aaron Randrianaina, Xhevahire Tërnava, Djamel Eddine Khelladi, Mathieu Acher
ICSE2022Human / Empirical / Socio-technical; DevOps / CI / Build / Release
On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support.
Miguel Velez, Pooyan Jamshidi, Norbert Siegmund, Sven Apel, Christian Kästner
ICSE2022Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; Performance / Energy / Reliability
OJXPERF: Featherlight Object Replica Detection for Java Programs.
Bolun Li, Hao Xu 0048, Qidong Zhao, Pengfei Su 0001, Milind Chabbi
ICSE2022Other
Nufix: Escape From NuGet Dependency Maze.
Zhenming Li, Ying Wang 0038, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou
ICSE2022Other
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification.
Haibin Zheng, Zhiqing Chen, Tianyu Du, Xuhong Zhang 0002, Yao Cheng 0002
ICSE2022Testing / QA
Neural Program Repair with Execution-based Backpropagation.
He Ye, Matias Martinez, Martin Monperrus
ICSE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks.
Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
ICSE2022Testing / QA
Natural Attack for Pre-trained Models of Code.
Zhou Yang 0003, Jieke Shi, Junda He, David Lo 0001
ICSE2022Security / Privacy / Vulnerability
Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks.
Jibesh Patra, Michael Pradel
ICSE2022Other
NPEX: Repairing Java Null Pointer Exceptions without Tests.
Junhee Lee, Seongjoon Hong, Hakjoo Oh
ICSE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Multilingual training for Software Engineering.
Toufique Ahmed, Premkumar T. Devanbu
ICSE2022Other
Multi-Intention-Aware Configuration Selection for Performance Tuning.
Haochen He, Zhouyang Jia, Shanshan Li 0001, Yue Yu 0001, Chenglong Zhou
ICSE2022DevOps / CI / Build / Release; Performance / Energy / Reliability
Muffin: Testing Deep Learning Libraries via Neural Architecture Fuzzing.
Jiazhen Gu, Xuchuan Luo, Yangfan Zhou 0002, Xin Wang 0002
ICSE2022Testing / QA; AI / LLM for SE; Requirements / Modeling / Architecture
Morest: Model-based RESTful API Testing with Execution Feedback.
Yi Liu 0069, Yuekang Li, Gelei Deng, Yang Liu 0003, Ruiyuan Wan
ICSE2022Testing / QA
Modeling Review History for Reviewer Recommendation: A Hypergraph Approach.
Guoping Rong, Yifan Zhang, Lanxin Yang, Fuli Zhang, Hongyu Kuang
ICSE2022Requirements / Modeling / Architecture
ModX: Binary Level Partially Imported Third-Party Library Detection via Program Modularization and Semantic Matching.
Can Yang, Zhengzi Xu, Hongxu Chen 0001, Yang Liu 0003, Xiaorui Gong
ICSE2022Other
Message from the ICSE 2022 Program Chairs.
Daniela E. Damian, Andreas Zeller
ICSE2022Other
Message from the ICSE 2022 General Chair.
Matthew B. Dwyer
ICSE2022Other
Manas: Mining Software Repositories to Assist AutoML.
Giang Nguyen, Md Johirul Islam, Rangeet Pan, Hridesh Rajan
ICSE2022Other
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks.
Sicong Cao, Xiaobing Sun 0001, Lili Bo, Rongxin Wu, Bin Li 0006
ICSE2022AI / LLM for SE
Log-based Anomaly Detection with Deep Learning: How Far Are We?
Van-Hoang Le, Hongyu Zhang 0002
ICSE2022AI / LLM for SE; Cloud / Microservices / Distributed Systems
Linear-time Temporal Logic guided Greybox Fuzzing.
Ruijie Meng, Zhen Dong, Jialin Li 0001, Ivan Beschastnikh, Abhik Roychoudhury
ICSE2022Testing / QA
Lessons from Eight Years of Operational Data from a Continuous Integration Service: An Exploratory Case Study of CircleCI.
Keheliya Gallaba, Maxime Lamothe, Shane McIntosh
ICSE2022Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Less is More: Supporting Developers in Vulnerability Detection during Code Review.
Larissa Braz, Christian Aeberhard, Gül Çalikli, Alberto Bacchelli
ICSE2022Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Learning to Reduce False Positives in Analytic Bug Detectors.
Anant Kharkar, Roshanak Zilouchian Moghaddam, Matthew Jin, Xiaoyu Liu, Xin Shi
ICSE2022Other
Learning to Recommend Method Names with Global Context.
Fang Liu 0032, Ge Li 0001, Zhiyi Fu, Shuai Lu, Yiyang Hao
ICSE2022Other
Learning and Programming Challenges of Rust: A Mixed-Methods Study.
Shuofei Zhu, Ziyi Zhang, Boqin Qin, Aiping Xiong, Linhai Song
ICSE2022Human / Empirical / Socio-technical
Learning Probabilistic Models for Static Analysis Alarms.
Hyunsu Kim, Mukund Raghothaman, Kihong Heo
ICSE2022Program Analysis / Verification / Formal Methods
Large-scale Security Measurements on the Android Firmware Ecosystem.
Qinsheng Hou, Wenrui Diao, Yanhao Wang, Xiaofeng Liu 0013, Song Liu
ICSE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Knowledge-Based Environment Dependency Inference for Python Programs.
Hongjie Ye, Wei Chen 0018, Wensheng Dou, Guoquan Wu, Jun Wei 0001
ICSE2022Other
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis.
Jordan Samhi, Jun Gao 0001, Nadia Daoudi, Pierre Graux, Henri Hoyez
ICSE2022Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Jigsaw: Large Language Models meet Program Synthesis.
Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy
ICSE2022Other
Inferring and Applying Type Changes.
Ameya Ketkar, Oleg Smirnov, Nikolaos Tsantalis, Danny Dig, Timofey Bryksin
ICSE2022Program Analysis / Verification / Formal Methods; Maintenance / Evolution / Refactoring / Review
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.
Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner
ICSE2022Testing / QA
Improving Machine Translation Systems via Isotopic Replacement.
Zeyu Sun 0004, Jie M. Zhang, Yingfei Xiong 0001, Mark Harman, Mike Papadakis
ICSE2022Other
Improving Fault Localization and Program Repair with Deep Semantic Features and Transferred Knowledge.
Xiangxin Meng, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
Imperative versus Declarative Collection Processing: An RCT on the Understandability of Traditional Loops versus the Stream API in Java.
Nils Mehlhorn, Stefan Hanenberg
ICSE2022Other
If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components.
Boyue Caroline Hu, Lina Marsso, Krzysztof Czarnecki 0001, Rick Salay, Huakun Shen
ICSE2022Human / Empirical / Socio-technical; Requirements / Modeling / Architecture; Performance / Energy / Reliability
History-Driven Test Program Synthesis for JVM Testing.
Yingquan Zhao, Zan Wang, Junjie Chen 0003, Mengdi Liu, Mingyuan Wu
ICSE2022Testing / QA
Hiding Critical Program Components via Ambiguous Translation.
Chijung Jung, Doowon Kim, An Chen, Weihang Wang 0001, Yunhui Zheng
ICSE2022Other
Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation.
Madeline Endres, Kevin Boehnke, Westley Weimer
ICSE2022Human / Empirical / Socio-technical
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.
Zanis Ali Khan, Donghwan Shin 0001, Domenico Bianculli, Lionel C. Briand
ICSE2022Other
Green AI: Do Deep Learning Frameworks Have Different Costs?
Stefanos Georgiou, Maria Kechagia, Tushar Sharma 0001, Federica Sarro, Ying Zou 0001
ICSE2022AI / LLM for SE
GraphFuzz: Library API Fuzzing with Lifetime-aware Dataflow Graphs.
Harrison Green, Thanassis Avgerinos
ICSE2022Testing / QA; Program Analysis / Verification / Formal Methods
GitHub Sponsors: Exploring a New Way to Contribute to Open Source.
Naomichi Shimada, Tao Xiao 0001, Hideaki Hata, Christoph Treude, Kenichi Matsumoto
ICSE2022Human / Empirical / Socio-technical
Generating and Visualizing Trace Link Explanations.
Yalin Liu, Jinfeng Lin, Oghenemaro Anuyah, Ronald A. Metoyer, Jane Cleland-Huang
ICSE2022Other
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector.
Michael Coblenz, Michelle L. Mazurek, Michael Hicks 0001
ICSE2022Other
GIFdroid: Automated Replay of Visual Bug Reports for Android Apps.
Sidong Feng, Chunyang Chen 0001
ICSE2022Mobile / Web / GUI / Android
Fuzzing Class Specifications.
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
ICSE2022Testing / QA
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source.
Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang 0001
ICSE2022Testing / QA; Human / Empirical / Socio-technical
FlakiMe: Laboratory-Controlled Test Flakiness Impact Assessment.
Maxime Cordy, Renaud Rwemalika, Adriano Franci, Mike Papadakis, Mark Harman
ICSE2022Testing / QA
Fault Localization via Efficient Probabilistic Modeling of Program Semantics.
Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong 0001, Xin Zhang 0035
ICSE2022Debugging / Fault Localization / Diagnosis / Repair; Requirements / Modeling / Architecture
Fast and Precise Application Code Analysis using a Partial Library.
Akshay Utture, Jens Palsberg
ICSE2022Other
Fast Changeset-based Bug Localization with BERT.
Agnieszka Ciborowska, Kostadin Damevski
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
Fairneuron: Improving Deep Neural Network Fairness with Adversary Games on Selective Neurons.
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen 0001, Yufei Chen 0001
ICSE2022AI / LLM for SE
Fairness-aware Configuration of Machine Learning Libraries.
Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi 0001
ICSE2022AI / LLM for SE; DevOps / CI / Build / Release
FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation.
Jinhao Dong, Yiling Lou, Qihao Zhu, Zeyu Sun 0004, Zhilin Li
ICSE2022DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
FADATest: Fast and Adaptive Performance Regression Testing of Dynamic Binary Translation Systems.
Jin Wu, Jian Dong 0010, Ruili Fang, Wen Zhang, Wenwen Wang 0001
ICSE2022Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability
Exploiting Input Sanitization for Regex Denial of Service.
Efe Barlas, Xin Du, James C. Davis 0001
ICSE2022Other
Explanation-Guided Fairness Testing through Genetic Algorithm.
Ming Fan 0002, Wenying Wei, Wuxia Jin, Zijiang Yang 0006, Ting Liu 0002
ICSE2022Testing / QA
ExAIS: Executable AI Semantics.
Richard Schumi, Jun Sun 0001
ICSE2022AI / LLM for SE
Evaluating and Improving Neural Program-Smoothing-based Fuzzing.
Mingyuan Wu, Ling Jiang, Jiahong Xiang, Yuqun Zhang, Guowei Yang 0001
ICSE2022Testing / QA; AI / LLM for SE
Eflect: Porting Energy-Aware Applications to Shared Environments.
Timur Babakol, Anthony Canino, Yu David Liu
ICSE2022Performance / Energy / Reliability
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization.
Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand
ICSE2022Testing / QA; Performance / Energy / Reliability
EREBA: Black-box Energy Testing of Adaptive Neural Networks.
Mirazul Haque, Yaswanth Yadlapalli, Wei Yang 0013, Cong Liu 0005
ICSE2022Testing / QA; AI / LLM for SE; Performance / Energy / Reliability
EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries.
Jiannan Wang 0002, Thibaud Lutellier, Shangshu Qian, Hung Viet Pham, Lin Tan 0001
ICSE2022Testing / QA; AI / LLM for SE
Dynamic Update for Synthesized GR(1) Controllers.
Gal Amram, Shahar Maoz, Itai Segall, Matan Yossef
ICSE2022Other
DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript.
Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, Frank Tip
ICSE2022Other
Domain-Specific Analysis of Mobile App Reviews Using Keyword-Assisted Topic Models.
Miroslav Tushev, Fahimeh Ebrahimi, Anas Mahmoud 0001
ICSE2022Mobile / Web / GUI / Android
Diversity-Driven Automated Formal Verification.
Emily First, Yuriy Brun
ICSE2022Program Analysis / Verification / Formal Methods
Discovering Repetitive Code Changes in Python ML Systems.
Malinda Dilhara, Ameya Ketkar, Nikhith Sannidhi, Danny Dig
ICSE2022Maintenance / Evolution / Refactoring / Review
Difuzer: Uncovering Suspicious Hidden Sensitive Operations in Android Apps.
Jordan Samhi, Li Li 0029, Tegawendé F. Bissyandé, Jacques Klein
ICSE2022Mobile / Web / GUI / Android
Detecting False Alarms from Automatic Static Analysis Tools: How Far are We?
Hong Jin Kang, Khai Loong Aw, David Lo 0001
ICSE2022Program Analysis / Verification / Formal Methods
DescribeCtx: Context-Aware Description Synthesis for Sensitive Behaviors in Mobile Apps.
Shao Yang, Yuehan Wang, Yuan Yao 0001, Haoyu Wang 0001, Yanfang (Fanny) Ye
ICSE2022Mobile / Web / GUI / Android
Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem.
Chengwei Liu, Sen Chen 0001, Lingling Fan 0003, Bihuan Chen 0001, Yang Liu 0003
ICSE2022Maintenance / Evolution / Refactoring / Review
Demystifying the Dependency Challenge in Kernel Fuzzing.
Yu Hao 0006, Hang Zhang 0012, Guoren Li, Xingyun Du, Zhiyun Qian
ICSE2022Testing / QA
Demystifying Android Non-SDK APls: Measurement and Understanding.
Shishuai Yang, Rui Li 0102, Jiongyi Chen, Wenrui Diao, Shanqing Guo
ICSE2022Mobile / Web / GUI / Android
Default: Mutual Information-based Crash Triage for Massive Crashes.
Xing Zhang, Jiongyi Chen, Chao Feng 0002, Ruilin Li 0002, Wenrui Diao
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
DeepTraLog: Trace-Log Combined Microservice Anomaly Detection through Graph-based Deep Learning.
Chenxi Zhang 0003, Xin Peng 0001, Chaofeng Sha, Ke Zhang, Zhenqing Fu
ICSE2022AI / LLM for SE; Cloud / Microservices / Distributed Systems
DeepState: Selecting Test Suites to Enhance the Robustness of Recurrent Neural Networks.
Zixi Liu, Yang Feng 0003, Yining Yin, Zhenyu Chen 0001
ICSE2022Testing / QA; AI / LLM for SE
DeepStability: A Study of Unstable Numerical Methods and Their Solutions in Deep Learning.
Eliska Kloberdanz, Kyle G. Kloberdanz, Wei Le
ICSE2022AI / LLM for SE; Human / Empirical / Socio-technical
DeepSTL - From English Requirements to Signal Temporal Logic.
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
ICSE2022Requirements / Modeling / Architecture
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
Jialun Cao, Meiziniu Li, Xiao Chen 0026, Ming Wen 0001, Yongqiang Tian 0001
ICSE2022AI / LLM for SE
DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs.
Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan
ICSE2022AI / LLM for SE
DeepAnalyze: Learning to Localize Crashes at Scale.
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang
ICSE2022Other
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.
Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim
ICSE2022Program Analysis / Verification / Formal Methods
Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules.
Rangeet Pan, Hridesh Rajan
ICSE2022AI / LLM for SE
Data-Driven Loop Bound Learning for Termination Analysis.
Rongchen Xu, Jianhui Chen, Fei He 0001
ICSE2022Other
DEAR: A Novel Deep Learning-based Approach for Automated Program Repair.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ICSE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Cross-Domain Deep Code Search with Meta Learning.
Yitian Chai, Hongyu Zhang 0002, Beijun Shen, Xiaodong Gu 0002
ICSE2022Other
Controlled Concurrency Testing via Periodical Scheduling.
Cheng Wen 0002, Mengda He, Bohao Wu, Zhiwu Xu 0001, Shengchao Qin
ICSE2022Testing / QA
Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search.
Ruidong Han, Chao Yang 0016, Siqi Ma, Jianfeng Ma 0001, Cong Sun 0001
ICSE2022Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release
Conflict-aware Inference of Python Compatible Runtime Environments with Domain Knowledge Graph.
Wei Cheng 0010, Xiangrong Zhu 0001, Wei Hu 0007
ICSE2022Other
Combinatorial Testing of RESTful APIs.
Huayao Wu, Lixin Xu, Xintao Niu, Changhai Nie
ICSE2022Testing / QA
Collaboration Challenges in Building ML-Enabled Systems: Communication, Documentation, Engineering, and Process.
Nadia Nahar, Shurui Zhou, Grace A. Lewis, Christian Kästner
ICSE2022DevOps / CI / Build / Release
CodeFill: Multi-token Code Completion by Jointly learning from Structure and Naming Sequences.
Maliheh Izadi, Roberta Gismondi, Georgios Gousios
ICSE2022Other
Code Search based on Context-aware Code Translation.
Weisong Sun, Chunrong Fang, Yuchen Chen, Guanhong Tao 0001, Tingxu Han
ICSE2022Other
Characterizing and Detecting Bugs in WeChat Mini-Programs.
Tao Wang 0030, Qingxin Xu, Xiaoning Chang, Wensheng Dou, Jiaxin Zhu
ICSE2022Other
Change Is the Only Constant: Dynamic Updates for Workflows.
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
ICSE2022Maintenance / Evolution / Refactoring / Review
Causality-Based Neural Network Repair.
Bing Sun, Jun Sun 0001, Long H. Pham, Tie Shi
ICSE2022AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Causality in Configurable Software Systems.
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
ICSE2022Other
CONFETTI: Amplifying Concolic Guidance for Fuzzers.
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell 0001
ICSE2022Testing / QA; Program Analysis / Verification / Formal Methods
CLEAR: Contrastive Learning for API Recommendation.
Moshi Wei, Nima Shiri Harzevili, Yuchao Huang, Junjie Wang 0001, Song Wang 0009
ICSE2022Other
Buildsheriff: Change-Aware Test Failure Triage for Continuous Integration Builds.
Chen Zhang, Bihuan Chen 0001, Xin Peng 0001, Wenyun Zhao
ICSE2022Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review
BugListener: Identifying and Synthesizing Bug Reports from Collaborative Live Chats.
Lin Shi 0006, Fangwen Mu, Yumin Zhang, Ye Yang, Junjie Chen 0003
ICSE2022Other
Bridging Pre-trained Models and Downstream Tasks for Source Code Understanding.
Deze Wang, Zhouyang Jia, Shanshan Li 0001, Yue Yu 0001, Yun Xiong
ICSE2022Other
Bots for Pull Requests: The Good, the Bad, and the Promising.
Mairieli Santos Wessel, Ahmad Abdellatif, Igor Wiese, Tayana Conte, Emad Shihab
ICSE2022Other
Big Data = Big Insights? Operationalising Brooks' Law in a Massive GitHub Data Set.
Christoph Gote, Pavlin Mavrodiev, Frank Schweitzer, Ingo Scholtes
ICSE2022Human / Empirical / Socio-technical
BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing.
Hoang Lam Nguyen, Lars Grunske
ICSE2022Testing / QA
Automatic Detection of Performance Bugs in Database Systems using Equivalent Queries.
Xinyu Liu, Qi Zhou 0010, Joy Arulraj, Alessandro Orso
ICSE2022Performance / Energy / Reliability
Automated Testing of Software that Uses Machine Learning APIs.
Chengcheng Wan 0001, Shicheng Liu, Sophie Xie, Yifan Liu, Henry Hoffmann
ICSE2022Testing / QA; AI / LLM for SE
Automated Patching for Unreproducible Builds.
Zhilei Ren, Shiwei Sun, Jifeng Xuan, Xiaochen Li, Zhide Zhou
ICSE2022DevOps / CI / Build / Release
Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study.
Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh
ICSE2022Human / Empirical / Socio-technical; Requirements / Modeling / Architecture
Automated Detection of Password Leakage from Public GitHub Repositories.
Runhan Feng, Ziyang Yan, Shiyan Peng, Yuanyuan Zhang 0002
ICSE2022Human / Empirical / Socio-technical
Automated Assertion Generation via Information Retrieval and Its Integration with Deep learning.
Hao Yu 0016, Yiling Lou, Ke Sun 0017, Dezhi Ran, Tao Xie 0001
ICSE2022Testing / QA; AI / LLM for SE
AutoTransform: Automated Code Transformation to Support Modern Code Review Process.
Patanamon Thongtanunam, Chanathip Pornprasit, Chakkrit Tantithamthavorn
ICSE2022Maintenance / Evolution / Refactoring / Review
Analyzing User Perspectives on Mobile App Privacy at Scale.
Preksha Nema, Pauline Anthonysamy, Nina Taft, Sai Teja Peddinti
ICSE2022Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
An Exploratory Study of Productivity Perceptions in Software Teams.
Anastasia Ruvimova, Alexander Lill, Jan Gugler, Lauren C. Howe, Elaine Huang
ICSE2022Human / Empirical / Socio-technical
An Exploratory Study of Deep learning Supply Chain.
Xin Tan 0003, Kai Gao 0008, Minghui Zhou 0001, Li Zhang 0029
ICSE2022AI / LLM for SE; Human / Empirical / Socio-technical
Adaptive Test Selection for Deep Neural Networks.
Xinyu Gao, Yang Feng 0003, Yining Yin, Zixi Liu, Zhenyu Chen 0001
ICSE2022Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching.
Zhuangbin Chen, Jinyang Liu 0002, Yuxin Su 0001, Hongyu Zhang 0002, Xiao Ling
ICSE2022Performance / Energy / Reliability
AST-Trans: Code Summarization with Efficient Tree-Structured Attention.
Ze Tang 0002, Xiaoyu Shen 0001, Chuanyi Li, Jidong Ge, Liguo Huang
ICSE2022Other
ARCLIN: Automated API Mention Resolution for Unformatted Texts.
Yintong Huo, Yuxin Su 0001, Hongming Zhang 0009, Michael R. Lyu
ICSE2022Other
APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps.
Sinan Wang, Yibo Wang 0006, Xian Zhan, Ying Wang 0038, Yepang Liu 0001
ICSE2022Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
A Universal Data Augmentation Approach for Fault Localization.
Huan Xie 0002, Yan Lei, Meng Yan 0001, Yue Yu 0001, Xin Xia 0001
ICSE2022Debugging / Fault Localization / Diagnosis / Repair
A Scalable t-wise Coverage Estimator.
Eduard Baranov, Sourav Chakraborty 0001, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
ICSE2022Testing / QA
A Grounded Theory of Coordination in Remote-First and Hybrid Software Teams.
Ronnie Edson de Souza Santos, Paul Ralph
ICSE2022Other
A Grounded Theory Based Approach to Characterize Software Attack Surfaces.
Sara Moshtari, Ahmet Okutan, Mehdi Mirakhorli
ICSE2022Security / Privacy / Vulnerability
$\mu AFL$: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware.
Wenqiang Li, Jiameng Shi, Fengjun Li, Jingqiang Lin 0001, Wei Wang 0314
ICSE2022Testing / QA
"This Is Damn Slick!" Estimating the Impact of Tweets on Open Source Project Popularity and New Contributors.
Hongbo Fang, Hemank Lamba, James D. Herbsleb, Bogdan Vasilescu
ICSE2022Human / Empirical / Socio-technical
"Did You Miss My Comment or What?" Understanding Toxicity in Open Source Discussions.
Courtney Miller, Sophie Cohen, Daniel Klug, Bogdan Vasilescu, Christian Kästner
ICSE2022Human / Empirical / Socio-technical
Why Security Defects Go Unnoticed during Code Reviews? A Case-Control Study of the Chromium OS Project.
Rajshakhar Paul, Asif Kamal Turzo, Amiangshu Bosu
ICSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Why Don't Developers Detect Improper Input Validation? '; DROP TABLE Papers; -.
Larissa Braz, Enrico Fregnan, Gül Çalikli, Alberto Bacchelli
ICSE2021Testing / QA; Human / Empirical / Socio-technical
White-Box Performance-Influence Models: A Profiling and Learning Approach.
Max Weber, Sven Apel, Norbert Siegmund
ICSE2021Performance / Energy / Reliability
White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems.
Miguel Velez, Pooyan Jamshidi, Norbert Siegmund, Sven Apel, Christian Kästner
ICSE2021AI / LLM for SE; Requirements / Modeling / Architecture; Performance / Energy / Reliability
What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration.
Xianhao Jin, Francisco Servant
ICSE2021Testing / QA; DevOps / CI / Build / Release
What Makes a Great Maintainer of Open Source Projects?
Edson Dias, Paulo Meirelles, Fernando Castor, Igor Steinmacher, Igor Wiese
ICSE2021Human / Empirical / Socio-technical
We'll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?
Andrew Truelove, Eduardo Santana de Almeida, Iftekhar Ahmed 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Verifying Determinism in Sequential Programs.
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
ICSE2021Other
Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements.
Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand
ICSE2021Requirements / Modeling / Architecture
Unrealizable Cores for Reactive Systems Specifications.
Shahar Maoz, Rafi Shalom
ICSE2021Other
Understanding Bounding Functions in Safety-Critical UAV Software.
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek
ICSE2021Other
Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models.
Jinfeng Lin, Yalin Liu, Qingkai Zeng 0001, Meng Jiang 0001, Jane Cleland-Huang
ICSE2021Requirements / Modeling / Architecture
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
ICSE2021Other
Towards Automating Code Review Activities.
Rosalia Tufano, Luca Pascarella, Michele Tufano, Denys Poshyvanyk, Gabriele Bavota
ICSE2021Maintenance / Evolution / Refactoring / Review
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code.
Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia
ICSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
The Shifting Sands of Motivation: Revisiting What Drives Contributors in Open Source.
Marco Aurélio Gerosa, Igor Wiese, Bianca Trinkenreich, Georg Link, Gregorio Robles
ICSE2021Human / Empirical / Socio-technical
The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding.
Marvin Wyrich, Andreas Preikschat, Daniel Graziotin, Stefan Wagner 0001
ICSE2021Other
Testing Machine Translation via Referential Transparency.
Pinjia He, Clara Meister, Zhendong Su 0001
ICSE2021Testing / QA
Technical Leverage in a Software Ecosystem: Development Opportunities and Security Risks.
Fabio Massacci, Ivan Pashchenko
ICSE2021Security / Privacy / Vulnerability
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
Yeting Li, Shuaimin Li, Zhiwu Xu 0001, Jialun Cao, Zixuan Chen
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Synthesizing Object State Transformers for Dynamic Software Updates.
Zelin Zhao, Yanyan Jiang 0001, Chang Xu 0001, Tianxiao Gu, Xiaoxing Ma
ICSE2021Other
Sustainable Solving: Reducing The Memory Footprint of IFDS-Based Data Flow Analyses Using Intelligent Garbage Collection.
Steven Arzt
ICSE2021Other
Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking.
Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang
ICSE2021Other
Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks.
Antonio Mastropaolo, Simone Scalabrino, Nathan Cooper, David Nader-Palacio, Denys Poshyvanyk
ICSE2021AI / LLM for SE
Studying Test Annotation Maintenance in the Wild.
Dong Jae Kim, Nikolaos Tsantalis, Tse-Hsun Peter Chen, Jinqiu Yang 0001
ICSE2021Testing / QA; Maintenance / Evolution / Refactoring / Review
Smart Contract Security: a Practitioners' Perspective.
Zhiyuan Wan, Xin Xia 0001, David Lo 0001, Jiachi Chen, Xiapu Luo
ICSE2021Security / Privacy / Vulnerability
Siri, Write the Next Method.
Fengcai Wen, Emad Aghajani, Csaba Nagy 0001, Michele Lanza 0001, Gabriele Bavota
ICSE2021Other
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
Lin Yang 0030, Junjie Chen 0003, Zan Wang, Weijing Wang, Jiajun Jiang
ICSE2021Cloud / Microservices / Distributed Systems
Semantic Web Accessibility Testing via Hierarchical Visual Analysis.
Mohammad Bajammal, Ali Mesbah 0001
ICSE2021Testing / QA; Mobile / Web / GUI / Android
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries.
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
ICSE2021Maintenance / Evolution / Refactoring / Review
Self-Checking Deep Neural Networks in Deployment.
Yan Xiao 0002, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum
ICSE2021AI / LLM for SE; DevOps / CI / Build / Release
Seamless Variability Management With the Virtual Platform.
Wardah Mahmood, Daniel Strüber 0001, Thorsten Berger, Ralf Lämmel, Mukelabai Mukelabai
ICSE2021Other
Scalable Quantitative Verification For Deep Neural Networks.
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
ICSE2021AI / LLM for SE; Program Analysis / Verification / Formal Methods
Same File, Different Changes: The Potential of Meta-Maintenance on GitHub.
Hideaki Hata, Raula Gaikovina Kula, Takashi Ishio, Christoph Treude
ICSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
SOAR: A Synthesis Approach for Data Science API Refactoring.
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho
ICSE2021Maintenance / Evolution / Refactoring / Review
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
Jingyi Wang 0004, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang 0002
ICSE2021Testing / QA; AI / LLM for SE
Restoring Execution Environments of Jupyter Notebooks.
Jiawei Wang 0003, Li Li 0029, Andreas Zeller
ICSE2021Other
Resource-Guided Configuration Space Reduction for Deep Learning Models.
Yanjie Gao, Yonghao Zhu, Hongyu Zhang 0002, Haoxiang Lin, Mao Yang 0004
ICSE2021AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability
Representation of Developer Expertise in Open Source Software.
Tapajit Dey, Andrey Karnauch, Audris Mockus
ICSE2021Human / Empirical / Socio-technical
Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study.
Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
ICSE2021Human / Empirical / Socio-technical
Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
ICSE2021Other
RAICC: Revealing Atypical Inter-Component Communication in Android Apps.
Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
ICSE2021Mobile / Web / GUI / Android
PyCG: Practical Call Graph Generation in Python.
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
ICSE2021Other
PyART: Python API Recommendation in Real-Time.
Xincheng He, Lei Xu 0003, Xiangyu Zhang 0001, Rui Hao, Yang Feng 0003
ICSE2021Other
Program Comprehension and Code Complexity Metrics: An fMRI Study.
Norman Peitek, Sven Apel, Chris Parnin, André Brechmann, Janet Siegmund
ICSE2021Human / Empirical / Socio-technical; Education / Program Comprehension
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis.
Zan Wang, Hanmo You, Junjie Chen 0003, Yingyi Zhang, Xuyuan Dong
ICSE2021Testing / QA; AI / LLM for SE
Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding.
Shengcheng Yu, Chunrong Fang, Zhenfei Cao, Xu Wang, Tongyu Li
ICSE2021Testing / QA
Playing Planning Poker in Crowds: Human Computation of Software Effort Estimates.
Mohammed Alhamed, Tim Storer
ICSE2021Human / Empirical / Socio-technical
Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions.
Antonio Guerriero, Roberto Pietrantuono, Stefano Russo 0001
ICSE2021Other
Onboarding vs. Diversity, Productivity, and Quality - Empirical Study of the OpenStack Ecosystem.
Armstrong Foundjem, Ellis E. Eghan, Bram Adams
ICSE2021Human / Empirical / Socio-technical
On the Naming of Methods: A Survey of Professional Developers.
Reem S. Alsuhaibani, Christian D. Newman, Michael John Decker, Michael L. Collard, Jonathan I. Maletic
ICSE2021Human / Empirical / Socio-technical
On Indirectly Dependent Documentation in the Context of Code Evolution: A Study.
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal
ICSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
MuDelta: Delta-Oriented Mutation Testing at Commit Time.
Wei Ma 0014, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman
ICSE2021Testing / QA; DevOps / CI / Build / Release
Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models.
Linghan Meng, Yanhui Li, Lin Chen 0015, Zhi Wang, Di Wu 0014
ICSE2021Testing / QA; AI / LLM for SE
Leaving My Fingerprints: Motivations and Challenges of Contributing to OSS for Social Good.
Yu Huang 0015, Denae Ford, Thomas Zimmermann 0001
ICSE2021Other
Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing.
Shengcheng Yu, Chunrong Fang, Yexiao Yun, Yang Feng 0003
ICSE2021Testing / QA; Mobile / Web / GUI / Android
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs.
Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu
ICSE2021Testing / QA
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification.
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
ICSE2021Testing / QA; Program Analysis / Verification / Formal Methods
It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports.
Nathan Cooper, Carlos Bernal-Cárdenas, Oscar Chaparro, Kevin Moran, Denys Poshyvanyk
ICSE2021Other
IoT Bugs and Development Challenges.
Amir Makhshari, Ali Mesbah 0001
ICSE2021Other
Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark Model.
Xi Xu, Qinghua Zheng, Zheng Yan 0002, Ming Fan 0002, Ang Jia
ICSE2021Other
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine.
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Input Algebras.
Rahul Gopinath, Hamed Nemati, Andreas Zeller
ICSE2021Other
InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees.
Nghi D. Q. Bui, Yijun Yu 0001, Lingxiao Jiang
ICSE2021Other
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques.
Yigit Küçük, Tim A. D. Henderson, Andy Podgurski
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
If It's Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening.
Pei Wang, Julian Bangert, Christoph Kern 0003
ICSE2021Mobile / Web / GUI / Android
Identifying Key Features from App User Reviews.
Huayao Wu, Wenjun Deng, Xintao Niu, Changhai Nie
ICSE2021Mobile / Web / GUI / Android
IdBench: Evaluating Semantic Representations of Identifier Names in Source Code.
Yaza Wainakh, Moiz Rauf, Michael Pradel
ICSE2021Other
IMGDroid: Detecting Image Loading Defects in Android Applications.
Wei Song 0003, Mengqi Han, Jeff Huang 0001
ICSE2021Mobile / Web / GUI / Android
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong
ICSE2021Other
How Gamification Affects Software Developers: Cautionary Evidence from a Natural Experiment on GitHub.
Lukas Moldon, Markus Strohmaier, Johannes Wachs
ICSE2021Human / Empirical / Socio-technical
How Developers Optimize Virtual Reality Applications: A Study of Optimization Commits in Open Source Unity Projects.
Fariha Nusrat, Foyzul Hassan, Hao Zhong 0001, Xiaoyin Wang
ICSE2021Human / Empirical / Socio-technical; Performance / Energy / Reliability
HERO: On the Chaos When PATH Meets Modules.
Ying Wang 0038, Liang Qiao 0002, Chang Xu 0001, Yepang Liu 0001, Shing-Chi Cheung
ICSE2021Other
Growing A Test Corpus with Bonsai Fuzzing.
Vasudev Vikram, Rohan Padhye, Koushik Sen
ICSE2021Testing / QA
Graph-based Fuzz Testing for Deep Learning Inference Engines.
Weisi Luo, Dong Chai, Xiaoyue Run, Jiang Wang, Chunrong Fang
ICSE2021Testing / QA; AI / LLM for SE
GenTree: Using Decision Trees to Learn Interactions for Configurable Software.
KimHao Nguyen, ThanhVu Nguyen
ICSE2021Other
GUIGAN: Learning to Generate GUI Designs Using Generative Adversarial Networks.
Tianming Zhao 0005, Chunyang Chen 0001, Yuanning Liu, Xiaodong Zhu 0001
ICSE2021AI / LLM for SE; Mobile / Web / GUI / Android
Fuzzing Symbolic Expressions.
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
ICSE2021Testing / QA; Program Analysis / Verification / Formal Methods
FlakeFlagger: Predicting Flakiness Without Rerunning Tests.
Abdulrahman Alshammari, Christopher Morris 0003, Michael Hilton, Jonathan Bell 0001
ICSE2021Testing / QA
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps.
Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal
ICSE2021Mobile / Web / GUI / Android
Fault Localization with Code Coverage Representation Learning.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Fast and Precise On-the-fly Patch Validation for All.
Lingchao Chen, Yicheng Ouyang, Lingming Zhang 0001
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Fast Parametric Model Checking through Model Fragmentation.
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
ICSE2021Program Analysis / Verification / Formal Methods
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation Mining.
Yaohui Wang 0003, Guozheng Li 0001, Zijian Wang, Yu Kang 0006, Yangfan Zhou 0002
ICSE2021Other
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Extracting Rationale for Open Source Software Development Decisions - A Study of Python Email Archives.
Pankajeshwara Nand Sharma, Bastin Tony Roy Savarimuthu, Nigel Stanger
ICSE2021Human / Empirical / Socio-technical
Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems.
Yanjie Jiang, Hui Liu 0003, Nan Niu, Lu Zhang 0023, Yamin Hu
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
ICSE2021Other
Evaluating Unit Testing Practices in R Packages.
Melina C. Vidoni
ICSE2021Testing / QA
Evaluating SZZ Implementations Through a Developer-informed Oracle.
Giovanni Rosa, Luca Pascarella, Simone Scalabrino, Rosalia Tufano, Gabriele Bavota
ICSE2021Testing / QA; Human / Empirical / Socio-technical
Enhancing Genetic Improvement of Software with Regression Test Selection.
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
ICSE2021Testing / QA; DevOps / CI / Build / Release
Enabling Software Resilience in GPGPU Applications via Partial Thread Protection.
Lishan Yang 0001, Bin Nie, Adwait Jog, Evgenia Smirni
ICSE2021Other
Efficient Compiler Autotuning via Bayesian Optimization.
Junjie Chen 0003, Ningxin Xu, Peiqi Chen, Hongyu Zhang 0002
ICSE2021Performance / Energy / Reliability
Early Life Cycle Software Defect Prediction. Why? How?
N. C. Shrikanth, Suvodeep Majumder, Tim Menzies
ICSE2021Other
Don't Do That! Hunting Down Visual Design Smells in Complex UIs against Design Guidelines.
Bo Yang, Zhenchang Xing, Xin Xia 0001, Chunyang Chen 0001, Deheng Ye
ICSE2021Requirements / Modeling / Architecture
Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications.
Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Does mutation testing improve testing practices?
Goran Petrovic, Marko Ivankovic, Gordon Fraser 0001, René Just
ICSE2021Testing / QA
Do you really code? Designing and Evaluating Screening Questions for Online Surveys with Programmers.
Anastasia Danilova, Alena Naiakshina, Stefan Horstmann, Matthew Smith 0001
ICSE2021Other
Distribution-Aware Testing of Neural Networks Using Generative Models.
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
ICSE2021Testing / QA; AI / LLM for SE
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures.
Zhouyang Jia, Shanshan Li 0001, Tingting Yu 0001, Chen Zeng, Erci Xu
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection.
Yuanchun Li 0003, Jiayi Hua, Haoyu Wang 0001, Chunyang Chen 0001, Yunxin Liu 0001
ICSE2021AI / LLM for SE; Security / Privacy / Vulnerability
DeepLocalize: Fault Localization for Deep Neural Networks.
Mohammad Wardat, Wei Le, Hridesh Rajan
ICSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
DeepLV: Suggesting Log Levels Using Ordinal Based Neural Networks.
Zhenhao Li 0002, Heng Li 0007, Tse-Hsun Peter Chen, Weiyi Shang
ICSE2021AI / LLM for SE
Data-Oriented Differential Testing of Object-Relational Mapping Systems.
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
ICSE2021Testing / QA
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
Jingbo Wang 0006, Chungha Sung, Mukund Raghothaman, Chao Wang 0001
ICSE2021Other
Containing Malicious Package Updates in npm with a Lightweight Permission System.
Gabriel Ferreira, Limin Jia 0001, Joshua Sunshine, Christian Kästner
ICSE2021Security / Privacy / Vulnerability
CodeShovel: Constructing Method-Level Source Code Histories.
Felix Grund, Shaiful Alam Chowdhury, Nick C. Bradley, Braxton Hall, Reid Holmes
ICSE2021Other
Code Prediction by Feeding Trees to Transformers.
Seohyun Kim 0001, Jinman Zhao, Yuchi Tian, Satish Chandra 0001
ICSE2021Other
Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse.
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
ICSE2021Other
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
Rangeet Pan, Vu Le 0002, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri
ICSE2021Human / Empirical / Socio-technical
CURE: Code-Aware Neural Machine Translation for Automatic Program Repair.
Nan Jiang 0012, Thibaud Lutellier, Lin Tan 0001
ICSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
CHAMP: Characterizing Undesired App Behaviors from User Comments based on Market Policies.
Yangyu Hu, Haoyu Wang 0001, Tiantong Ji, Xusheng Xiao, Xiapu Luo
ICSE2021Mobile / Web / GUI / Android
Bounded Exhaustive Search of Alloy Specification Repairs.
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
Automatically Matching Bug Reports With Related App Reviews.
Marlo Haering, Christoph Stanik, Walid Maalej
ICSE2021Mobile / Web / GUI / Android
Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.
Yan Zheng 0002, Yi Liu 0069, Xiaofei Xie, Yepang Liu 0001, Lei Ma 0003
ICSE2021Testing / QA; Mobile / Web / GUI / Android
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?
Song Wang 0009, Nishtha Shrestha, Abarna Kucheri Subburaman, Junjie Wang 0001, Moshi Wei
ICSE2021Testing / QA; AI / LLM for SE
Automatic Solution Summarization for Crash Bugs.
Haoye Wang, Xin Xia 0001, David Lo 0001, John C. Grundy, Xinyu Wang 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Automatic Extraction of Opinion-based Q&A from Online Developer Chats.
Preetha Chatterjee, Kostadin Damevski, Lori L. Pollock
ICSE2021Human / Empirical / Socio-technical
Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow.
Kaibo Cao, Chunyang Chen 0001, Sebastian Baltes, Christoph Treude, Xiang Chen 0005
ICSE2021Cloud / Microservices / Distributed Systems
AutoCCAG: An Automated Approach to Constrained Covering Array Generation.
Chuan Luo 0002, Jinkun Lin, Shaowei Cai 0001, Xin Chen, Bing He
ICSE2021Other
Are Machine Learning Cloud APIs Used Correctly?
Chengcheng Wan 0001, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu 0001
ICSE2021AI / LLM for SE; Cloud / Microservices / Distributed Systems
App's Auto-Login Function Security Testing via Android OS-Level Virtualization.
Wenna Song, Jiang Ming 0002, Lin Jiang, Han Yan, Yi Xiang
ICSE2021Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems.
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li 0001, Wei Dong 0006
ICSE2021Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications.
Zhenpeng Chen, Huihan Yao, Yiling Lou, Yanbin Cao, Yuanqiang Liu
ICSE2021AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems.
Yiming Tang 0002, Raffi Khatchadourian, Mehdi Bagherzadeh 0001, Rhia Singh, Ajani Stewart
ICSE2021AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Assessment of Global COVID-19 Contact Tracing Applications.
Ruoxi Sun 0001, Wei Wang 0334, Minhui Xue 0001, Gareth Tyson, Seyit Camtepe
ICSE2021Human / Empirical / Socio-technical
An Empirical Analysis of UI-based Flaky Tests.
Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang 0013, Weihang Wang 0001
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Abacus: Precise Side-Channel Analysis.
Qinkun Bao, Zihao Wang, Xiaoting Li 0001, James R. Larus, Dinghao Wu
ICSE2021Other
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System.
Xiaoyu Zhang 0013, Juan Zhai, Shiqing Ma, Chao Shen 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications.
Xian Zhan, Lingling Fan 0003, Sen Chen 0001, Feng Wu, Tianming Liu 0002
ICSE2021Mobile / Web / GUI / Android
AID: An automated detector for gender-inclusivity bugs in OSS project pages.
Amreeta Chatterjee, Mariam Guizani, Catherine Stevens, Jillian Emard, Mary Evelyn May
ICSE2021Other
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms.
Yuanrui Fan, Xin Xia 0001, David Lo 0001, Ahmed E. Hassan, Yuan Wang 0008
ICSE2021Testing / QA
A Context-based Automated Approach for Method Name Consistency Checking and Suggestion.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ICSE2021Other
A Case Study of Onboarding in Software Teams: Tasks and Strategies.
An Ju, Hitesh Sajnani, Scot Kelly, Kim Herzig
ICSE2021Human / Empirical / Socio-technical
"Ignorance and Prejudice" in Software Fairness.
Jie M. Zhang, Mark Harman
ICSE2021Other
"How Was Your Weekend?" Software Development Teams Working From Home During COVID-19.
Courtney Miller, Paige Rodeghero, Margaret-Anne D. Storey, Denae Ford, Thomas Zimmermann 0001
ICSE2021Other
"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?
Joseph Hallett, Nikhil Patnaik, Benjamin Shreeve, Awais Rashid
ICSE2021Other