Software Engineering Empirical Research Radar
2023 Papers
Major-venue software engineering papers from 2023.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. Dapeng Yan, Zhipeng Gao 0002, Zhiming Liu 0001 | ASE | 2023 | AI / LLM for SE |
| A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug Triaging. Atish Kumar Dipongkor, Kevin Moran | ASE | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical |
| A Comprehensive Study on Code Clones in Automated Driving Software. Ran Mo, Yingjie Jiang, Wenjing Zhan, Dongyu Wang, Zengyang Li | ASE | 2023 | Human / Empirical / Socio-technical |
| A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem. Wenke Li, Feng Wu, Cai Fu, Fan Zhou | ASE | 2023 | Human / Empirical / Socio-technical |
| A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models. Qilin Zhou, Zhengyuan Wei, Haipeng Wang 0005, W. K. Chan 0001 | ASE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods |
| A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering. Wentao Liang, Xiang Ling 0001, Jingzheng Wu, Tianyue Luo, Yanjun Wu | ASE | 2023 | Other |
| ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision. Zhipeng Xue 0002, Zhipeng Gao 0002, Xing Hu 0008, Shanping Li | ASE | 2023 | Other |
| ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. Yi Liu 0069, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du 0002 | ASE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems. Shengyou Hu, Huayao Wu, Peng Wang 0125, Jing Chang, Yongjun Tu | ASE | 2023 | Testing / QA |
| Adaptive REST API Testing with Reinforcement Learning. Myeongsoo Kim, Saurabh Sinha 0003, Alessandro Orso | ASE | 2023 | Testing / QA |
| An Automated and Flexible Multilingual Bug-Fix Dataset Construction System. Wenkang Zhong, Chuanyi Li, Yunfei Zhang, Ziwen Ge, Jingyu Wang | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| An Empirical Study of Malicious Code In PyPI Ecosystem. Wenbo Guo 0011, Zhengzi Xu, Chengwei Liu, Cheng Huang 0003, Yong Fang 0002 | ASE | 2023 | Human / Empirical / Socio-technical |
| An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models. Jiaxing Liu, Chaofeng Sha, Xin Peng 0001 | ASE | 2023 | Human / Empirical / Socio-technical |
| An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair. Kai Huang, Xiangxin Meng, Jian Zhang 0087, Yang Liu 0003, Wenjie Wang | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci | ASE | 2023 | AI / LLM for SE; Requirements / Modeling / Architecture; Performance / Energy / Reliability |
| An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software. Wenxuan Wang 0001, Jingyuan Huang, Jen-tse Huang 0001, Chang Chen, Jiazhen Gu | ASE | 2023 | Testing / QA |
| An Industrial Practice for Securing Android Apps in the Banking Domain. Vikas Kumar Malviya, Phong Phan, Yan Naing Tun, Albert Ching, Lwin Khin Shar | ASE | 2023 | Mobile / Web / GUI / Android |
| An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems. Ahmed Haj Yahmed, Rached Bouchoucha, Houssem Ben Braiek, Foutse Khomh | ASE | 2023 | Other |
| ArduinoProg: Towards Automating Arduino Programming. Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang | ASE | 2023 | Other |
| Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages. Zhenhao Li 0002, An Ran Chen, Xing Hu 0008, Xin Xia 0001, Tse-Hsun Chen | ASE | 2023 | Education / Program Comprehension |
| Are We Ready to Embrace Generative AI for Software Q&A? Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu | ASE | 2023 | AI / LLM for SE |
| Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study. Rohit Mehra, Priyavanshi Pathania, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder | ASE | 2023 | Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review; Performance / Energy / Reliability |
| AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization. Lwin Khin Shar, Arda Goknil, Erik Johannes Husom, Sagar Sen, Yan Naing Tun | ASE | 2023 | Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability |
| AutoDebloater: Automated Android App Debloating. Jiakun Liu, Xing Hu 0008, Ferdian Thung, Shahar Maoz, Eran Toch | ASE | 2023 | Mobile / Web / GUI / Android |
| AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection. Yintong Huo, Yichen Li 0003, Yuxin Su 0001, Pinjia He, Zifan Xie | ASE | 2023 | Other |
| Automated Fixing of Web UI Tests via Iterative Element Matching. Yuanzhang Lin, Guoyao Wen, Xiang Gao 0012 | ASE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Automated Software Entity Matching Between Successive Versions. Bo Liu 0094, Hui Liu 0003, Nan Niu, Yuxia Zhang, Guangjie Li | ASE | 2023 | Other |
| Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. Jingbo Lu, Dongjie He, Wei Li 0241, Yaoqing Gao, Jingling Xue | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Automating Bias Testing of LLMs. Sergio Morales 0001, Robert Clarisó, Jordi Cabot | ASE | 2023 | Testing / QA |
| BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++. Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo | ASE | 2023 | Other |
| Better Patching Using LLM Prompting, via Self-Consistency. Toufique Ahmed, Premkumar T. Devanbu | ASE | 2023 | AI / LLM for SE |
| Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations. Szymon Stradowski, Lech Madeyski | ASE | 2023 | AI / LLM for SE |
| BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History Mining. Xuezhi Song, Yijian Wu, Junming Cao, Bihuan Chen 0001, Yun Lin 0001 | ASE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Bus Factor Explorer. Egor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzün | ASE | 2023 | Other |
| CAT-LM Training Language Models on Aligned Code And Tests. Nikitha Rao, Kush Jain, Uri Alon 0002, Claire Le Goues, Vincent J. Hellendoorn | ASE | 2023 | Testing / QA |
| COMEX: A Tool for Generating Customized Source Code Representations. Debeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki | ASE | 2023 | Other |
| CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Dirk Beyer 0001, Po-Chun Chien, Nian-Ze Lee | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Causality-Aided Trade-Off Analysis for Machine Learning Fairness. Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011, Yanhui Li | ASE | 2023 | AI / LLM for SE |
| Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks. Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada | ASE | 2023 | DevOps / CI / Build / Release |
| CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space. Haibin Zheng, Jinyin Chen, Haibo Jin | ASE | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| Challenges of Accurate and Efficient AutoML. Swarnava Dey, Avik Ghose, Soumik Das | ASE | 2023 | Other |
| Characterizing Flaky Tests in Node.js Applications. Xiaoning Chang, Zheheng Liang, Guoquan Wu, Yu Gao 0002, Wei Chen 0018 | ASE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release |
| CiD4HMOS: A Solution to HarmonyOS Compatibility Issues. Tianzhi Ma, Yanjie Zhao 0001, Li Li 0029, Liang Liu 0006 | ASE | 2023 | Other |
| CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing. Yuanjie Xia 0002, Zishuo Ding, Weiyi Shang | ASE | 2023 | Testing / QA; DevOps / CI / Build / Release; Requirements / Modeling / Architecture; Performance / Energy / Reliability |
| Code Difference Guided Adversarial Example Generation for Deep Code Models. Zhao Tian, Junjie Chen 0003, Zhi Jin | ASE | 2023 | Other |
| CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation. Mingwei Liu 0002, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang | ASE | 2023 | Other |
| Coding and Debugging by Separating Secret Code Toward Secure Remote Development. Shinobu Saito | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability |
| Compiler Auto-Tuning via Critical Flag Selection. Mingxuan Zhu, Dan Hao 0001 | ASE | 2023 | Other |
| Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. Xiufeng Xu, Chenguang Zhu 0002, Yi Li 0008 | ASE | 2023 | Other |
| ConfTainter: Static Taint Analysis For Configuration Options. Teng Wang 0004, Haochen He, Xiaodong Liu 0004, Shanshan Li 0001, Zhouyang Jia | ASE | 2023 | Security / Privacy / Vulnerability; DevOps / CI / Build / Release |
| Contextuality of Code Representation Learning. Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen | ASE | 2023 | Other |
| Contrastive Learning for API Aspect Analysis. G. M. Shahariar, Tahmid Hasan, Anindya Iqbal, Gias Uddin 0001 | ASE | 2023 | Other |
| DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. Wensheng Tang, Chengpeng Wang 0001, Peisen Yao, Rongxin Wu, Xianjin Fu | ASE | 2023 | Maintenance / Evolution / Refactoring / Review |
| DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities. Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen | ASE | 2023 | Mobile / Web / GUI / Android |
| DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning. Chunyang Meng, Shijie Song, Haogang Tong, Maolin Pan, Yang Yu 0027 | ASE | 2023 | Other |
| Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models. Liran Wang, Xunzhu Tang, Yichen He, Changyu Ren, Shuhua Shi | ASE | 2023 | DevOps / CI / Build / Release |
| Demystifying Template-Based Invariant Generation for Bit-Vector Programs. Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu 0001, Rongxin Wu | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. Xutong Ma, Jiwei Yan, Hao Zhang 0008, Jun Yan 0009, Jian Zhang 0001 | ASE | 2023 | Other |
| Detecting Smart Home Automation Application Interferences with Domain Knowledge. Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001 | ASE | 2023 | Other |
| Detection of Java Basic Thread Misuses Based on Static Event Analysis. Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan 0009 | ASE | 2023 | Other |
| Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases. Ze Tang 0002, Jidong Ge, Shangqing Liu, Tingwei Zhu, Tongtong Xu | ASE | 2023 | Other |
| DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers. Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal 0002 | ASE | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems. Yiru Chen, Chenxi Zhang 0003, Zhen Dong, Dingyu Yang, Xin Peng 0001 | ASE | 2023 | AI / LLM for SE |
| EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery. Chenyuan Zhang, Yanlin Wang 0001, Zhao Wei, Yong Xu 0007, Juhong Wang | ASE | 2023 | DevOps / CI / Build / Release |
| ESRO: Experience Assisted Service Reliability against Outages. Sarthak Chakraborty, Shubham Agarwal 0007, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey | ASE | 2023 | Performance / Energy / Reliability |
| EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge. Jia Xu 0010, Xiao Liu 0004, Wuzhen Pan, Xuejun Li 0001, Aiting Yao | ASE | 2023 | Other |
| Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration. Zongze Jiang, Ming Wen 0001, Yixin Yang 0006, Chao Peng 0002, Ping Yang | ASE | 2023 | Testing / QA |
| Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. Zuoyan Zhang, Bei Zhou 0004, Jiangwei Hao, Hongru Yang, Mengqi Cui | ASE | 2023 | Other |
| EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Yao Zhang 0019, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang | ASE | 2023 | Other |
| Enhancing Code Safety in Quantum Intermediate Representation. Junjie Luo 0005, Jianjun Zhao 0001 | ASE | 2023 | Other |
| Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components. Zhijie Liu, Liang Feng Zhang, Yutian Tang | ASE | 2023 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Evolve the Model Universe of a System Universe. Tao Yue 0002, Shaukat Ali 0001 | ASE | 2023 | Other |
| Expediting Neural Network Verification via Network Reduction. Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo | ASE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. Yuan-an Xiao, Chenyang Yang 0002, Bo Wang 0050, Yingfei Xiong 0001 | ASE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. Eric Liu, Shengjie Xu, David Lie | ASE | 2023 | Testing / QA |
| Fast and Reliable Program Synthesis via User Interaction. Yanju Chen, Chenglong Wang 0005, Xinyu Wang 0006, Osbert Bastani, Yu Feng 0001 | ASE | 2023 | Other |
| Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition. Nikolaos Louloudakis, Perry Gibson, José Cano 0001, Ajitha Rajan | ASE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Fine-Grained In-Context Permission Classification for Android Apps Using Control-Flow Graph Embedding. Vikas Kumar Malviya, Yan Naing Tun, Chee Wei Leow, Ailys Tee Xynyn, Lwin Khin Shar | ASE | 2023 | AI / LLM for SE; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari | ASE | 2023 | AI / LLM for SE; Cloud / Microservices / Distributed Systems |
| Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks. Liang Wang 0006, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang | ASE | 2023 | Human / Empirical / Socio-technical |
| From Commit Message Generation to History-Aware Commit Message Completion. Aleksandra Eliseeva, Yaroslav Sokolov, Egor Bogomolov, Yaroslav Golubev, Danny Dig | ASE | 2023 | DevOps / CI / Build / Release |
| From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining. Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang 0001 | ASE | 2023 | AI / LLM for SE |
| Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge. Chao Ni 0001, Xinrong Guo, Yan Zhu, Xiaodan Xu, Xiaohu Yang 0001 | ASE | 2023 | Other |
| Fuzzing for CPS Mutation Testing. Jaekwon Lee, Enrico Viganò, Oscar Cornejo 0001, Fabrizio Pastore, Lionel C. Briand | ASE | 2023 | Testing / QA |
| Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction. Quanjun Zhang, Chunrong Fang, Tongke Zhang, Bowen Yu, Weisong Sun | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Generating Variable Explanations via Zero-shot Prompt Learning. Chong Wang 0013, Yiling Lou, Junwei Liu, Xin Peng 0001 | ASE | 2023 | Other |
| Generative Model-Based Testing on Decision-Making Policies. Zhuo Li 0021, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen | ASE | 2023 | Testing / QA; AI / LLM for SE |
| Generative Type Inference for Python. Yun Peng 0003, Chaozheng Wang, Wenxuan Wang 0001, Cuiyun Gao 0001, Michael R. Lyu | ASE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| Government Mobile Apps: Analysing Citizen Feedback via App Reviews. Tooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler | ASE | 2023 | Mobile / Web / GUI / Android |
| Green AI Quotient: Assessing Greenness of AI-based software and the way forward. Samarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder | ASE | 2023 | AI / LLM for SE |
| HOBAT: Batch Verification for Homogeneous Structural Neural Networks. Jingyang Li, Guoqiang Li 0001 | ASE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| HexT5: Unified Pre-Training for Stripped Binary Code Information Inference. Jiaqi Xiong, Guoqiang Chen, Kejiang Chen, Han Gao 0014, Shaoyin Cheng | ASE | 2023 | Other |
| Hot Patching Hot Fixes: Reflection and Perspectives. Carol Hanna, Justyna Petke | ASE | 2023 | Other |
| How Android Apps Break the Data Minimization Principle: An Empirical Study. Shaokun Zhang, Hanwen Lei, Yuanpeng Wang, Ding Li 0001, Yao Guo 0001 | ASE | 2023 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| How to Train Your Neural Bug Detector: Artificial vs Real Bugs. Cedric Richter, Heike Wehrheim | ASE | 2023 | AI / LLM for SE |
| ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps. Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan 0009 | ASE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Identify and Update Test Cases When Production Code Changes: A Transformer-Based Approach. Xing Hu 0008, Zhuang Liu, Xin Xia 0001, Zhongxin Liu 0002, Tongtong Xu | ASE | 2023 | Testing / QA; AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model. Abdulkarim Malkadi, Ahmad Tayeb, Sonia Haiduc | ASE | 2023 | Other |
| Improving Design Reviews at Google. Celal Ziftci, Ben Greenberg | ASE | 2023 | Requirements / Modeling / Architecture |
| Increasing the Responsiveness of Web Applications by Introducing Lazy Loading. Alexi Turcotte, Satyajit Gokhale, Frank Tip | ASE | 2023 | Mobile / Web / GUI / Android |
| InfeRE: Step-by-Step Regex Generation via Chain of Inference. Shuai Zhang, Xiaodong Gu 0002, Yuting Chen 0001, Beijun Shen | ASE | 2023 | Other |
| Information Retrieval-Based Fault Localization for Concurrent Programs. Shuai Shao, Tingting Yu 0001 | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| LEAP: Efficient and Automated Test Method for NLP Software. Mingxuan Xiao, Yan Xiao 0002, Hai Dong, Shunhui Ji, Pengcheng Zhang 0001 | ASE | 2023 | Testing / QA |
| LIV: Loop-Invariant Validation Using Straight-Line Programs. Dirk Beyer 0001, Martin Spiessl | ASE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications. Arooba Shahoor, Askar Yeltayuly Khamit, Jooyong Yi, Dongsun Kim 0001 | ASE | 2023 | Mobile / Web / GUI / Android |
| Learning to Locate and Describe Vulnerabilities. Jian Zhang 0087, Shangqing Liu, Xu Wang 0007, Tianlin Li, Yang Liu 0003 | ASE | 2023 | Other |
| Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain. Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen | ASE | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical |
| LiSum: Open Source Software License Summarization with Multi-Task Learning. Linyu Li 0002, Sihan Xu, Yang Liu 0003, Ya Gao, Xiangrui Cai | ASE | 2023 | Human / Empirical / Socio-technical |
| Live Programming for Finite Model Finders. Allison Sullivan | ASE | 2023 | Other |
| Log Parsing: How Far Can ChatGPT Go? Van-Hoang Le, Hongyu Zhang 0002 | ASE | 2023 | AI / LLM for SE |
| LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism. Xuheng Wang, Jiaxing Song, Xu Zhang 0024, Junshu Tang, Weihe Gao | ASE | 2023 | Cloud / Microservices / Distributed Systems |
| MELT: Mining Effective Lightweight Transformations from Pull Requests. Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins | ASE | 2023 | Other |
| MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. Haoyu Wang 0017, Junjie Chen 0003, Chuyue Xie, Shuang Liu 0007, Zan Wang | ASE | 2023 | Testing / QA |
| MUT4SLX: Fast Mutant Generation for Simulink. Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer | ASE | 2023 | Other |
| MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon | ASE | 2023 | Security / Privacy / Vulnerability |
| Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion. Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Michael R. Lyu | ASE | 2023 | Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains. Ningke Li, Shenao Wang 0001, Mingxi Feng, Kailong Wang 0001, Meizhen Wang | ASE | 2023 | Other |
| Merge Conflict Resolution: Classification or Generation? Jinhao Dong, Qihao Zhu, Zeyu Sun 0004, Yiling Lou, Dan Hao 0001 | ASE | 2023 | Other |
| Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. Yujiang Gui, Dongjie He, Jingling Xue | ASE | 2023 | Security / Privacy / Vulnerability |
| Message from the Chairs: ASE 2023. Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro | ASE | 2023 | Other |
| Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context. Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal | ASE | 2023 | Other |
| Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem. Lyuye Zhang, Chengwei Liu, Sen Chen 0001, Zhengzi Xu, Lingling Fan 0003 | ASE | 2023 | Other |
| Modeling Programmer Attention as Scanpath Prediction. Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang 0013, Yu Huang 0015 | ASE | 2023 | Requirements / Modeling / Architecture |
| Mutation-based Fault Localization of Deep Neural Networks. Ali Ghanbari 0001, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan | ASE | 2023 | Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. Minghao Liu 0001, Kunhang Lv, Pei Huang 0002, Rui Han, Fuqi Jia | ASE | 2023 | Performance / Energy / Reliability |
| NaturalFuzz: Natural Input Generation for Big Data Analytics. Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar | ASE | 2023 | Other |
| Neural SZZ Algorithm. Lingxiao Tang, Lingfeng Bao, Xin Xia 0001, Zhongdong Huang | ASE | 2023 | AI / LLM for SE |
| Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. Tsz On Li, Wenxi Zong, Yibo Wang 0008, Haoye Tian, Ying Wang 0038 | ASE | 2023 | Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| On Automated Assistants for Software Development: The Role of LLMs. Mira Leung, Gail C. Murphy | ASE | 2023 | Other |
| On the Evaluation of Neural Code Translation: Taxonomy and Benchmark. Mingsheng Jiao, Tingrui Yu, Xuan Li, Guanjie Qiu, Xiaodong Gu 0002 | ASE | 2023 | AI / LLM for SE |
| On-the-fly Improving Performance of Deep Code Models via Input Denoising. Zhao Tian, Junjie Chen 0003, Xiangyu Zhang 0001 | ASE | 2023 | Performance / Energy / Reliability |
| Open Source Software Tools for Data Management and Deep Model Training Automation. Umut Tirasoglu, Abdussamet Türker, Adnan Ekici, Hayri Yigit, Yusuf Enes Bölükbasi | ASE | 2023 | Human / Empirical / Socio-technical |
| Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation. Talank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer | ASE | 2023 | Other |
| OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. Wenjie Zhang 0007, Guancheng Wang 0001, Junjie Chen 0003, Yingfei Xiong 0001, Yong Liu 0030 | ASE | 2023 | Other |
| PSMT: Satisfiability Modulo Theories Meets Probability Distribution. Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001 | ASE | 2023 | Other |
| PTDETECTOR: An Automated JavaScript Front-end Library Detector. Xinyue Liu 0005, Lukasz Ziarek | ASE | 2023 | Other |
| PURLTL: Mining LTL Specification from Imperfect Traces in Testing. Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du | ASE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis. Zhenlan Ji, Pingchuan Ma 0004, Shuai Wang 0011 | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| Persisting and Reusing Results of Static Program Analyses on a Large Scale. Johannes Düsing, Ben Hermann | ASE | 2023 | Other |
| Personalized First Issue Recommender for Newcomers in Open Source Projects. Wenxin Xiao, Jingyue Li, Hao He 0012, Ruiqiao Qiu, Minghui Zhou 0001 | ASE | 2023 | Human / Empirical / Socio-technical |
| PhyFu: Fuzzing Modern Physics Simulation Engines. Dongwei Xiao, Zhibo Liu, Shuai Wang 0011 | ASE | 2023 | Testing / QA |
| Pluggable Type Inference for Free. Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira 0001, Alexandra Mendes | ASE | 2023 | Other |
| Potential Solutions to Challenges in C Program Repair: A Practical Perspective. Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Precise Data-Driven Approximation for Program Analysis via Fuzzing. Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme | ASE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. He Ye, Zimin Chen, Claire Le Goues | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Predicting Compilation Resources for Adaptive Build in an Industrial Setting. Junhao Hu, Chaozheng Wang, Hailiang Huang 0004, Huang Luo, Yu Jin | ASE | 2023 | DevOps / CI / Build / Release |
| Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems. Jinyang Liu 0002, Zhihan Jiang, Jiazhen Gu, Junjie Huang 0008, Zhuangbin Chen | ASE | 2023 | Cloud / Microservices / Distributed Systems |
| Provengo: A Tool Suite for Scenario Driven Model-Based Testing. Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss | ASE | 2023 | Testing / QA |
| QuCAT: A Combinatorial Testing Tool for Quantum Software. Xinyi Wang 0004, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001 | ASE | 2023 | Testing / QA |
| QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma 0003 | ASE | 2023 | Testing / QA |
| REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes. Chaozheng Wang, Zongjie Li, Yun Peng 0003, Shuzheng Gao, Sirong Chen | ASE | 2023 | Other |
| RJoules: An Energy Measurement Tool for R. Rajrupa Chattaraj, Sridhar Chimalakonda | ASE | 2023 | Performance / Energy / Reliability |
| RPCover: Recovering gRPC Dependency in Multilingual Projects. Aoyang Fang, Ruiyu Zhou, Xiaoying Tang 0002, Pinjia He | ASE | 2023 | Other |
| Repeated Builds During Code Review: An Empirical Study of the OpenStack Community. Rungroj Maipradit, Dong Wang 0044, Patanamon Thongtanunam, Raula Gaikovina Kula, Yasutaka Kamei | ASE | 2023 | Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review |
| ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps. Yonghui Liu 0001, Xiao Chen 0002, Pei Liu, John Grundy 0001, Chunyang Chen 0001 | ASE | 2023 | Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android |
| Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing. Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou 0002 | ASE | 2023 | Testing / QA; Performance / Energy / Reliability |
| Revisiting and Improving Retrieval-Augmented Deep Assertion Generation. Weifeng Sun 0004, Hongyan Li, Meng Yan 0001, Yan Lei, Hongyu Zhang 0002 | ASE | 2023 | Testing / QA |
| Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers. Zhen Li 0027, Ruqian Zhang, Deqing Zou, Ning Wang 0098, Yating Li | ASE | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System. Juntao Ji, Rongtong Jin, Yubao Fu, Yinyou Gu, Tsung-Han Tsai | ASE | 2023 | Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du | ASE | 2023 | Other |
| SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices. Ziyou Jiang, Lin Shi 0006, Guowei Yang 0001, Qing Wang 0001 | ASE | 2023 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| SMT Solver Validation Empowered by Large Pre-Trained Language Models. Maolin Sun, Yibiao Yang, Yang Wang 0165, Ming Wen 0001, Haoxiang Jia | ASE | 2023 | Testing / QA |
| Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing. Justin Kur, Jingshu Chen, Jun Huang 0001 | ASE | 2023 | Testing / QA |
| Scene-Driven Exploration and GUI Modeling for Android Apps. Xiangyu Zhang, Lingling Fan 0003, Sen Chen 0001, Yucheng Su, Boyuan Li | ASE | 2023 | Requirements / Modeling / Architecture; Mobile / Web / GUI / Android |
| Semantic Data Augmentation for Deep Learning Testing Using Generative AI. Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas | ASE | 2023 | Testing / QA; AI / LLM for SE |
| Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices. Kanchanjot Kaur Phokela, Samarth Sikand, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma | ASE | 2023 | Other |
| SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. Monika Di Angelo, Thomas Durieux, João F. Ferreira 0001, Gernot Salzer | ASE | 2023 | Other |
| SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding. Sicheng Hao 0001, Yuhong Nan, Zibin Zheng, Xiaohui Liu | ASE | 2023 | Other |
| Software Engineering Using Autonomous Agents: Are We There Yet? Samdyuti Suri, Sankar Narayan Das, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma | ASE | 2023 | Other |
| Software Entity Recognition with Noise-Robust Learning. Tai Nguyen 0005, Yifeng Di, Joohan Lee, Muhao Chen 0001, Tianyi Zhang 0001 | ASE | 2023 | Performance / Energy / Reliability |
| SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre | ASE | 2023 | Testing / QA |
| Symbolic Fixpoint Algorithms for Logical LTL Games. Stanly Samuel, Deepak D'Souza, Raghavan Komondoor | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Symbolic Verification of Fuzzy Logic Models. Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang 0001 | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis 0001 | ASE | 2023 | Testing / QA |
| TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu | ASE | 2023 | Testing / QA |
| The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models. Xin Zhou 0014, Kisub Kim, Bowen Xu, Jiakun Liu, DongGyun Han | ASE | 2023 | Other |
| The MAP Metric in Information Retrieval Fault Localization. Thomas Hirsch, Birgit Hofer | ASE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| The Plastic Surgery Hypothesis in the Era of Large Language Models. Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang 0001 | ASE | 2023 | Other |
| Thunderkaller: Profiling and Improving the Performance of Syzkaller. Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma | ASE | 2023 | Performance / Energy / Reliability |
| To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems. Mukelabai Mukelabai, Christoph Derks, Jacob Krüger, Thorsten Berger | ASE | 2023 | Testing / QA |
| Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We? Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota | ASE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Towards Autonomous Testing Agents via Conversational Large Language Models. Robert Feldt, Sungmin Kang, Juyeon Yoon, Shin Yoo | ASE | 2023 | Testing / QA |
| Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution. Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh 0001, Nan Jia, Anita Raja | ASE | 2023 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching. Shubham Kulkarni, Arya Marda, Karthik Vaidhyanathan | ASE | 2023 | AI / LLM for SE |
| Towards a Formal Framework for Normative Requirements Elicitation. Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti 0001 | ASE | 2023 | Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture |
| Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development. Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder | ASE | 2023 | Other |
| Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System. Jun Huang 0003, Yang Yang 0210, Hang Yu 0002, Jianguo Li, Xiao Zheng | ASE | 2023 | Cloud / Microservices / Distributed Systems |
| Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu 0009, Lian Li 0002 | ASE | 2023 | Other |
| Understanding and Enhancing Issue Prioritization in GitHub. Yingying He, Wenhua Yang 0001, Minxue Pan, Yasir Hussain, Yu Zhou 0010 | ASE | 2023 | Human / Empirical / Socio-technical |
| Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem. Weiwei Xu 0001, Hao He 0012, Kai Gao 0008, Minghui Zhou 0001 | ASE | 2023 | Other |
| Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep Learning. Chao Ni 0001, Kaiwen Yang, Yan Zhu, Xiang Chen 0005, Xiaohu Yang 0001 | ASE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Using Deep Learning to Automatically Improve Code Readability. Antonio Vitale, Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto | ASE | 2023 | AI / LLM for SE; Education / Program Comprehension |
| VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. Pengcheng Liu, Yifei Lu, Wenhua Yang 0001, Minxue Pan | ASE | 2023 | Program Analysis / Verification / Formal Methods |
| VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device. Yuwei Liu 0001, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen 0001 | ASE | 2023 | Testing / QA |
| VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage. Xiaoyin Wang, Tahmid Rafi, Na Meng 0001 | ASE | 2023 | Testing / QA |
| Vicious Cycles in Distributed Software Systems. Shangshu Qian, Wen Fan, Lin Tan 0001, Yongle Zhang | ASE | 2023 | Cloud / Microservices / Distributed Systems |
| Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet? Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen 0001, Minxue Pan | ASE | 2023 | Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| WADIFF: A Differential Testing Framework for WebAssembly Runtimes. Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou 0043, Haoyu Wang 0001 | ASE | 2023 | Testing / QA |
| Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs. Shi Meng, Liu Wang 0002, Shenao Wang 0001, Kailong Wang 0001, Xusheng Xiao | ASE | 2023 | Other |
| What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs? Shuzheng Gao, Xin-Cheng Wen, Cuiyun Gao 0001, Wenxuan Wang 0001, Hongyu Zhang 0002 | ASE | 2023 | Other |
| When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection. Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao 0001, Shaohua Wang 0002, Yang Liu 0003 | ASE | 2023 | Other |
| Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem. Suhaib Mujahid, Diego Elias Costa, Rabe Abdalkareem, Emad Shihab | ASE | 2023 | Other |
| Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration. Yuqiang Sun 0001, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu 0003 | ASE | 2023 | Human / Empirical / Socio-technical |
| ZC Jia Li 0012, Chongyang Tao, Zhi Jin 0001, Fang Liu 0032, Jia Li 0011 | ASE | 2023 | Other |
| Zero-Config Fuzzing for Microservices. Wei Wang, Andrei Benea, Franjo Ivancic | ASE | 2023 | Testing / QA |
| cegar-pt: A Tool for Abstraction by Program Transformation. Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl | ASE | 2023 | Other |
| iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm. Neng Zhang 0001, Qinde Chen, Zibin Zheng, Ying Zou 0001 | ASE | 2023 | Other |
| "We Feel Like We're Winging It: " A Study on Navigating Open-Source Dependency Abandonment. Courtney Miller, Christian Kästner, Bogdan Vasilescu | FSE | 2023 | Human / Empirical / Socio-technical |
| A Case Study of Developer Bots: Motivations, Perceptions, and Challenges. Sumit Asthana, Hitesh Sajnani, Elena Voyloshnikova, Birendra Acharya, Kim Herzig | FSE | 2023 | Human / Empirical / Socio-technical |
| A Data Set of Extracted Rationale from Linux Kernel Commit Messages. Mouna Dhaouadi | FSE | 2023 | DevOps / CI / Build / Release |
| A Four-Year Study of Student Contributions to OSS vs. OSS4SG with a Lightweight Intervention. Zihan Fang, Madeline Endres, Thomas Zimmermann 0001, Denae Ford, Westley Weimer | FSE | 2023 | Human / Empirical / Socio-technical; Education / Program Comprehension |
| A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing. Guixin Ye, Tianmin Hu, Zhanyong Tang, Zhenye Fan, Shin Hwei Tan | FSE | 2023 | Testing / QA; AI / LLM for SE |
| A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing. Min-Yih Hsu, Felicitas Hetzelt, David Gens, Michael Maitland, Michael Franz | FSE | 2023 | Other |
| A Language Model of Java Methods with Train/Test Deduplication. Chia-Yi Su, Aakash Bansal, Vijayanta Jain, Sepideh Ghanavati, Collin McMillan | FSE | 2023 | Testing / QA |
| A Large-Scale Empirical Review of Patch Correctness Checking Approaches. Jun Yang 0062, Yuehan Wang, Yiling Lou, Ming Wen 0001, Lingming Zhang 0001 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| A Multidimensional Analysis of Bug Density in SAP HANA. Julian Reck, Thomas Bach 0001, Jan Stoess | FSE | 2023 | Other |
| A Practical Human Labeling Method for Online Just-in-Time Software Defect Prediction. Liyan Song, Leandro L. Minku, Cong Teng, Xin Yao 0001 | FSE | 2023 | Human / Empirical / Socio-technical |
| A Unified Framework for Mini-game Testing: Experience on WeChat. Chaozheng Wang, Haochuan Lu, Cuiyun Gao 0001, Zongjie Li, Ting Xiong | FSE | 2023 | Testing / QA |
| A Vision on Intentions in Software Engineering. Jacob Krüger, Yi Li 0008, Chenguang Zhu 0002, Marsha Chechik, Thorsten Berger | FSE | 2023 | Other |
| AG3: Automated Game GUI Text Glitch Detection Based on Computer Vision. Xiaoyun Liang 0006, Jiayi Qi, Yongqiang Gao, Chao Peng 0002, Ping Yang | FSE | 2023 | Mobile / Web / GUI / Android |
| API-Knowledge Aware Search-Based Software Testing: Where, What, and How. Xiaoxue Ren, Xinyuan Ye, Yun Lin 0001, Zhenchang Xing, Shuqing Li 0001 | FSE | 2023 | Testing / QA |
| Accelerating Continuous Integration with Parallel Batch Testing. Emad Fallahzadeh, Amir Hossein Bavand, Peter C. Rigby | FSE | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Ad Hoc Syntax-Guided Program Reduction. Jia Le Tian, Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yiwen Dong 0002 | FSE | 2023 | Other |
| Adapting Performance Analytic Techniques in a Real-World Database-Centric System: An Industrial Experience Report. Lizhi Liao, Heng Li 0007, Weiyi Shang, Catalin Sporea, Andrei Toma | FSE | 2023 | Performance / Energy / Reliability |
| AdaptivePaste: Intelligent Copy-Paste in IDE. Xiaoyu Liu, Jinu Jang, Neel Sundaresan, Miltiadis Allamanis, Alexey Svyatkovskiy | FSE | 2023 | Other |
| An Automated Approach to Extracting Local Variables. Xiaye Chi, Hui Liu 0003, Guangjie Li, Weixiao Wang, Yunni Xia | FSE | 2023 | Other |
| An Extensive Study on Adversarial Attack against Pre-trained Models of Code. Xiaohu Du, Ming Wen 0001, Zichao Wei, Shangwen Wang, Hai Jin 0001 | FSE | 2023 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Analyzing Microservice Connectivity with Kubesonde. Jacopo Bufalino, Mario Di Francesco, Tuomas Aura | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| Appaction: Automatic GUI Interaction for Mobile Apps via Holistic Widget Perception. Yongxiang Hu 0003, Jiazhen Gu, Shuqing Hu, Yu Zhang 0165, Wenjie Tian | FSE | 2023 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| Assess and Summarize: Improve Outage Understanding with Large Language Models. Pengxiang Jin, Shenglin Zhang, Minghua Ma, Haozhe Li, Yu Kang 0006 | FSE | 2023 | Other |
| Assisting Static Analysis with Large Language Models: A ChatGPT Experiment. Haonan Li 0009, Yu Hao 0006, Yizhuo Zhai, Zhiyun Qian | FSE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. Enze Ma, Shan Huang, Weigang He, Ting Su 0001, Jue Wang | FSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway. Christoph Laaber, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla, Jan Nygård | FSE | 2023 | Testing / QA; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| Automated Testing and Improvement of Named Entity Recognition Systems. Boxi Yu, Yiyan Hu, Qiuyang Mang, Wenhan Hu, Pinjia He | FSE | 2023 | Testing / QA |
| Automated and Context-Aware Repair of Color-Related Accessibility Issues for Android Apps. Yuxin Zhang, Sen Chen 0001, Lingling Fan 0003, Chunyang Chen 0001, Xiaohong Li 0001 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. Huiyan Wang 0001, Shuguan Liu, Lingyu Zhang 0005, Chang Xu 0001 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release |
| BFSig: Leveraging File Significance in Bus Factor Estimation. Vahid Haratian, Mikhail Evtikhiev, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko | FSE | 2023 | Other |
| Baldur: Whole-Proof Generation and Repair with Large Language Models. Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities. Xinyu Gao, Zhijie Wang 0014, Yang Feng 0003, Lei Ma 0003, Zhenyu Chen 0001 | FSE | 2023 | AI / LLM for SE |
| Beyond Sharing: Conflict-Aware Multivariate Time Series Anomaly Detection. Haotian Si, Changhua Pei, Zhihan Li, Yadong Zhao, Jingjing Li | FSE | 2023 | Other |
| BiasAsker: Measuring the Bias in Conversational AI System. Yuxuan Wan, Wenxuan Wang 0001, Pinjia He, Jiazhen Gu, Haonan Bai | FSE | 2023 | AI / LLM for SE |
| BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang | FSE | 2023 | Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| Building and Sustaining Ethnically, Racially, and Gender Diverse Software Engineering Teams: A Study at Google. Ella Dagan, Anita Sarma, Alison Chang, Sarah D'Angelo, Jill Dicker | FSE | 2023 | Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. Qiyuan Zhao, Chuan Luo 0002, Shaowei Cai 0001, Wei Wu 0011, Jinkun Lin | FSE | 2023 | Other |
| CCT5: A Code-Change-Oriented Pre-trained Model. Bo Lin 0011, Shangwen Wang, Zhongxin Liu 0002, Yepang Liu 0001, Xin Xia 0001 | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| CONAN: Statically Detecting Connectivity Issues in Android Applications. Alejandro Mazuera-Rozo, Camilo Escobar-Velásquez, Juan Espitia-Acero, Mario Linares-Vásquez, Gabriele Bavota | FSE | 2023 | Mobile / Web / GUI / Android |
| Can Machine Learning Pipelines Be Better Configured? Yibo Wang 0008, Ying Wang 0038, Tingwei Zhang, Yue Yu 0001, Shing-Chi Cheung | FSE | 2023 | AI / LLM for SE |
| Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics. Ahmad Humayun, Miryung Kim, Muhammad Ali Gulzar | FSE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Code Coverage Criteria for Asynchronous Programs. Mohammad Ganji, Saba Alimadadi, Frank Tip | FSE | 2023 | Testing / QA |
| CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models. Zhensu Sun, Xiaoning Du 0001, Fu Song, Li Li 0029 | FSE | 2023 | AI / LLM for SE |
| Commit-Level, Neural Vulnerability Detection and Assessment. Yi Li 0048, Aashish Yadavally, Jiaxing Zhang 0002, Shaohua Wang 0002, Tien N. Nguyen | FSE | 2023 | AI / LLM for SE; DevOps / CI / Build / Release |
| Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. Kaixuan Li 0002, Sen Chen 0001, Lingling Fan 0003, Ruitao Feng, Han Liu 0012 | FSE | 2023 | Testing / QA; Security / Privacy / Vulnerability |
| Compatibility Issues in Deep Learning Systems: Problems and Opportunities. Jun Wang 0167, Guanping Xiao, Shuai Zhang 0046, Huashan Lei, Yepang Liu 0001 | FSE | 2023 | AI / LLM for SE |
| Compositional Taint Analysis for Enforcing Security Policies at Scale. Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean | FSE | 2023 | Security / Privacy / Vulnerability |
| Contextual Predictive Mutation Testing. Kush Jain, Uri Alon 0002, Alex Groce, Claire Le Goues | FSE | 2023 | Testing / QA |
| Contribution-Based Firing of Developers? Vincenzo Orrei, Marco Raglianti, Csaba Nagy 0001, Michele Lanza 0001 | FSE | 2023 | Human / Empirical / Socio-technical |
| Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair. Yuxiang Wei 0003, Chunqiu Steven Xia, Lingming Zhang 0001 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier 0001, Antonio Bianchi | FSE | 2023 | Other |
| C³: Code Clone-Based Identification of Duplicated Components. Yanming Yang, Ying Zou 0001, Xing Hu 0008, David Lo 0001, Chao Ni 0001 | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| D2S2: Drag 'n' Drop Mobile App Screen Search. Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner | FSE | 2023 | Mobile / Web / GUI / Android |
| DENT: A Tool for Tagging Stack Overflow Posts with Deep Learning Energy Patterns. Shriram Shanbhag, Sridhar Chimalakonda, Vibhu Saujanya Sharma, Vikrant Kaulgud | FSE | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| DeMinify: Neural Variable Name Recovery and Type Inference. Yi Li 0048, Aashish Yadavally, Jiaxing Zhang 0002, Shaohua Wang 0002, Tien N. Nguyen | FSE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data. Will Shackleton, Katriel Cohn-Gordon, Peter C. Rigby, Rui Abreu 0001, James Gill | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse. Boyue Caroline Hu, Lina Marsso, Nikita Dvornik, Huakun Shen, Marsha Chechik | FSE | 2023 | Performance / Energy / Reliability |
| Deep Learning Based Feature Envy Detection Boosted by Real-World Examples. Bo Liu 0094, Hui Liu 0003, Guangjie Li, Nan Niu, Zimao Xu | FSE | 2023 | AI / LLM for SE |
| DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. Xianglin Yang, Yun Lin 0001, Yifan Zhang 0019, Linpeng Huang, Jin Song Dong 0001 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| DeepInfer: Deep Type Inference from Smart Contract Bytecode. Kunsong Zhao, Zihao Li 0001, Jianfeng Li 0006, He Ye, Xiapu Luo | FSE | 2023 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability |
| DeepRover: A Query-Efficient Blackbox Attack for Deep Neural Networks. Fuyuan Zhang, Xinwen Hu, Lei Ma 0003, Jianjun Zhao 0001 | FSE | 2023 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer | FSE | 2023 | Other |
| Demystifying Dependency Bugs in Deep Learning Stack. Kaifeng Huang 0001, Bihuan Chen 0001, Susheng Wu, Junming Cao, Lei Ma 0003 | FSE | 2023 | AI / LLM for SE |
| Demystifying the Composition and Code Reuse in Solidity Smart Contracts. Kairan Sun, Zhengzi Xu, Chengwei Liu, Kaixuan Li 0002, Yang Liu 0003 | FSE | 2023 | Other |
| Design by Contract for Deep Learning APIs. Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan | FSE | 2023 | AI / LLM for SE; Requirements / Modeling / Architecture |
| Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. Bin Yu 0008, Cong Tian 0001, Hengrui Xing, Zuchao Yang, Jie Su 0002 | FSE | 2023 | Other |
| Detecting Overfitting of Machine Learning Techniques for Automatic Vulnerability Detection. Niklas Risse | FSE | 2023 | AI / LLM for SE |
| Detection Is Better Than Cure: A Cloud Incidents Perspective. Vaibhav Ganatra, Anjaly Parayil, Supriyo Ghosh, Yu Kang 0006, Minghua Ma | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| Detection of Optimizations Missed by the Compiler. Yi Zhang 0153 | FSE | 2023 | Other |
| DiagConfig: Configuration Diagnosis of Performance Violations in Configurable Software Systems. Zhiming Chen, Pengfei Chen 0002, Peipei Wang, Guangba Yu, Zilong He | FSE | 2023 | DevOps / CI / Build / Release; Performance / Energy / Reliability |
| Diffusion-Based Time Series Data Imputation for Cloud Failure Prediction at Microsoft 365. Fangkai Yang, Wenjie Yin, Lu Wang 0029, Tianci Li, Pu Zhao 0004 | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Discovering Parallelisms in Python Programs. Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu | FSE | 2023 | Other |
| DistXplore: Distribution-Guided Testing for Evaluating and Enhancing Deep Learning Systems. Longtian Wang, Xiaofei Xie, Xiaoning Du 0001, Meng Tian, Qing Guo 0005 | FSE | 2023 | Testing / QA; AI / LLM for SE |
| Distinguishing Look-Alike Innocent and Vulnerable Code by Subtle Semantic Representation Learning and Explanation. Chao Ni 0001, Xin Yin, Kaiwen Yang, Dehai Zhao, Zhenchang Xing | FSE | 2023 | Other |
| Do All Software Projects Die When Not Maintained? Analyzing Developer Maintenance to Predict OSS Usage. Emily Nguyen | FSE | 2023 | Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review |
| Do CONTRIBUTING Files Provide Information about OSS Newcomers' Onboarding Barriers? Felipe Fronchetti, David C. Shepherd, Igor Wiese, Christoph Treude, Marco Aurélio Gerosa | FSE | 2023 | Other |
| Dynamic Data Fault Localization for Deep Neural Networks. Yining Yin, Yang Feng 0003, Shihao Weng, Zixi Liu, Yuan Yao 0001 | FSE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling. Elvan Kula, Eric Greuter, Arie van Deursen, Georgios Gousios | FSE | 2023 | Requirements / Modeling / Architecture |
| Efficient Text-to-Code Retrieval with Cascaded Fast and Slow Transformer Models. Akhilesh Deepak Gotmare, Junnan Li 0001, Shafiq Joty, Steven C. H. Hoi | FSE | 2023 | AI / LLM for SE |
| Engineering a Formally Verified Automated Bug Finder. Arthur Correnson, Dominic Steinhöfel | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Enhancing Coverage-Guided Fuzzing via Phantom Program. Mingyuan Wu, Kunqiu Chen, Qi Luo, Jiahong Xiang, Ji Qi 0002 | FSE | 2023 | Testing / QA |
| EtherDiffer: Differential Testing on RPC Services of Ethereum Nodes. Shinhae Kim, Sungjae Hwang | FSE | 2023 | Testing / QA |
| EvaCRC: Evaluating Code Review Comments. Lanxin Yang, Jinwei Xu, Yifan Zhang, He Zhang 0001, Alberto Bacchelli | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Evaluating Transfer Learning for Simplifying GitHub READMEs. Haoyu Gao, Christoph Treude, Mansooreh Zahedi | FSE | 2023 | Human / Empirical / Socio-technical |
| EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System. Chengjie Lu, Qinghua Xu, Tao Yue 0002, Shaukat Ali 0001, Thomas Schwitalla | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Exploring Moral Principles Exhibited in OSS: A Case Study on GitHub Heated Issues. Ramtin Ehsani, Rezvaneh Rezapour, Preetha Chatterjee | FSE | 2023 | Human / Empirical / Socio-technical |
| Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. Giang Nguyen, Sumon Biswas, Hridesh Rajan | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| Flow Experience in Software Engineering. Saima Ritonummi, Valtteri Siitonen, Markus Salo, Henri Pirkkalainen, Anu Sivunen | FSE | 2023 | Other |
| From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. Akshay Utture, Jens Palsberg | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| From Point-wise to Group-wise: A Fast and Accurate Microservice Trace Anomaly Detection Approach. Zhe Xie, Changhua Pei, Wanxue Li, Huai Jiang, Liangfei Su | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| FunProbe: Probing Functions from Binary Code through Probabilistic Analysis. Soomin Kim 0002, Hyungseok Kim 0002, Sang Kil Cha | FSE | 2023 | Other |
| Getting Outside the Bug Boxes (Keynote). Margaret Burnett | FSE | 2023 | Other |
| Getting pwn'd by AI: Penetration Testing with Large Language Models. Andreas Happe, Jürgen Cito | FSE | 2023 | Testing / QA |
| Gitor: Scalable Code Clone Detection by Building Global Sample Graph. Junjie Shan, Shihan Dou, Yueming Wu 0001, Hairu Wu, Yang Liu 0003 | FSE | 2023 | DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| Grace: Language Models Meet Code Edits. Priyanshu Gupta, Avishree Khare, Yasharth Bajpai, Saikat Chakraborty 0001, Sumit Gulwani | FSE | 2023 | Other |
| Helion: Enabling Natural Testing of Smart Homes. Prianka Mandal, Sunil Manandhar, Kaushal Kafle, Kevin Moran, Denys Poshyvanyk | FSE | 2023 | Testing / QA |
| Heterogeneous Testing for Coverage Profilers Empowered with Debugging Support. Yibiao Yang, Maolin Sun, Yang Wang 0165, Qingyang Li 0006, Ming Wen 0001 | FSE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| How Early Participation Determines Long-Term Sustained Activity in GitHub Projects? Wenxin Xiao, Hao He 0012, Weiwei Xu 0001, Yuxia Zhang, Minghui Zhou 0001 | FSE | 2023 | Human / Empirical / Socio-technical |
| How Practitioners Expect Code Completion? Chaozheng Wang, Junhao Hu, Cuiyun Gao 0001, Yu Jin, Tao Xie 0001 | FSE | 2023 | Other |
| Hue: A User-Adaptive Parser for Hybrid Logs. Junjielong Xu, Qiuai Fu, Zhouruixing Zhu, Yutong Cheng, Zhijing Li 0007 | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| HyperDiff: Computing Source Code Diffs at Scale. Quentin Le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin, Jean-Marc Jézéquel | FSE | 2023 | Other |
| Incrementalizing Production CodeQL Analyses. Tamás Szabó | FSE | 2023 | Other |
| InferFix: End-to-End Program Repair with LLMs. Matthew Jin, Syed Shahriar, Michele Tufano, Xin Shi, Shuai Lu | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Inferring Complexity Bounds from Recurrence Relations. Didier Ishimwe | FSE | 2023 | Other |
| Input-Driven Dynamic Program Debloating for Code-Reuse Attack Mitigation. Xiaoke Wang, Tao Hui, Lei Zhao 0012, Yueqiang Cheng | FSE | 2023 | Security / Privacy / Vulnerability |
| IoPV: On Inconsistent Option Performance Variations. Jinfu Chen 0002, Zishuo Ding, Yiming Tang 0002, Mohammed Sayagh, Heng Li 0007 | FSE | 2023 | Performance / Energy / Reliability |
| Issue Report Validation in an Industrial Context. Ethem Utku Aktas, Ebru Cakmak, Mete Inan, Cemal Yilmaz 0001 | FSE | 2023 | Testing / QA |
| KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection. Qinghua Xu, Shaukat Ali 0001, Tao Yue 0002, Zaimovic Nedim, Inderjeet Singh | FSE | 2023 | Other |
| KG4CraSolver: Recommending Crash Solutions via Knowledge Graph. Xueying Du, Yiling Lou, Mingwei Liu 0002, Xin Peng 0001, Tianyong Yang | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Keeping Mutation Test Suites Consistent and Relevant with Long-Standing Mutants. Milos Ojdanic, Mike Papadakis, Mark Harman | FSE | 2023 | Testing / QA |
| Knowledge-Based Version Incompatibility Detection for Deep Learning. Zhongkai Zhao, Bonan Kou, Mohamed Yilmaz Ibrahim, Muhao Chen 0001, Tianyi Zhang 0001 | FSE | 2023 | AI / LLM for SE |
| LExecutor: Learning-Guided Execution. Beatriz Souza, Michael Pradel | FSE | 2023 | Other |
| LLM-Based Code Generation Method for Golang Compiler Testing. Qiuhan Gu | FSE | 2023 | Testing / QA; AI / LLM for SE |
| Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. Yuxin Wang 0004, Adam Welc, Lazaro Clapp, Lingchao Chen | FSE | 2023 | Other |
| LazyCow: A Lightweight Crowdsourced Testing Tool for Taming Android Fragmentation. Xiaoyu Sun 0002, Xiao Chen 0002, Yonghui Liu 0001, John C. Grundy, Li Li 0029 | FSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. Bozhi Wu, Shangqing Liu, Yang Xiao 0011, Zhiming Li, Jun Sun 0001 | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems. Supatsara Wattanakriengkrai, Raula Gaikovina Kula, Christoph Treude, Kenichi Matsumoto | FSE | 2023 | Other |
| Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. Jiyuan Wang, Qian Zhang 0020, Hongbo Rong, Guoqing Harry Xu, Miryung Kim | FSE | 2023 | Testing / QA |
| LibKit: Detecting Third-Party Libraries in iOS Apps. Daniel Domínguez-Álvarez, Alejandro de la Cruz, Alessandra Gorla, Juan Caballero | FSE | 2023 | Mobile / Web / GUI / Android |
| LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems. Yibo Dong 0001, Xiaoyu Zhang, Yicong Xu, Chang Cai, Yu Chen | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Log Parsing with Generalization Ability under New Log Types. Siyu Yu, Yifan Wu 0002, Zhijing Li 0007, Pinjia He, Ningjiang Chen | FSE | 2023 | Other |
| MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors. Amit Seal Ami, Syed Yusuf Ahmed, Radowan Mahmud Redoy, Nathan Cooper, Kaushal Kafle | FSE | 2023 | Testing / QA |
| Matching Skills, Past Collaboration, and Limited Competition: Modeling When Open-Source Projects Attract Contributors. Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu | FSE | 2023 | Requirements / Modeling / Architecture |
| Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors. Ruoxi Sun 0001, Minhui Xue 0001, Gareth Tyson, Tian Dong, Shaofeng Li 0001 | FSE | 2023 | Testing / QA; Security / Privacy / Vulnerability |
| Metamong: Detecting Render-Update Bugs in Web Browsers through Fuzzing. Suhwan Song, Byoungyoung Lee | FSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Mining Resource-Operation Knowledge to Support Resource Leak Detection. Chong Wang 0013, Yiling Lou, Xin Peng 0001, Jianan Liu, Baihan Zou | FSE | 2023 | Performance / Energy / Reliability |
| Modeling the Centrality of Developer Output with Software Supply Chains. Audris Mockus, Peter C. Rigby, Rui Abreu 0001, Parth Suresh, Yifen Chen | FSE | 2023 | Human / Empirical / Socio-technical; Requirements / Modeling / Architecture |
| MuRS: Mutant Ranking and Suppression using Identifier Templates. Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic | FSE | 2023 | Other |
| Multilingual Code Co-evolution using Large Language Models. Jiyang Zhang 0003, Pengyu Nie 0001, Junyi Jessy Li, Milos Gligoric 0001 | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| NaNofuzz: A Usable Tool for Automatic Test Generation. Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine | FSE | 2023 | Testing / QA |
| Natural Language to Code: How Far Are We? Shangwen Wang, Mingyang Geng, Bo Lin 0011, Zhensu Sun, Ming Wen 0001 | FSE | 2023 | Other |
| NeuRI: Diversifying DNN Generation via Inductive Rule Inference. Jiawei Liu 0004, Jinjun Peng, Yuyao Wang, Lingming Zhang 0001 | FSE | 2023 | Other |
| Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned. Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer, Sebastian G. Elbaum, Willem Visser | FSE | 2023 | Testing / QA; AI / LLM for SE |
| Nezha: Interpretable Fine-Grained Root Causes Analysis for Microservices on Multi-modal Observability Data. Guangba Yu, Pengfei Chen 0002, Yufeng Li, Hongyang Chen 0002, Xiaoyun Li | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach. Chengjun Chen, Zhicong Zhang, Hongliang Tian, Shoumeng Yan, Hui Xu 0009 | FSE | 2023 | Other |
| On Using Information Retrieval to Recommend Machine Learning Good Practices for Software Engineers. Laura Cabra-Acela, Anamaria Mojica-Hanke, Mario Linares-Vásquez, Steffen Herbold | FSE | 2023 | AI / LLM for SE |
| On the Dual Nature of Necessity in Use of Rust Unsafe Code. Yuchen Zhang 0006, Ashish Kundu, Georgios Portokalidis, Jun Xu 0024 | FSE | 2023 | Other |
| On the Relationship between Code Verifiability and Understandability. Kobi Feldman, Martin Kellogg, Oscar Chaparro | FSE | 2023 | Other |
| On the Usage of Continual Learning for Out-of-Distribution Generalization in Pre-trained Language Models of Code. Martin Weyssow, Xin Zhou 0014, Kisub Kim, David Lo 0001, Houari A. Sahraoui | FSE | 2023 | Other |
| On-Premise AIOps Infrastructure for a Software Editor SME: An Experience Report. Anes Bendimerad, Youcef Remil, Romain Mathonat, Mehdi Kaytoue | FSE | 2023 | Other |
| Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer. Shubham Agarwal 0007, Sarthak Chakraborty, Shaddy Garg, Sumit Bisht, Chahat Jain | FSE | 2023 | Other |
| Ownership in the Hands of Accountability at Brightsquid: A Case Study and a Developer Survey. Umme Ayman Koana, Francis Chew, Chris Carlson, Maleknaz Nayebi | FSE | 2023 | Human / Empirical / Socio-technical |
| P4b: A Translator from P4 Programs to Boogie. Chong Ye, Fei He 0001 | FSE | 2023 | Other |
| PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. Xiangzhe Xu, Zhou Xuan, Shiwei Feng 0002, Siyuan Cheng 0005, Yapeng Ye | FSE | 2023 | Other |
| PPR: Pairwise Program Reduction. Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian 0001, Yu Jiang 0001, Chengnian Sun | FSE | 2023 | Other |
| Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice. Sira Vegas, Sebastian G. Elbaum | FSE | 2023 | Other |
| Practical Inference of Nullability Types. Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan | FSE | 2023 | Other |
| Pre-training Code Representation with Semantic Flow Graph for Effective Bug Localization. Yali Du 0002, Zhongxing Yu | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Predicting Software Performance with Divide-and-Learn. Jingzhi Gong, Tao Chen 0001 | FSE | 2023 | Performance / Energy / Reliability |
| Prioritizing Natural Language Test Cases Based on Highly-Used Game Features. Markos Viggiato, Dale Paas, Cor-Paul Bezemer | FSE | 2023 | Testing / QA |
| Privacy-Centric Log Parsing for Timely, Proactive Personal Data Protection. Issam Sedki | FSE | 2023 | Security / Privacy / Vulnerability |
| Program Repair Guided by Datalog-Defined Static Analysis. Yu Liu 0130, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods |
| PropProof: Free Model-Checking Harnesses from PBT. Yoshiki Takashima | FSE | 2023 | Other |
| Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. Jingling Sun, Ting Su 0001, Jiayi Jiang, Jue Wang, Geguang Pu | FSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair. Weishi Wang, Yue Wang 0034, Shafiq Joty, Steven C. H. Hoi | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Recommending Analogical APIs via Knowledge Graph Embedding. Mingwei Liu 0002, Yanjun Yang, Yiling Lou, Xin Peng 0001, Zhong Zhou | FSE | 2023 | AI / LLM for SE |
| Reflecting on the Use of the Policy-Process-Product Theory in Empirical Software Engineering. Kelechi G. Kalu, Taylor R. Schorlemmer, Sophie Chen, Kyle A. Robinson, Erik Kocinare | FSE | 2023 | Human / Empirical / Socio-technical |
| Revisiting Neural Program Smoothing for Fuzzing. Maria-Irina Nicolae, Max Eisele, Andreas Zeller | FSE | 2023 | Testing / QA; AI / LLM for SE |
| Rotten Green Tests in Google Test. Paul Robinson | FSE | 2023 | Testing / QA |
| SJFuzz: Seed and Mutator Scheduling for JVM Fuzzing. Mingyuan Wu, Yicheng Ouyang, Minghai Lu, Junjie Chen 0003, Yingquan Zhao | FSE | 2023 | Testing / QA |
| STEAM: Observability-Preserving Trace Sampling. Shilin He, Botao Feng, Liqun Li, Xu Zhang 0024, Yu Kang 0006 | FSE | 2023 | Cloud / Microservices / Distributed Systems |
| STraceBERT: Source Code Retrieval using Semantic Application Traces. Claudio Spiess | FSE | 2023 | Other |
| Scalable Program Clone Search through Spectral Analysis. Tristan Benoit, Jean-Yves Marion, Sébastien Bardin | FSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Self-Supervised Query Reformulation for Code Search. Yuetian Mao, Chengcheng Wan 0001, Yuze Jiang, Xiaodong Gu 0002 | FSE | 2023 | Other |
| Semantic Debugging. Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Semantic Test Repair for Web Applications. Xiaofang Qi, Xiang Qian, Yanhui Li | FSE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models. Sunbeom So, Hakjoo Oh | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods |
| Software Architecture Recovery with Information Fusion. Yiran Zhang, Zhengzi Xu, Chengwei Liu, Hongxu Chen 0001, Jianwen Sun | FSE | 2023 | Requirements / Modeling / Architecture |
| Software Architecture in Practice: Challenges and Opportunities. Zhiyuan Wan, Yun Zhang 0011, Xin Xia 0001, Yi Jiang, David Lo 0001 | FSE | 2023 | Requirements / Modeling / Architecture |
| Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. Lida Zhao, Sen Chen 0001, Zhengzi Xu, Chengwei Liu, Lyuye Zhang | FSE | 2023 | Human / Empirical / Socio-technical |
| Speeding up SMT Solving via Compiler Optimization. Benjamin Mikek, Qirun Zhang | FSE | 2023 | Performance / Energy / Reliability |
| State Merging with Quantifiers in Symbolic Execution. David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma 0001 | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations. Huaien Zhang, Yu Pei 0001, Junjie Chen 0003, Shin Hwei Tan | FSE | 2023 | Testing / QA |
| Statistical Reachability Analysis. Seongmin Lee 0001, Marcel Böhme | FSE | 2023 | Other |
| Statistical Type Inference for Incomplete Programs. Yaohui Peng, Jing Xie, Qiongling Yang, Hanwen Guo, Qingan Li | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford | FSE | 2023 | Testing / QA; Requirements / Modeling / Architecture |
| Testing Coreference Resolution Systems without Labeled Test Sets. Jialun Cao, Yaojie Lu 0001, Ming Wen 0001, Shing-Chi Cheung | FSE | 2023 | Testing / QA |
| Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned. Hassan Sartaj, Shaukat Ali 0001, Tao Yue 0002, Kjetil Moberg | FSE | 2023 | Testing / QA |
| The Call Graph Chronicles: Unleashing the Power Within. Masudul Hasan Masud Bhuiyan | FSE | 2023 | Other |
| The EarlyBIRD Catches the Bug: On Exploiting Early Layers of Encoder Models for More Efficient Code Classification. Anastasiia Grishina, Max Hort, Leon Moonen | FSE | 2023 | Other |
| The Most Agile Teams Are the Most Disciplined: On Scaling out Agile Development. Zheng Li 0001, Austen Rainer | FSE | 2023 | Other |
| The State of Survival in OSS: The Impact of Diversity. Zixuan Feng | FSE | 2023 | Other |
| Towards AI-Driven Software Development: Challenges and Lessons from the Field (Keynote). Eran Yahav | FSE | 2023 | AI / LLM for SE |
| Towards Automated Detection of Unethical Behavior in Open-Source Software Projects. Hsu Myat Win, Haibo Wang, Shin Hwei Tan | FSE | 2023 | Other |
| Towards Efficient Record and Replay: A Case Study in WeChat. Sidong Feng, Haochuan Lu, Ting Xiong, Yuetang Deng, Chunyang Chen 0001 | FSE | 2023 | Human / Empirical / Socio-technical |
| Towards Feature-Based Analysis of the Machine Learning Development Lifecycle. Boyue Caroline Hu, Marsha Chechik | FSE | 2023 | AI / LLM for SE |
| Towards Greener Yet Powerful Code Generation via Quantization: An Empirical Study. Xiaokai Wei, Sujan Kumar Gonugondla, Shiqi Wang 0002, Wasi Uddin Ahmad, Baishakhi Ray | FSE | 2023 | Human / Empirical / Socio-technical |
| Towards Strengthening Formal Specifications with Mutation Model Checking. Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens | FSE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables. Jian Gu 0001, Harald C. Gall | FSE | 2023 | Program Analysis / Verification / Formal Methods |
| Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study. Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee | FSE | 2023 | Human / Empirical / Socio-technical |
| TraceDiag: Adaptive, Interpretable, and Efficient Root Cause Analysis on Large-Scale Microservice Systems. Ruomeng Ding, Chaoyun Zhang, Lu Wang 0029, Yong Xu 0010, Minghua Ma | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| TransMap: Pinpointing Mistakes in Neural Code Translation. Bo Wang 0146, Ruishi Li, Mingkai Li, Prateek Saxena | FSE | 2023 | AI / LLM for SE |
| TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. Chenyang Ma, Wei Song 0003, Jeff Huang 0001 | FSE | 2023 | Other |
| Triggering Modes in Spectrum-Based Multi-location Fault Localization. Tung Dao, Na Meng 0001, ThanhVu Nguyen | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Tritor: Detecting Semantic Code Clones by Building Social Network-Based Triads Model. Deqing Zou, Siyue Feng, Yueming Wu 0001, Wenqi Suo, Hai Jin 0001 | FSE | 2023 | DevOps / CI / Build / Release |
| Understanding Hackers' Work: An Empirical Study of Offensive Security Practitioners. Andreas Happe, Jürgen Cito | FSE | 2023 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Understanding Solidity Event Logging Practices in the Wild. Lantian Li, Yejian Liang, Zhihao Liu, Zhongxing Yu | FSE | 2023 | Other |
| Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. Xiaohu Du, Xiao Chen 0026, Jialun Cao, Ming Wen 0001, Shing-Chi Cheung | FSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts. Wenhua Yang 0001, Chong Zhang, Minxue Pan | FSE | 2023 | Other |
| ViaLin: Path-Aware Dynamic Taint Analysis for Android. Khaled Ahmed 0004, Yingying Wang, Mieszko Lis, Julia Rubin | FSE | 2023 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| When Function Inlining Meets WebAssembly: Counterintuitive Impacts on Runtime Performance. Alan Romano, Weihang Wang 0001 | FSE | 2023 | Performance / Energy / Reliability |
| llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang | FSE | 2023 | Security / Privacy / Vulnerability |
| npm-follower: A Complete Dataset Tracking the NPM Ecosystem. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001 | FSE | 2023 | Other |
| xASTNN: Improved Code Representations for Industrial Practice. Zhiwei Xu, Min Zhou 0001, Xibin Zhao, Yang Chen 0001, Xi Cheng | FSE | 2023 | Other |
| µAkka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs. Mohsen Moradi-Moghadam, Mehdi Bagherzadeh 0001, Raffi Khatchadourian, Hamid Bagheri | FSE | 2023 | Testing / QA |
| "STILL AROUND": Experiences and Survival Strategies of Veteran Women Software Developers. Sterre van Breukelen, Ann Barcomb, Sebastian Baltes, Alexander Serebrenik | ICSE | 2023 | Human / Empirical / Socio-technical |
| (Partial) Program Dependence Learning. Aashish Yadavally, Tien N. Nguyen, Wenbo Wang, Shaohua Wang 0002 | ICSE | 2023 | Other |
| 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 | ICSE | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| A Qualitative Study on the Implementation Design Decisions of Developers. Jenny T. Liang, Maryam Arab, Minhyuk Ko, Amy J. Ko, Thomas D. LaToza | ICSE | 2023 | Human / Empirical / Socio-technical; Requirements / Modeling / Architecture |
| AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities. Asem Ghaleb, Julia Rubin, Karthik Pattabiraman | ICSE | 2023 | Security / Privacy / Vulnerability |
| AI-based Question Answering Assistance for Analyzing Natural-language Requirements. Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh | ICSE | 2023 | AI / LLM for SE; Requirements / Modeling / Architecture |
| APICAD: Augmenting API Misuse Detection through Specifications from Code and Documents. Xiaoke Wang, Lei Zhao 0012 | ICSE | 2023 | Other |
| ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search. Rongqi Pan, Taher Ahmed Ghaleb, Lionel C. Briand | ICSE | 2023 | Testing / QA |
| Adhere: Automated Detection and Repair of Intrusive Ads. Yutian Yan, Yunhui Zheng, Xinyue Liu 0005, Nenad Medvidovic, Weihang Wang 0001 | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| AidUI: Toward Automated Recognition of Dark Patterns in User Interfaces. S. M. Hasan Mansur 0001, Sabiha Salma, Damilola Awofisayo, Kevin Moran | ICSE | 2023 | Other |
| An Empirical Comparison of Pre-Trained Models of Source Code. Changan Niu, Chuanyi Li, Vincent Ng 0001, Dongxiao Chen, Jidong Ge | ICSE | 2023 | Human / Empirical / Socio-technical |
| An Empirical Study of Deep Learning Models for Vulnerability Detection. Benjamin Steenhoek, Md Mahbubur Rahman, Richard Jiles, Wei Le | ICSE | 2023 | AI / LLM for SE; Human / 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 | ICSE | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical |
| 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 | ICSE | 2023 | Human / Empirical / Socio-technical |
| Analysing the Impact of Workloads on Modeling the Performance of Configurable Software Systems. Stefan Mühlbauer, Florian Sattler, Christian Kaltenecker, Johannes Dorn, Sven Apel | ICSE | 2023 | Requirements / Modeling / Architecture; Performance / Energy / Reliability |
| Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. Qiang Hu, Yuejun Guo 0001, Xiaofei Xie, Maxime Cordy, Mike Papadakis | ICSE | 2023 | Testing / QA; AI / LLM for SE |
| Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. Davide Corradini, Michele Pasqua, Mariano Ceccato | ICSE | 2023 | Testing / QA |
| Automated Program Repair in the Era of Large Pre-trained Language Models. Chunqiu Steven Xia, Yuxiang Wei 0003, Lingming Zhang 0001 | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated Repair of Programs from Large Language Models. Zhiyu Fan, Xiang Gao 0012, Martin Mirchev, Abhik Roychoudhury, Shin Hwei Tan | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated Summarization of Stack Overflow Posts. Bonan Kou, Muhao Chen 0001, Tianyi Zhang 0001 | ICSE | 2023 | Other |
| Automating Code-Related Tasks Through Transformers: The Impact of Pre-training. Rosalia Tufano, Luca Pascarella, Gabriele Bavota | ICSE | 2023 | Other |
| Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots. Amir Ghorbani, Nathan Cassee, Derek Robinson, Adam Alami, Neil A. Ernst | ICSE | 2023 | Human / Empirical / Socio-technical |
| BFTDETECTOR: Automatic Detection of Business Flow Tampering for Digital Content Service. I Luk Kim, Weihang Wang 0001, Yonghwi Kwon 0001, Xiangyu Zhang 0001 | ICSE | 2023 | Other |
| BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts. Peilin Zheng, Xiapu Luo, Zibin Zheng | ICSE | 2023 | Other |
| Bad Snakes: Understanding and Improving Python Package Index Malware Scanning. Duc-Ly Vu, Zachary Newman, John Speed Meyers | ICSE | 2023 | Security / Privacy / Vulnerability |
| Badge: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing. Dezhi Ran, Hao Wang 0112, Wenyu Wang, Tao Xie 0001 | ICSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests. Chunqiu Steven Xia, Saikat Dutta 0001, Sasa Misailovic, Darko Marinov, Lingming Zhang 0001 | ICSE | 2023 | Testing / QA; AI / LLM for SE |
| Better Automatic Program Repair by Using Bug Reports and Tests Together. Manish Motwani, Yuriy Brun | ICSE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| CC: Causality-Aware Coverage Criterion for Deep Neural Networks. Zhenlan Ji, Pingchuan Ma 0004, Yuanyuan Yuan 0001, Shuai Wang 0011 | ICSE | 2023 | Testing / QA; AI / LLM for SE |
| CCRep: Learning Code Change Representations via Pre-Trained Code Model and Query Back. Zhongxin Liu 0002, Zhijie Tang, Xin Xia 0001, Xiaohu Yang 0001 | ICSE | 2023 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| CCTEST: Testing and Repairing Code Completion Systems. Zongjie Li, Chaozheng Wang, Zhibo Liu, Haoxuan Wang, Dong Chen | ICSE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports. Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao | ICSE | 2023 | Other |
| Carving UI Tests to Generate API Tests and API Specification. Rahulkrishna Yandrapally, Saurabh Sinha 0003, Rachel Tzoref-Brill, Ali Mesbah 0001 | ICSE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android |
| CoCoSoDa: Effective Contrastive Learning for Code Search. Ensheng Shi, Yanlin Wang 0001, Wenchao Gu, Lun Du, Hongyu Zhang 0002 | ICSE | 2023 | Other |
| CoLeFunDa: Explainable Silent Vulnerability Fix Identification. Jiayuan Zhou, Michael Pacheco, Jinfu Chen 0002, Xing Hu 0008, Xin Xia 0001 | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen 0001 | ICSE | 2023 | Testing / QA |
| Code Review of Build System Specifications: Prevalence, Purposes, Patterns, and Perceptions. Mahtab Nejati, Mahmoud Alfadel, Shane McIntosh | ICSE | 2023 | DevOps / 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 | ICSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Commit Message Matters: Investigating Impact and Evolution of Commit Message Quality. Jiawei Li 0013, Iftekhar Ahmed 0001 | ICSE | 2023 | DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| Comparison and Evaluation of Clone Detection Techniques with Different Code Representations. Yuekun Wang, Yuhang Ye 0004, Yueming Wu 0001, Weiwei Zhang, Yinxing Xue | ICSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Compatibility Issue Detection for Android Apps Based on Path-Sensitive Semantic Analysis. Sen Yang, Sen Chen 0001, Lingling Fan 0003, Sihan Xu, Zhanwei Hui | ICSE | 2023 | Mobile / Web / GUI / Android |
| Compatible Remediation on Vulnerabilities from Third-Party Libraries for Java Projects. Lyuye Zhang, Chengwei Liu, Zhengzi Xu, Sen Chen 0001, Lingling Fan 0003 | ICSE | 2023 | Other |
| Compiler Test-Program Generation via Memoized Configuration Search. Junjie Chen 0003, Chenyao Suo, Jiajun Jiang, Peiqi Chen, Xingjian Li 0007 | ICSE | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Compiling Parallel Symbolic Execution with Continuations. Guannan Wei 0001, Songlin Jia, Ruiqi Gao, Haotian Deng 0001, Shangyin Tan | ICSE | 2023 | Program Analysis / Verification / Formal Methods |
| Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs. Jaemin Hong, Sukyoung Ryu | ICSE | 2023 | Other |
| Context-aware Bug Reproduction for Mobile Apps. Yuchao Huang, Junjie Wang 0001, Zhe Liu 0025, Song Wang 0009, Chunyang Chen 0001 | ICSE | 2023 | Mobile / Web / GUI / Android |
| ContraBERT: Enhancing Code Pre-trained Models via Contrastive Learning. Shangqing Liu, Bozhi Wu, Xiaofei Xie, Guozhu Meng, Yang Liu 0003 | ICSE | 2023 | Other |
| Coverage Guided Fault Injection for Cloud Systems. Yu Gao 0002, Wensheng Dou, Dong Wang 0048, Wenhan Feng, Jun Wei 0001 | ICSE | 2023 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Cross-Domain Requirements Linking via Adversarial-based Domain Adaptation. Zhiyuan Chang, Mingyang Li 0005, Qing Wang 0001, Shoubin Li, Junjie Wang 0001 | ICSE | 2023 | Requirements / Modeling / Architecture |
| CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code Models. Changan Niu, Chuanyi Li, Vincent Ng 0001, Bin Luo 0003 | ICSE | 2023 | Other |
| DLInfer: Deep Learning with Static Slicing for Python Type Inference. Yanyan Yan, Yang Feng 0003, Hongcheng Fan, Baowen Xu | ICSE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| DStream: A Streaming-Based Highly Parallel IFDS Framework. Xizao Wang, Zhiqiang Zuo 0002, Lei Bu, Jianhua Zhao | ICSE | 2023 | Other |
| Data Quality Matters: A Case Study of Obsolete Comment Detection. Shengbin Xu, Yuan Yao 0001, Feng Xu 0007, Tianxiao Gu, Jingwei Xu 0001 | ICSE | 2023 | Human / Empirical / Socio-technical |
| Data Quality for Software Vulnerability Datasets. Roland Croft, Muhammad Ali Babar 0001, M. Mehdi Kholoosi | ICSE | 2023 | Other |
| Data-driven Recurrent Set Learning For Non-termination Analysis. Zhilei Han, Fei He 0001 | ICSE | 2023 | Other |
| Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement. Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz | ICSE | 2023 | AI / LLM for SE |
| DeepArc: Modularizing Neural Networks for the Model Maintenance. Xiaoning Ren, Yun Lin 0001, Yinxing Xue, Ruofan Liu, Jun Sun 0001 | ICSE | 2023 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| DeepVD: Toward Class-Separation Features for Neural Network Vulnerability Detection. Wenbo Wang, Tien N. Nguyen, Shaohua Wang 0002, Yi Li 0048, Jiyuan Zhang | ICSE | 2023 | AI / LLM for SE |
| Demystifying Exploitable Bugs in Smart Contracts. Zhuo Zhang 0002, Brian Zhang, Wen Xu, Zhiqiang Lin 0001 | ICSE | 2023 | Other |
| Demystifying Issues, Challenges, and Solutions for Multilingual Software Development. Haoran Yang 0002, Weile Lian, Shaowei Wang 0002, Haipeng Cai | ICSE | 2023 | Other |
| Demystifying Privacy Policy of Third-Party Libraries in Mobile Apps. Kaifa Zhao, Xian Zhan, Le Yu 0002, Shiyao Zhou, Hao Zhou 0043 | ICSE | 2023 | Security / Privacy / Vulnerability; 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 | ICSE | 2023 | Mobile / Web / GUI / Android |
| Detecting Dialog-Related Keyboard Navigation Failures in Web Applications. Paul T. Chiou, Ali S. Alotaibi, William G. J. Halfond | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Detecting Exception Handling Bugs in C++ Programs. Hao Zhang 0008, Ji Luo, Mengze Hu, Jun Yan 0009, Jian Zhang 0001 | ICSE | 2023 | Other |
| Detecting Isolation Bugs via Transaction Oracle Construction. Wensheng Dou, Ziyu Cui, Qianwang Dai, Jiansen Song, Dong Wang 0048 | ICSE | 2023 | Testing / QA |
| Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces. Haoxiang Jia, Ming Wen 0001, Zifan Xie, Xiaochen Guo, Rongxin Wu | ICSE | 2023 | Other |
| Developer-Intent Driven Code Comment Generation. Fangwen Mu, Xiao Chen 0015, Lin Shi 0006, Song Wang 0009, Qing Wang 0001 | ICSE | 2023 | Human / Empirical / Socio-technical |
| Developers' Visuo-spatial Mental Model and Program Comprehension. Abir Bouraffa, Gian-Luca Fuhrmann, Walid Maalej | ICSE | 2023 | Human / Empirical / Socio-technical; Education / Program Comprehension |
| 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 | ICSE | 2023 | Other |
| Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations. Jongwook Kim, Sunbeom So, Hakjoo Oh | ICSE | 2023 | Testing / QA |
| 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 | ICSE | 2023 | Requirements / Modeling / Architecture |
| Do code refactorings influence the merge effort? André Oliveira, Vânia Neves, Alexandre Plastino 0001, Ana Carla Bibiano, Alessandro F. Garcia 0001 | ICSE | 2023 | Other |
| Does data sampling improve deep learning-based vulnerability detection? Yeas! and Nays! Xu Yang, Shaowei Wang 0002, Yi Li 0048, Shaohua Wang 0002 | ICSE | 2023 | AI / LLM for SE |
| 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 | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Doppelgänger Test Generation for Revealing Bugs in Autonomous Driving Software. Yuqi Huai, Yuntianyi Chen, Sumaya Almanee, Tuan Ngo, Xiang Liao | ICSE | 2023 | Testing / QA |
| Duetcs: Code Style Transfer through Generation and Retrieval. Binger Chen, Ziawasch Abedjan | ICSE | 2023 | Other |
| ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei | ICSE | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods |
| 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 | ICSE | 2023 | Other |
| Efficiency Matters: Speeding Up Automated Testing with GUI Rendering Inference. Sidong Feng, Mulong Xie, Chunyang Chen 0001 | ICSE | 2023 | Testing / QA; Mobile / Web / GUI / Android; Performance / Energy / Reliability |
| Enhancing Deep Learning-based Vulnerability Detection by Building Behavior Graph Model. Bin Yuan, Yifan Lu, Yilin Fang, Yueming Wu 0001, Deqing Zou | ICSE | 2023 | AI / LLM for SE; DevOps / CI / Build / Release |
| Evaluating and Improving Hybrid Fuzzing. Ling Jiang, Hengchen Yuan, Mingyuan Wu, Lingming Zhang 0001, Yuqun Zhang | ICSE | 2023 | Testing / QA |
| Evaluating the Impact of Experimental Assumptions in Automated Fault Localization. Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Mike Papadakis | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Evidence Profiles for Validity Threats in Program Comprehension Experiments. Marvin Muñoz Barón, Marvin Wyrich, Daniel Graziotin, Stefan Wagner 0001 | ICSE | 2023 | Education / Program Comprehension |
| 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 | ICSE | 2023 | Mobile / Web / GUI / Android |
| Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation. Parvez Mahbub, Ohiduzzaman Shuvo, Mohammad Masudur Rahman 0001 | ICSE | 2023 | AI / LLM for SE |
| Fairify: Fairness Verification of Neural Networks. Sumon Biswas, Hridesh Rajan | ICSE | 2023 | AI / LLM for SE; Program Analysis / Verification / Formal Methods |
| 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 | ICSE | 2023 | Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| FedDebug: Systematic Debugging for Federated Learning Applications. Waris Gill, Ali Anwar 0001, Muhammad Ali Gulzar | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| FedSlice: Protecting Federated Learning Models from Malicious Participants with Model Slicing. Ziqi Zhang, Yuanchun Li 0003, Bingyan Liu, Yifeng Cai, Ding Li 0001 | ICSE | 2023 | Program Analysis / Verification / Formal Methods |
| 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 | ICSE | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| Finding Causally Different Tests for an Industrial Control System. Christopher M. Poskitt, Yuqi Chen 0001, Jun Sun 0001, Yu Jiang 0001 | ICSE | 2023 | Testing / QA |
| Fine-grained Commit-level Vulnerability Type Prediction by CWE Tree Structure. Shengyi Pan, Lingfeng Bao, Xin Xia 0001, David Lo 0001, Shanping Li | ICSE | 2023 | Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release |
| Flexible and Optimal Dependency Management via Max-SMT. Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell 0001, Massimiliano Culpo | ICSE | 2023 | Other |
| Fonte: Finding Bug Inducing Commits from Failures. Gabin An, Jingun Hong, Naryeong Kim, Shin Yoo | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers. Kaia Newman, Madeline Endres, Westley Weimer, Brittany Johnson | ICSE | 2023 | Other |
| Future Software for Life in Trusted Futures. Sarah Pink | ICSE | 2023 | Other |
| Fuzzing Automatic Differentiation in Deep-Learning Libraries. Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li | ICSE | 2023 | Testing / QA |
| GameRTS: A Regression Testing Framework for Video Games. Jiongchi Yu, Yuechen Wu, Xiaofei Xie, Wei Le, Lei Ma 0003 | ICSE | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems. Garrett Christian, Trey Woodlief, Sebastian G. Elbaum | ICSE | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Generating Test Databases for Database-Backed Applications. Cong Yan, Suman Nath, Shan Lu 0001 | ICSE | 2023 | Testing / QA |
| Heterogeneous Anomaly Detection for Software Systems via Semi-supervised Cross-modal Attention. Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Yongqiang Yang | ICSE | 2023 | Other |
| 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 | ICSE | 2023 | Human / Empirical / Socio-technical |
| 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 | ICSE | 2023 | Program Analysis / Verification / Formal Methods |
| 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 | ICSE | 2023 | Education / Program Comprehension |
| Impact of Code Language Models on Automated Program Repair. Nan Jiang 0012, Kevin Liu, Thibaud Lutellier, Lin Tan 0001 | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Improving API Knowledge Discovery with ML: A Case Study of Comparable API Methods. Daye Nam, Brad A. Myers, Bogdan Vasilescu, Vincent J. Hellendoorn | ICSE | 2023 | Human / Empirical / Socio-technical |
| Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation. Sicong Cao, Xiaobing Sun 0001, Xiaoxue Wu 0001, Lili Bo, Bin Li 0006 | ICSE | 2023 | Other |
| Incident-aware Duplicate Ticket Aggregation for Cloud Systems. Jinyang Liu 0002, Shilin He, Zhuangbin Chen, Liqun Li, Yu Kang 0006 | ICSE | 2023 | Cloud / Microservices / Distributed Systems |
| Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks. Verya Monjezi, Ashutosh Trivedi 0001, Gang Tan, Saeid Tizpaz-Niari | ICSE | 2023 | Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| 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 | ICSE | 2023 | Other |
| JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers. Mingyuan Wu, Minghai Lu, Heming Cui, Junjie Chen 0003, Yuqun Zhang | ICSE | 2023 | Testing / QA |
| KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. Nan Jiang 0012, Thibaud Lutellier, Yiling Lou, Lin Tan 0001, Dan Goldwasser | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Keeping Pace with Ever-Increasing Data: Towards Continual Learning of Code Intelligence Models. Shuzheng Gao, Hongyu Zhang 0002, Cuiyun Gao 0001, Chaozheng Wang | ICSE | 2023 | Other |
| Keyword Extraction From Specification Documents for Planning Security Mechanisms. Jeffy Jahfar Poozhithara, Hazeline U. Asuncion, Brent Lagesse | ICSE | 2023 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability |
| Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction. Sungmin Kang, Juyeon Yoon, Shin Yoo | ICSE | 2023 | Testing / QA; AI / LLM for SE |
| Learning Deep Semantics for Test Completion. Pengyu Nie 0001, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric 0001 | ICSE | 2023 | Testing / QA |
| Learning Graph-based Code Representations for Source-level Functional Similarity Detection. Jiahao Liu 0005, Jun Zeng 0006, Xiang Wang 0010, Zhenkai Liang | ICSE | 2023 | Other |
| Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing. Myungho Lee, Sooyoung Cha, Hakjoo Oh | ICSE | 2023 | Testing / QA |
| Learning to Boost Disjunctive Static Bug-Finders. Yoonseok Ko, Hakjoo Oh | ICSE | 2023 | Other |
| Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX. Xinyuan Miao, Ziyi Lin, Shaojun Wang, Lei Yu, Sanhong Li | ICSE | 2023 | Other |
| Leveraging Feature Bias for Scalable Misprediction Explanation of Machine Learning Models. Jiri Gesi, Xinyun Shen, Yunfan Geng, Qihong Chen, Iftekhar Ahmed 0001 | ICSE | 2023 | AI / LLM for SE |
| Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. Zenan Li, Maorun Zhang, Jingwei Xu 0001, Yuan Yao 0001, Chun Cao | ICSE | 2023 | Testing / QA |
| Locating Framework-specific Crashing Faults with Compact and Explainable Candidate Set. Jiwei Yan, Miaomiao Wang, Yepang Liu 0001, Jun Yan 0009, Long Zhang | ICSE | 2023 | Other |
| Log Parsing with Prompt-based Few-shot Learning. Van-Hoang Le, Hongyu Zhang 0002 | ICSE | 2023 | Other |
| LogReducer: Identify and Reduce Log Hotspots in Kernel on the Fly. Guangba Yu, Pengfei Chen 0002, Pairui Li, Tianjun Weng, Haibing Zheng | ICSE | 2023 | Other |
| MTTM: Metamorphic Testing for Textual Content Moderation Software. Wenxuan Wang 0001, Jen-tse Huang 0001, Weibin Wu 0002, Jianping Zhang 0002, Yizhan Huang | ICSE | 2023 | Testing / QA |
| Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems. Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand | ICSE | 2023 | Testing / QA |
| Measuring Secure Coding Practice and Culture: A Finger Pointing at the Moon is not the Moon. Ita Ryan, Utz Roedig, Klaas-Jan Stol | ICSE | 2023 | Other |
| Measuring and Mitigating Gaps in Structural Testing. Soneya Binta Hossain, Matthew B. Dwyer, Sebastian G. Elbaum, Anh Nguyen-Tuong | ICSE | 2023 | Testing / QA |
| Message from the ICSE 2023 Program Co-Chairs. Lori L. Pollock, Massimiliano Di Penta | ICSE | 2023 | Other |
| Metamorphic Shader Fusion for Testing Graphics Shader Compilers. Dongwei Xiao, Zhibo Liu, Shuai Wang 0011 | ICSE | 2023 | Testing / QA |
| MirrorTaint: Practical Non-intrusive Dynamic Taint Tracking for JVM-based Microservice Systems. Yicheng Ouyang, Kailai Shao, Kunqiu Chen, Ruobing Shen, Chao Chen | ICSE | 2023 | Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems |
| MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. Matteo Paltenghi, Michael Pradel | ICSE | 2023 | Testing / QA |
| 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 | ICSE | 2023 | Other |
| OSSFP: Precise and Scalable C/C++ Third-Party Library Detection using Fingerprinting Functions. Jiahui Wu, Zhengzi Xu, Wei Tang, Lyuye Zhang, Yueming Wu 0001 | ICSE | 2023 | Other |
| On Privacy Weaknesses and Vulnerabilities in Software Systems. Pattaraporn Sangaroonsilp, Hoa Khanh Dam, Aditya Ghose | ICSE | 2023 | Security / Privacy / Vulnerability |
| On the Applicability of Language Models to Block-Based Programs. Elisabeth Griebl, Benedikt Fein, Florian Obermüller, Gordon Fraser 0001, René Just | ICSE | 2023 | Other |
| On the Reproducibility of Software Defect Datasets. Hao-Nan Zhu, Cindy Rubio-González | ICSE | 2023 | Other |
| On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot. Antonio Mastropaolo, Luca Pascarella, Emanuela Guglielmi, Matteo Ciniselli, Simone Scalabrino | ICSE | 2023 | Human / Empirical / Socio-technical |
| On the Self-Governance and Episodic Changes in Apache Incubator Projects: An Empirical Study. Likang Yin, Xiyu Zhang 0002, Vladimir Filkov | ICSE | 2023 | Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review |
| On the Temporal Relations between Logging and Code. Zishuo Ding, Yiming Tang 0002, Yang Li, Heng Li 0007, Weiyi Shang | ICSE | 2023 | Other |
| On-Demand Security Requirements Synthesis with Relational Generative Adversarial Networks. Viktoria Koscinski, Sara Hashemi, Mehdi Mirakhorli | ICSE | 2023 | AI / LLM for SE; Security / Privacy / Vulnerability; Requirements / Modeling / Architecture |
| One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization. Deze Wang, Boxing Chen, Shanshan Li 0001, Wei Luo, Shaoliang Peng | ICSE | 2023 | Other |
| Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers. Suyue Guo, Xinyu Wan, Wei You 0001, Bin Liang 0002, Wenchang Shi | ICSE | 2023 | Testing / QA |
| PExReport: Automatic Creation of Pruned Executable Cross-Project Failure Reports. Sunzhou Huang, Xiaoyin Wang | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| PILAR: Studying and Mitigating the Influence of Configurations on Log Parsing. Hetong Dai, Yiming Tang 0002, Heng Li 0007, Weiyi Shang | ICSE | 2023 | DevOps / CI / Build / Release |
| PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps. Zeya Tan, Wei Song 0003 | ICSE | 2023 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| PYEVOLVE: Automating Frequent Code Changes in Python ML Systems. Malinda Dilhara, Danny Dig, Ameya Ketkar | ICSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Practical and Efficient Model Extraction of Sentiment Analysis APIs. Weibin Wu 0002, Jianping Zhang 0002, Victor Junqiu Wei, Xixian Chen, Zibin Zheng | ICSE | 2023 | Other |
| Predicting Bugs by Monitoring Developers During Task Execution. Gennaro Laudato, Simone Scalabrino, Nicole Novielli, Filippo Lanubile, Rocco Oliveto | ICSE | 2023 | Human / Empirical / Socio-technical |
| RAT: A Refactoring-Aware Traceability Model for Bug Localization. Feifei Niu, Wesley K. G. Assunção, LiGuo Huang, Christoph Mayr-Dorn, Jidong Ge | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture |
| Reachable Coverage: Estimating Saturation in Fuzzing. Danushka Liyanage, Marcel Böhme, Chakkrit Tantithamthavorn, Stephan Lipp | ICSE | 2023 | Testing / QA |
| Read It, Don't Watch It: Captioning Bug Recordings Automatically. Sidong Feng, Mulong Xie, Yinxing Xue, Chunyang Chen 0001 | ICSE | 2023 | Other |
| Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Models. Toufique Ahmed, Supriyo Ghosh, Chetan Bansal, Thomas Zimmermann 0001, Xuchao Zhang | ICSE | 2023 | Cloud / Microservices / Distributed Systems |
| Regression Fuzzing for Deep Learning Systems. Hanmo You, Zan Wang, Junjie Chen 0003, Shuang Liu 0007, Shuochuan Li | ICSE | 2023 | Testing / QA; AI / LLM for SE |
| Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. Linyi Li 0001, Yuhao Zhang 0005, Luyao Ren, Yingfei Xiong 0001, Tao Xie 0001 | ICSE | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| RepresentThemAll: A Universal Learning Representation of Bug Reports. Sen Fang, Tao Zhang 0001, Youshuai Tan, He Jiang 0001, Xin Xia 0001 | ICSE | 2023 | Other |
| Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis. Sahar Badihi, Khaled Ahmed 0004, Yi Li 0008, Julia Rubin | ICSE | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Rete: Learning Namespace Representation for Program Repair. Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev | ICSE | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Retrieval-Based Prompt Selection for Code-Related Few-Shot Learning. Noor Nashid, Mifta Sintaha, Ali Mesbah 0001 | ICSE | 2023 | Other |
| Reusing Deep Neural Network Models through Model Re-engineering. Binhang Qi, Hailong Sun 0001, Xiang Gao 0012, Hongyu Zhang 0002, Zhaotian Li | ICSE | 2023 | AI / LLM for SE |
| Revisiting Learning-based Commit Message Generation. Jinhao Dong, Yiling Lou, Dan Hao 0001, Lin Tan 0001 | ICSE | 2023 | AI / LLM for SE; DevOps / CI / Build / Release |
| Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion. Yuanyuan Yuan 0001, Qi Pang, Shuai Wang 0011 | ICSE | 2023 | Testing / QA |
| Robustification of Behavioral Designs against Environmental Deviations. Changjian Zhang, Tarang Saluja, Rômulo Meira-Góes, Matthew L. Bolton, David Garlan | ICSE | 2023 | Other |
| Rules of Engagement: Why and How Companies Participate in OSS. Mariam Guizani, Aileen Abril Castro-Guzman, Anita Sarma, Igor Steinmacher | ICSE | 2023 | Other |
| Safe Low-Level Code Without Overhead is Practical. Solal Pirelli, George Candea | ICSE | 2023 | Other |
| 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 | ICSE | 2023 | Security / Privacy / Vulnerability |
| SeeHow: Workflow Extraction from Programming Screencasts through Action-Aware Video Analytics. Dehai Zhao, Zhenchang Xing, Xin Xia 0001, Deheng Ye, Xiwei Xu 0001 | ICSE | 2023 | Mobile / Web / GUI / Android |
| SemParser: A Semantic Parser for Log Analytics. Yintong Huo, Yuxin Su 0001, Cheryl Lee, Michael R. Lyu | ICSE | 2023 | Other |
| Semi-Automatic, Inline and Collaborative Web Page Code Curations. Roy Rutishauser, André A. Meyer, Reid Holmes, Thomas Fritz 0001 | ICSE | 2023 | Mobile / Web / GUI / Android |
| Sibyl: Improving Software Engineering Tools with SMT Selection. Will Leeson, Matthew B. Dwyer, Antonio Filieri | ICSE | 2023 | Other |
| Silent Vulnerable Dependency Alert Prediction with Vulnerability Key Aspect Explanation. Jiamou Sun, Zhenchang Xing, Qinghua Lu 0001, Xiwei Xu 0001, Liming Zhu 0001 | ICSE | 2023 | Other |
| SkCoder: A Sketch-based Approach for Automatic Code Generation. Jia Li 0011, Yongmin Li, Ge Li 0001, Zhi Jin 0001, Yiyang Hao | ICSE | 2023 | Other |
| SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk. Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone | ICSE | 2023 | Other |
| Smartmark: Software Watermarking Scheme for Smart Contracts. Taeyoung Kim, Yunhee Jang, Chanjong Lee, Hyungjoon Koo, Hyoungshick Kim | ICSE | 2023 | Other |
| Socio-Technical Anti-Patterns in Building ML-Enabled Software: Insights from Leaders on the Forefront. Alina Mailach, Norbert Siegmund | ICSE | 2023 | DevOps / CI / Build / Release |
| Software Engineering as the Linchpin of Responsible AI. Liming Zhu 0001 | ICSE | 2023 | Other |
| Source Code Recommender Systems: The Practitioners' Perspective. Matteo Ciniselli, Luca Pascarella, Emad Aghajani, Simone Scalabrino, Rocco Oliveto | ICSE | 2023 | Other |
| Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation. Alessio Ferrari 0001, Paola Spoletini | ICSE | 2023 | Requirements / Modeling / Architecture; Mobile / Web / GUI / Android |
| Sustainability is Stratified: Toward a Better Theory of Sustainable Software Engineering. Sean McGuire, Erin Schultz, Bimpe Ayoola, Paul Ralph | ICSE | 2023 | Other |
| Syntax and Domain Aware Model for Unsupervised Program Translation. Fang Liu 0032, Jia Li 0012, Li Zhang 0029 | ICSE | 2023 | Other |
| 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 | ICSE | 2023 | Security / Privacy / Vulnerability |
| Tare: Type-Aware Neural Program Repair. Qihao Zhu, Zeyu Sun 0004, Wenjie Zhang 0007, Yingfei Xiong 0001, Lu Zhang 0023 | ICSE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods |
| Template-based Neural Program Repair. Xiangxin Meng, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001 | ICSE | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Test Selection for Unified Regression Testing. Shuai Wang 0035, Xinyu Lian, Darko Marinov, Tianyin Xu | ICSE | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Testability Refactoring in Pull Requests: Patterns and Trends. Pavel Reich, Walid Maalej | ICSE | 2023 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Testing Database Engines via Query Plan Guidance. Jinsheng Ba, Manuel Rigger | ICSE | 2023 | Testing / QA |
| Testing Database Systems via Differential Query Execution. Jiansen Song, Wensheng Dou, Ziyu Cui, Qianwang Dai, Wei Wang 0049 | ICSE | 2023 | Testing / QA |
| The Road Toward Dependable AI Based Systems. Paolo Tonella | ICSE | 2023 | AI / LLM for SE |
| 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 | ICSE | 2023 | Human / Empirical / Socio-technical |
| 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 | ICSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Tolerate Control-Flow Changes for Sound Data Race Prediction. Shihao Zhu, Yuqi Guo 0002, Long Zhang, Yan Cai 0001 | ICSE | 2023 | Maintenance / Evolution / Refactoring / Review |
| Towards Understanding Fairness and its Composition in Ensemble Machine Learning. Usman Gohar, Sumon Biswas, Hridesh Rajan | ICSE | 2023 | AI / LLM for SE |
| Triggers for Reactive Synthesis Specifications. Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert | ICSE | 2023 | Other |
| Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum. Zibin Zheng, Neng Zhang 0001, Jianzhong Su, Zhijie Zhong, Mingxi Ye | ICSE | 2023 | Other |
| Twins or False Friends? A Study on Energy Consumption and Performance of Configurable Software. Max Weber, Christian Kaltenecker, Florian Sattler, Sven Apel, Norbert Siegmund | ICSE | 2023 | Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| 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 | ICSE | 2023 | AI / LLM for SE; Education / Program Comprehension |
| UPCY: Safely Updating Outdated Dependencies. Andreas Dann, Ben Hermann, Eric Bodden | ICSE | 2023 | Other |
| Understanding and Detecting On-The-Fly Configuration Bugs. Teng Wang 0004, Zhouyang Jia, Shanshan Li 0001, Si Zheng 0003, Yue Yu 0001 | ICSE | 2023 | DevOps / CI / Build / Release |
| Understanding the Threats of Upstream Vulnerabilities to Downstream Projects in the Maven Ecosystem. Yulun Wu, Zeliang Yu, Ming Wen 0001, Qiang Li, Deqing Zou | ICSE | 2023 | Other |
| Usability-Oriented Design of Liquid Types for Java. Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca | ICSE | 2023 | Requirements / Modeling / Architecture |
| Using Reactive Synthesis: An End-to-End Exploratory Case Study. Dor Ma'ayan, Shahar Maoz | ICSE | 2023 | Human / Empirical / Socio-technical |
| VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning. Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen 0001, Haipeng Cai | ICSE | 2023 | AI / LLM for SE |
| Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs. Maolin Sun, Yibiao Yang, Ming Wen 0001, Yongcong Wang, Yuming Zhou | ICSE | 2023 | Other |
| Verifying Data Constraint Equivalence in FinTech Systems. Chengpeng Wang 0001, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang 0001 | ICSE | 2023 | Other |
| ViolationTracker: Building Precise Histories for Static Analysis Violations. Ping Yu, Yijian Wu, Xin Peng 0001, Jiahan Peng, Jian Zhang 0001 | ICSE | 2023 | Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release |
| Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning. Xin-Cheng Wen, Yupan Chen, Cuiyun Gao 0001, Hongyu Zhang 0002, Jie M. Zhang | ICSE | 2023 | Other |
| What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts? Setu Kumar Basak, Lorenzo Neil, Bradley Reaves, Laurie A. Williams | ICSE | 2023 | Human / Empirical / Socio-technical |
| When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study. Vincenzo Riccio, Paolo Tonella | ICSE | 2023 | Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical |
| When to Say What: Learning to Find Condition-Message Inconsistencies. Islem Bouzenia, Michael Pradel | ICSE | 2023 | Other |
| Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? Rafi Shalom, Shahar Maoz | ICSE | 2023 | Other |
| 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo | ISSTA | 2023 | Testing / QA |
| A Bayesian Framework for Automated Debugging. Sungmin Kang, Wonkeun Choi, Shin Yoo | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| A Comprehensive Study on Quality Assurance Tools for Java. Han Liu 0012, Sen Chen 0001, Ruitao Feng, Chengwei Liu, Kaixuan Li 0002 | ISSTA | 2023 | Human / Empirical / Socio-technical |
| A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. Zhiyi Xue, Si Liu 0003, Zhaodi Zhang, Yiting Wu, Min Zhang 0002 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. Jingyi Shi, Yang Xiao 0011, Yuekang Li, Yeting Li, Dongsong Yu | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| AGORA: Automated Generation of Test Oracles for REST APIs. Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés | ISSTA | 2023 | Testing / QA |
| API2Vec: Learning Representations of API Sequences for Malware Detection. Lei Cui 0003, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. Yiming Zhang 0030, Yuxin Hu, Haonan Li 0009, Wenxuan Shi, Zhenyu Ning | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| An Empirical Study of Functional Bugs in Android Apps. Yiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang | ISSTA | 2023 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. Chao Li 0078, Rui Chen 0042, Boxiang Wang, Zhixuan Wang, Tingting Yu | ISSTA | 2023 | Human / Empirical / Socio-technical |
| An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. Kunlun Ren, Weizhong Qiang, Yueming Wu 0001, Yi Zhou, Deqing Zou | ISSTA | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical |
| Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). Pablo Valle, Aitor Arrieta, Maite Arratibel | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. Yu Pan, Zhichao Xu 0001, Levi Taiji Li, Yunhe Yang, Mu Zhang 0001 | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Automated Program Repair from Fuzzing Perspective. Youngjae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Automatic Testing and Benchmarking for Configurable Static Analysis Tools. Austin Mordahl | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning. Zhaoxu Zhang, Robert Winn, Yu Zhao 0010, Tingting Yu 0001, William G. J. Halfond | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. Jun Wang 0151, Yanhui Li, Xiang Huang, Lin Chen 0015, Xiaofang Zhang | ISSTA | 2023 | Testing / QA |
| BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. Mingfei Cheng, Yuan Zhou 0005, Xiaofei Xie | ISSTA | 2023 | Testing / QA |
| Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. Roland Kuhn 0002, Alan Darmasaputra | ISSTA | 2023 | Other |
| Beware of the Unexpected: Bimodal Taint Analysis. Yiu Wai Chow, Max Schäfer, Michael Pradel | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang 0011, Yufan Chen | ISSTA | 2023 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. Xudong Zhang 0007, Yan Cai 0001 | ISSTA | 2023 | Testing / QA |
| CGuard: Scalable and Precise Object Bounds Protection for C. Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh | ISSTA | 2023 | Other |
| CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen 0001, Yufei Chen 0001 | ISSTA | 2023 | Other |
| CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. Yihong Dong, Ge Li 0001, Zhi Jin 0001 | ISSTA | 2023 | Other |
| COME: Commit Message Generation with Modification Embedding. Yichen He, Liran Wang, Kaiyi Wang, Yupeng Zhang, Hang Zhang | ISSTA | 2023 | AI / LLM for SE; DevOps / CI / Build / Release |
| CONCORD: Clone-Aware Contrastive Learning for Source Code. Yangruibo Ding, Saikat Chakraborty 0001, Luca Buratti, Saurabh Pujar, Alessandro Morari | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen 0011, Xuandong Li | ISSTA | 2023 | Other |
| CodeGrid: A Grid Representation of Code. Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé | ISSTA | 2023 | Other |
| Concept-Based Automated Grading of CS-1 Programming Assignments. Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury | ISSTA | 2023 | Other |
| ConfFix: Repairing Configuration Compatibility Issues in Android Apps. Huaxun Huang, Chi Xu, Ming Wen 0001, Yepang Liu 0001, Shing-Chi Cheung | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. Quan Zhang 0003, Yongqiang Tian 0001, Yifeng Ding, Shanshan Li 0001, Chengnian Sun | ISSTA | 2023 | AI / LLM for SE |
| CydiOS: A Model-Based Testing Framework for iOS Apps. Shuohan Wu, Jianfeng Li 0006, Hao Zhou 0043, Yongsheng Fang, Kaifa Zhao | ISSTA | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. Yuhao Zhou, Wei Song 0003 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. Yuhao Zhou, Wei Song 0003 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Data Constraint Mining for Automatic Reconciliation Scripts Generation. Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin | ISSTA | 2023 | Other |
| DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. Queping Kong, Jiachi Chen, Yanlin Wang 0001, Zigui Jiang, Zibin Zheng | ISSTA | 2023 | Other |
| DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. Zhuo Chen 0023, Jie Liu, Yubo Hu, Lei Wu 0012, Yajin Zhou | ISSTA | 2023 | Mobile / Web / GUI / Android |
| DeepAtash: Focused Test Generation for Deep Learning Systems. Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Definition and Detection of Defects in NFT Smart Contracts. Shuo Yang 0012, Jiachi Chen, Zibin Zheng | ISSTA | 2023 | Other |
| Dependency-Aware Metamorphic Testing of Datalog Engines. Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Testing / QA |
| Detecting Condition-Related Bugs with Control Flow Graph Neural Network. Jian Zhang 0087, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001 | ISSTA | 2023 | AI / LLM for SE |
| Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li | ISSTA | 2023 | Testing / QA |
| Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu 0005 | ISSTA | 2023 | Other |
| DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. Simin Chen, Shiyi Wei, Cong Liu 0005, Wei Yang 0013 | ISSTA | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. Austin Mordahl, Dakota Soles, Miao Miao 0001, Zenong Zhang, Shiyi Wei | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release |
| EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. Konstantinos Sagonas, Thanasis Typaldos | ISSTA | 2023 | Other |
| Enhancing REST API Testing with NLP Techniques. Myeongsoo Kim, Davide Corradini, Saurabh Sinha 0003, Alessandro Orso, Michele Pasqua | ISSTA | 2023 | Testing / QA |
| Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo | ISSTA | 2023 | Other |
| EvoSpex: A Search-Based Tool for Postcondition Inference. Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias | ISSTA | 2023 | Other |
| Exploring Missed Optimizations in WebAssembly Optimizers. Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang 0011, Wei Meng 0001 | ISSTA | 2023 | Other |
| Extracting Inline Tests from Unit Tests. Yu Liu 0079, Pengyu Nie 0001, Anna Guo, Milos Gligoric 0001, Owolabi Legunsen | ISSTA | 2023 | Testing / QA |
| FairRec: Fairness Testing for Deep Recommender Systems. Huizhong Guo 0001, Jinfeng Li, Jingyi Wang 0004, Xiangyu Liu, Dongxia Wang 0002 | ISSTA | 2023 | Testing / QA |
| Fairness Testing for Recommender Systems. Huizhong Guo 0001 | ISSTA | 2023 | Testing / QA |
| Finding Short Slow Inputs Faster with Grammar-Based Search. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Other |
| Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree. Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu 0001, Bin Yuan | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Fuzzing Deep Learning Compilers with HirGen. Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Fuzzing Embedded Systems using Debug Interfaces. Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| GDsmith: Detecting Bugs in Cypher Graph Database Engines. Ziyue Hua, Wei Lin 0016, Luyao Ren, Zongyang Li, Lu Zhang 0023 | ISSTA | 2023 | Other |
| GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn 0001, Tyler Sorensen 0001 | ISSTA | 2023 | Testing / QA |
| GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen 0001, Chengcheng Wan 0001 | ISSTA | 2023 | Testing / QA |
| GrayC: Greybox Fuzzing of Compilers and Analysers for C. Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar | ISSTA | 2023 | Testing / QA |
| Green Fuzzer Benchmarking. Jiradet Ounjai, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Other |
| Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme | ISSTA | 2023 | Testing / QA |
| Guided Retraining to Enhance the Detection of Difficult Android Malware. Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein | ISSTA | 2023 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Guiding Greybox Fuzzing with Mutation Testing. Vasudev Vikram, Isabella Laybourn, Ao Li 0009, Nicole Nair, Kelton OBrien | ISSTA | 2023 | Testing / QA |
| Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. Sohil Lal Shrestha | ISSTA | 2023 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| How Effective Are Neural Networks for Fixing Security Vulnerabilities. Yi Wu 0023, Nan Jiang 0012, Hung Viet Pham, Thibaud Lutellier, Jordan Davis | ISSTA | 2023 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. Michael Chesser, Surya Nepal, Damith C. Ranasinghe | ISSTA | 2023 | Testing / QA |
| Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. Xiangzhe Xu, Shiwei Feng 0002, Yapeng Ye, Guangyu Shen, Zian Su | ISSTA | 2023 | AI / LLM for SE |
| Improving Bit-Blasting for Nonlinear Integer Constraints. Fuqi Jia, Rui Han, Pei Huang 0002, Minghao Liu 0001, Feifei Ma | ISSTA | 2023 | Other |
| Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. Dylan Callaghan, Bernd Fischer 0002 | ISSTA | 2023 | Testing / QA |
| In Defense of Simple Techniques for Neural Network Test Case Selection. Shenglin Bao, Chaofeng Sha, Bihuan Chen 0001, Xin Peng 0001, Wenyun Zhao | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu 0001 | ISSTA | 2023 | Other |
| ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. Chaofan Shou, Shangyin Tan, Koushik Sen | ISSTA | 2023 | Security / Privacy / Vulnerability |
| June: A Type Testability Transformation for Improved ATG Performance. Dan Bruce, David A. Kelly, Héctor D. Menéndez 0001, Earl T. Barr, David Clark 0001 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability |
| KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. Qinglong Wang 0003, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu | ISSTA | 2023 | Testing / QA; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang 0001 | ISSTA | 2023 | Testing / QA |
| Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. Yisong Xiao, Aishan Liu, Tianlin Li, Xianglong Liu 0001 | ISSTA | 2023 | Testing / QA |
| LiResolver: License Incompatibility Resolution for Open Source Software. Sihan Xu, Ya Gao, Lingling Fan 0003, Linyu Li 0002, Xiangrui Cai | ISSTA | 2023 | Human / Empirical / Socio-technical |
| Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. Shiwen Yu, Ting Wang 0009, Ji Wang 0001 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado 0001, José Fragoso Santos | ISSTA | 2023 | Testing / QA |
| ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. Mingyi Zhou, Xiang Gao 0012, Jing Wu 0021, John C. Grundy, Xiao Chen 0002 | ISSTA | 2023 | Other |
| More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. Yu Liu 0079, Jiyang Zhang 0003, Pengyu Nie 0001, Milos Gligoric 0001, Owolabi Legunsen | ISSTA | 2023 | Testing / QA; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| NodeRT: Detecting Races in Node.js Applications Practically. Jingyao Zhou, Lei Xu 0003, Gongzheng Lu, Weifeng Zhang 0001, Xiangyu Zhang 0001 | ISSTA | 2023 | Other |
| OCFI: Make Function Entry Identification Hard Again. Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao 0001 | ISSTA | 2023 | Other |
| Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. Francisco Ferreira 0001, Sung-Shik Jongmans | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System. Sunzhou Huang, Xiaoyin Wang | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release |
| Pattern-Based Peephole Optimizations with Java JIT Tests. Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001 | ISSTA | 2023 | Testing / QA |
| PhysCov: Physical Test Coverage for Autonomous Vehicles. Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum | ISSTA | 2023 | Testing / QA |
| Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. Zifan Xie, Ming Wen 0001, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Quantitative Policy Repair for Access Control on the Cloud. William Eiers, Ganesh Sankaran, Tevfik Bultan | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Quantitative Robustness Analysis of Neural Networks. Mara Downing | ISSTA | 2023 | AI / LLM for SE |
| Quantitative Symbolic Similarity Analysis. Laboni Sarker | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| ROME: Testing Image Captioning Systems via Recursive Object Melting. Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He | ISSTA | 2023 | Testing / QA |
| Rare Path Guided Fuzzing. Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li | ISSTA | 2023 | Testing / QA |
| Reasoning about MLIR Semantics through Effects and Handlers. Pingshi Yu | ISSTA | 2023 | Other |
| Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue | ISSTA | 2023 | Other |
| RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. Hao Liu 0003, Yanlin Wang 0001, Zhao Wei, Yong Xu 0007, Juhong Wang | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. Sven Peldszus, Noubar Akopian, Thorsten Berger | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| RustSmith: Random Differential Compiler Testing for Rust. Mayank Sharma, Pingshi Yu, Alastair F. Donaldson | ISSTA | 2023 | Testing / QA |
| SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian 0001, Xu Lu 0003 | ISSTA | 2023 | Testing / QA |
| Security Checking of Trigger-Action-Programming Smart Home Integrations. Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Semantic-Based Neural Network Repair. Richard Schumi, Jun Sun 0001 | ISSTA | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Silent Compiler Bug De-duplication via Three-Dimensional Analysis. Chen Yang, Junjie Chen 0003, Xingyu Fan, Jiajun Jiang, Jun Sun 0001 | ISSTA | 2023 | Other |
| Simulation-Based Validation for Autonomous Driving Systems. Changwen Li, Joseph Sifakis, Qiang Wang 0020, Rongjie Yan, Jian Zhang 0001 | ISSTA | 2023 | Testing / QA |
| SlipCover: Near Zero-Overhead Code Coverage for Python. Juan Altmayer Pizzorno, Emery D. Berger | ISSTA | 2023 | Testing / QA |
| SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. Zeqin Liao, Sicheng Hao 0001, Yuhong Nan, Zibin Zheng | ISSTA | 2023 | Other |
| Splendor: Static Detection of Stored XSS in Modern Web Applications. He Su, Feng Li 0045, Lili Xu, Wenbo Hu, Yujie Sun | ISSTA | 2023 | Mobile / Web / GUI / Android |
| SymRustC: A Hybrid Fuzzer for Rust. Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko | ISSTA | 2023 | Other |
| Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing. Julia Kaiwen Lau, Kelvin Kai Wen Kong, Julian Hao Yong, Per Hoong Tan, Zhou Yang 0003 | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Systematic Testing of the Data-Poisoning Robustness of KNN. Yannan Li 0002, Jingbo Wang 0006, Chao Wang 0001 | ISSTA | 2023 | Testing / QA |
| Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests. Chengpeng Li 0002, Mohammad Mahdi Khosravi, Wing Lam, August Shi | ISSTA | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. Tian Tan 0001, Yue Li 0006 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| Testing Automated Driving Systems by Breaking Many Laws Efficiently. Xiaodong Zhang 0036, Wei Zhao, Yang Sun 0008, Jun Sun 0001, Yulong Shen 0001 | ISSTA | 2023 | Testing / QA |
| Testing Graph Database Engines via Query Partitioning. Matteo Kamm, Manuel Rigger, Chengyu Zhang 0001, Zhendong Su 0001 | ISSTA | 2023 | Testing / QA |
| Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). Yingquan Zhao, Junjie Chen 0003, Ruifeng Fu, Haojie Ye, Zan Wang | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. Daniel Lehmann 0002, Michelle Thalakottur, Frank Tip, Michael Pradel | ISSTA | 2023 | Other |
| Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? Ling Jiang, Hengchen Yuan, Qiyi Tang 0003, Sen Nie, Shi Wu | ISSTA | 2023 | Other |
| To Kill a Mutant: An Empirical Study of Mutation Testing Kills. Hang Du, Vijay Krishna Palepu, James A. Jones | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Toward Automated Detecting Unanticipated Price Feed in Smart Contract. Yifan Mo, Jiachi Chen, Yanlin Wang 0001, Zibin Zheng | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. Ensheng Shi, Yanlin Wang 0001, Hongyu Zhang 0002, Lun Du, Shi Han | ISSTA | 2023 | Human / Empirical / Socio-technical |
| Towards More Realistic Evaluation for Neural Test Oracle Generation. Zhongxin Liu 0002, Kui Liu 0001, Xin Xia 0001, Xiaohu Yang 0001 | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Transforming Test Suites into Croissants. Yang Chen 0059, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand | ISSTA | 2023 | Testing / QA |
| TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Testing / QA; Performance / Energy / Reliability |
| Type Automata. Ori Roth | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Type Batched Program Reduction. Golnaz Gharachorlu, Nick Sumner | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Understanding Breaking Changes in the Wild. Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich 0001, Samuel Ou, Kelly Blincoe | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). Xu Nie, Ningke Li, Kailong Wang 0001, Shangguang Wang, Xiapu Luo | ISSTA | 2023 | AI / LLM for SE |
| Validating Multimedia Content Moderation Software via Semantic Fusion. Wenxuan Wang 0001, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang 0002 | ISSTA | 2023 | Other |
| Vectorizing Program Ingredients for Better JVM Testing. Tianchang Gao, Junjie Chen 0003, Yingquan Zhao, Yuqun Zhang, Lingming Zhang 0001 | ISSTA | 2023 | Testing / QA |
| Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications. Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano, Xue Qin, Foyzul Hassan | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications. Linlin Li, Ruifeng Wang, Xian Zhan, Ying Wang 0038, Cuiyun Gao 0001 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Who Judges the Judge: An Empirical Study on Online Judge Tests. Kaibo Liu, Yudong Han 0001, Jie M. Zhang, Zhenpeng Chen, Federica Sarro | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu | ISSTA | 2023 | Security / Privacy / Vulnerability |
| ωTest: WebView-Oriented Testing for Android Applications. Jiajun Hu, Lili Wei 0001, Yepang Liu 0001, Shing-Chi Cheung | ISSTA | 2023 | Testing / QA; Mobile / Web / GUI / Android |