| 2023 | 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023 |
| 2023 | A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. Dapeng Yan, Zhipeng Gao, Zhiming Liu |
| 2023 | A Comparative Study of Transformer-Based Neural Text Representation Techniques on Bug Triaging. Atish Kumar Dipongkor, Kevin Moran |
| 2023 | A Comprehensive Study on Code Clones in Automated Driving Software. Ran Mo, Yingjie Jiang, Wenjing Zhan, Dongyu Wang, Zengyang Li |
| 2023 | A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem. Wenke Li, Feng Wu, Cai Fu, Fan Zhou |
| 2023 | A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models. Qilin Zhou, Zhengyuan Wei, Haipeng Wang, W. K. Chan |
| 2023 | A Needle is an Outlier in a Haystack: Hunting Malicious PyPI Packages with Code Clustering. Wentao Liang, Xiang Ling, Jingzheng Wu, Tianyue Luo, Yanjun Wu |
| 2023 | ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision. Zhipeng Xue, Zhipeng Gao, Xing Hu, Shanping Li |
| 2023 | ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma, Yang Liu |
| 2023 | ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems. Shengyou Hu, Huayao Wu, Peng Wang, Jing Chang, Yongjun Tu, Xiu Jiang, Xintao Niu, Changhai Nie |
| 2023 | Adaptive REST API Testing with Reinforcement Learning. Myeongsoo Kim, Saurabh Sinha, Alessandro Orso |
| 2023 | An Automated and Flexible Multilingual Bug-Fix Dataset Construction System. Wenkang Zhong, Chuanyi Li, Yunfei Zhang, Ziwen Ge, Jingyu Wang, Jidong Ge, Bin Luo |
| 2023 | An Empirical Study of Malicious Code In PyPI Ecosystem. Wenbo Guo, Zhengzi Xu, Chengwei Liu, Cheng Huang, Yong Fang, Yang Liu |
| 2023 | An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models. Jiaxing Liu, Chaofeng Sha, Xin Peng |
| 2023 | An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair. Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu, Wenjie Wang, Shuhao Li, Yuqing Zhang |
| 2023 | An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani |
| 2023 | An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software. Wenxuan Wang, Jingyuan Huang, Jen-tse Huang, Chang Chen, Jiazhen Gu, Pinjia He, Michael R. Lyu |
| 2023 | An Industrial Practice for Securing Android Apps in the Banking Domain. Vikas Kumar Malviya, Phong Phan, Yan Naing Tun, Albert Ching, Lwin Khin Shar |
| 2023 | 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, Gourav Takhar, Subhajit Roy |
| 2023 | An Intentional Forgetting-Driven Self-Healing Method for Deep Reinforcement Learning Systems. Ahmed Haj Yahmed, Rached Bouchoucha, Houssem Ben Braiek, Foutse Khomh |
| 2023 | ArduinoProg: Towards Automating Arduino Programming. Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang |
| 2023 | Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages. Zhenhao Li, An Ran Chen, Xing Hu, Xin Xia, Tse-Hsun Chen, Weiyi Shang |
| 2023 | Are We Ready to Embrace Generative AI for Software Q&A? Bowen Xu, Thanh-Dat Nguyen, Thanh Le-Cong, Thong Hoang, Jiakun Liu, Kisub Kim, Chen Gong, Changan Niu, Chenyu Wang, Bach Le, David Lo |
| 2023 | 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, Adam P. Burden |
| 2023 | 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, Kisub Kim |
| 2023 | AutoDebloater: Automated Android App Debloating. Jiakun Liu, Xing Hu, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo |
| 2023 | AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection. Yintong Huo, Yichen Li, Yuxin Su, Pinjia He, Zifan Xie, Michael R. Lyu |
| 2023 | Automated Fixing of Web UI Tests via Iterative Element Matching. Yuanzhang Lin, Guoyao Wen, Xiang Gao |
| 2023 | Automated Software Entity Matching Between Successive Versions. Bo Liu, Hui Liu, Nan Niu, Yuxia Zhang, Guangjie Li, Yanjie Jiang |
| 2023 | Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. Jingbo Lu, Dongjie He, Wei Li, Yaoqing Gao, Jingling Xue |
| 2023 | Automating Bias Testing of LLMs. Sergio Morales, Robert Clarisó, Jordi Cabot |
| 2023 | BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++. Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo |
| 2023 | Better Patching Using LLM Prompting, via Self-Consistency. Toufique Ahmed, Premkumar T. Devanbu |
| 2023 | Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations. Szymon Stradowski, Lech Madeyski |
| 2023 | BugMiner: Automating Precise Bug Dataset Construction by Code Evolution History Mining. Xuezhi Song, Yijian Wu, Junming Cao, Bihuan Chen, Yun Lin, Zhengjie Lu, Dingji Wang, Xin Peng |
| 2023 | Bus Factor Explorer. Egor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko |
| 2023 | CAT-LM Training Language Models on Aligned Code And Tests. Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn |
| 2023 | COMEX: A Tool for Generating Customized Source Code Representations. Debeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki, Sridhar Chimalakonda, Atul Kumar |
| 2023 | CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Dirk Beyer, Po-Chun Chien, Nian-Ze Lee |
| 2023 | Causality-Aided Trade-Off Analysis for Machine Learning Fairness. Zhenlan Ji, Pingchuan Ma, Shuai Wang, Yanhui Li |
| 2023 | Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks. Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada |
| 2023 | CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space. Haibin Zheng, Jinyin Chen, Haibo Jin |
| 2023 | Challenges of Accurate and Efficient AutoML. Swarnava Dey, Avik Ghose, Soumik Das |
| 2023 | Characterizing Flaky Tests in Node.js Applications. Xiaoning Chang, Zheheng Liang, Guoquan Wu, Yu Gao, Wei Chen, Jun Wei, Zhenyue Long, Lei Cui, Tao Huang |
| 2023 | CiD4HMOS: A Solution to HarmonyOS Compatibility Issues. Tianzhi Ma, Yanjie Zhao, Li Li, Liang Liu |
| 2023 | CoMSA: A Modeling-Driven Sampling Approach for Configuration Performance Testing. Yuanjie Xia, Zishuo Ding, Weiyi Shang |
| 2023 | Code Difference Guided Adversarial Example Generation for Deep Code Models. Zhao Tian, Junjie Chen, Zhi Jin |
| 2023 | CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation. Mingwei Liu, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang, Xin Peng |
| 2023 | Coding and Debugging by Separating Secret Code Toward Secure Remote Development. Shinobu Saito |
| 2023 | Compiler Auto-Tuning via Critical Flag Selection. Mingxuan Zhu, Dan Hao |
| 2023 | Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. Xiufeng Xu, Chenguang Zhu, Yi Li |
| 2023 | ConfTainter: Static Taint Analysis For Configuration Options. Teng Wang, Haochen He, Xiaodong Liu, Shanshan Li, Zhouyang Jia, Yu Jiang, Qing Liao, Wang Li |
| 2023 | Contextuality of Code Representation Learning. Yi Li, Shaohua Wang, Tien N. Nguyen |
| 2023 | Contrastive Learning for API Aspect Analysis. G. M. Shahariar, Tahmid Hasan, Anindya Iqbal, Gias Uddin |
| 2023 | DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang |
| 2023 | DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities. Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen, Zibin Zheng, Wei Lv, Jiashui Wang |
| 2023 | DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning. Chunyang Meng, Shijie Song, Haogang Tong, Maolin Pan, Yang Yu |
| 2023 | Delving into Commit-Issue Correlation to Enhance Commit Message Generation Models. Liran Wang, Xunzhu Tang, Yichen He, Changyu Ren, Shuhua Shi, Chaoran Yan, Zhoujun Li |
| 2023 | Demystifying Template-Based Invariant Generation for Bit-Vector Programs. Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu, Rongxin Wu, Kui Ren |
| 2023 | Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang |
| 2023 | Detecting Smart Home Automation Application Interferences with Domain Knowledge. Tao Wang, Wei Chen, Liwei Liu, Guoquan Wu, Jun Wei, Tao Huang |
| 2023 | Detection of Java Basic Thread Misuses Based on Static Event Analysis. Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang |
| 2023 | Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases. Ze Tang, Jidong Ge, Shangqing Liu, Tingwei Zhu, Tongtong Xu, Liguo Huang, Bin Luo |
| 2023 | DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers. Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal |
| 2023 | Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems. Yiru Chen, Chenxi Zhang, Zhen Dong, Dingyu Yang, Xin Peng, Jiayu Ou, Hong Yang, Zheshun Wu, Xiaojun Qu, Wei Li |
| 2023 | EALink: An Efficient and Accurate Pre-Trained Framework for Issue-Commit Link Recovery. Chenyuan Zhang, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji |
| 2023 | ESRO: Experience Assisted Service Reliability against Outages. Sarthak Chakraborty, Shubham Agarwal, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey, Videh Aggarwal, Shiv Kumar Saini |
| 2023 | EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge. Jia Xu, Xiao Liu, Wuzhen Pan, Xuejun Li, Aiting Yao, Yun Yang |
| 2023 | Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration. Zongze Jiang, Ming Wen, Yixin Yang, Chao Peng, Ping Yang, Hai Jin |
| 2023 | Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation. Zuoyan Zhang, Bei Zhou, Jiangwei Hao, Hongru Yang, Mengqi Cui, Yuchang Zhou, Guanghui Song, Fei Li, Jinchen Xu, Jie Zhao |
| 2023 | EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software. Yao Zhang, Xiaofei Xie, Yi Li, Sen Chen, Cen Zhang, Xiaohong Li |
| 2023 | Enhancing Code Safety in Quantum Intermediate Representation. Junjie Luo, Jianjun Zhao |
| 2023 | Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components. Zhijie Liu, Liang Feng Zhang, Yutian Tang |
| 2023 | Evolve the Model Universe of a System Universe. Tao Yue, Shaukat Ali |
| 2023 | Expediting Neural Network Verification via Network Reduction. Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo |
| 2023 | ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong |
| 2023 | FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. Eric Liu, Shengjie Xu, David Lie |
| 2023 | Fast and Reliable Program Synthesis via User Interaction. Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng |
| 2023 | Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition. Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan |
| 2023 | 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, Lingxiao Jiang |
| 2023 | Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari |
| 2023 | Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks. Liang Wang, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang, XianPing Tao |
| 2023 | From Commit Message Generation to History-Aware Commit Message Completion. Aleksandra Eliseeva, Yaroslav Sokolov, Egor Bogomolov, Yaroslav Golubev, Danny Dig, Timofey Bryksin |
| 2023 | From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining. Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang |
| 2023 | Function-Level Vulnerability Detection Through Fusing Multi-Modal Knowledge. Chao Ni, Xinrong Guo, Yan Zhu, Xiaodan Xu, Xiaohu Yang |
| 2023 | Fuzzing for CPS Mutation Testing. Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand |
| 2023 | Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction. Quanjun Zhang, Chunrong Fang, Tongke Zhang, Bowen Yu, Weisong Sun, Zhenyu Chen |
| 2023 | Generating Variable Explanations via Zero-shot Prompt Learning. Chong Wang, Yiling Lou, Junwei Liu, Xin Peng |
| 2023 | Generative Model-Based Testing on Decision-Making Policies. Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma, Jianjun Zhao |
| 2023 | Generative Type Inference for Python. Yun Peng, Chaozheng Wang, Wenxuan Wang, Cuiyun Gao, Michael R. Lyu |
| 2023 | Government Mobile Apps: Analysing Citizen Feedback via App Reviews. Tooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler |
| 2023 | Green AI Quotient: Assessing Greenness of AI-based software and the way forward. Samarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder |
| 2023 | HOBAT: Batch Verification for Homogeneous Structural Neural Networks. Jingyang Li, Guoqiang Li |
| 2023 | HexT5: Unified Pre-Training for Stripped Binary Code Information Inference. Jiaqi Xiong, Guoqiang Chen, Kejiang Chen, Han Gao, Shaoyin Cheng, Weiming Zhang |
| 2023 | Hot Patching Hot Fixes: Reflection and Perspectives. Carol Hanna, Justyna Petke |
| 2023 | How Android Apps Break the Data Minimization Principle: An Empirical Study. Shaokun Zhang, Hanwen Lei, Yuanpeng Wang, Ding Li, Yao Guo, Xiangqun Chen |
| 2023 | How to Train Your Neural Bug Detector: Artificial vs Real Bugs. Cedric Richter, Heike Wehrheim |
| 2023 | ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps. Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan |
| 2023 | Identify and Update Test Cases When Production Code Changes: A Transformer-Based Approach. Xing Hu, Zhuang Liu, Xin Xia, Zhongxin Liu, Tongtong Xu, Xiaohu Yang |
| 2023 | Improving Code Extraction from Coding Screencasts Using a Code-Aware Encoder-Decoder Model. Abdulkarim Malkadi, Ahmad Tayeb, Sonia Haiduc |
| 2023 | Improving Design Reviews at Google. Celal Ziftci, Ben Greenberg |
| 2023 | Increasing the Responsiveness of Web Applications by Introducing Lazy Loading. Alexi Turcotte, Satyajit Gokhale, Frank Tip |
| 2023 | InfeRE: Step-by-Step Regex Generation via Chain of Inference. Shuai Zhang, Xiaodong Gu, Yuting Chen, Beijun Shen |
| 2023 | Information Retrieval-Based Fault Localization for Concurrent Programs. Shuai Shao, Tingting Yu |
| 2023 | LEAP: Efficient and Automated Test Method for NLP Software. Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang |
| 2023 | LIV: Loop-Invariant Validation Using Straight-Line Programs. Dirk Beyer, Martin Spiessl |
| 2023 | Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications. Arooba Shahoor, Askar Yeltayuly Khamit, Jooyong Yi, Dongsun Kim |
| 2023 | Learning to Locate and Describe Vulnerabilities. Jian Zhang, Shangqing Liu, Xu Wang, Tianlin Li, Yang Liu |
| 2023 | 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, Xiwei Xu, Qinghua Lu |
| 2023 | LiSum: Open Source Software License Summarization with Multi-Task Learning. Linyu Li, Sihan Xu, Yang Liu, Ya Gao, Xiangrui Cai, Jiarun Wu, Wenli Song, Zheli Liu |
| 2023 | Live Programming for Finite Model Finders. Allison Sullivan |
| 2023 | Log Parsing: How Far Can ChatGPT Go? Van-Hoang Le, Hongyu Zhang |
| 2023 | LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism. Xuheng Wang, Jiaxing Song, Xu Zhang, Junshu Tang, Weihe Gao, Qingwei Lin |
| 2023 | MELT: Mining Effective Lightweight Transformations from Pull Requests. Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues |
| 2023 | MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao |
| 2023 | MUT4SLX: Fast Mutant Generation for Simulink. Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer |
| 2023 | MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. Qiang Hu, Yuejun Guo, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2023 | Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion. Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su, Michael R. Lyu |
| 2023 | MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains. Ningke Li, Shenao Wang, Mingxi Feng, Kailong Wang, Meizhen Wang, Haoyu Wang |
| 2023 | Merge Conflict Resolution: Classification or Generation? Jinhao Dong, Qihao Zhu, Zeyu Sun, Yiling Lou, Dan Hao |
| 2023 | Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. Yujiang Gui, Dongjie He, Jingling Xue |
| 2023 | Message from the Chairs: ASE 2023. Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro |
| 2023 | Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context. Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal |
| 2023 | Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem. Lyuye Zhang, Chengwei Liu, Sen Chen, Zhengzi Xu, Lingling Fan, Lida Zhao, Yiran Zhang, Yang Liu |
| 2023 | Modeling Programmer Attention as Scanpath Prediction. Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang, Yu Huang, Toby Jia-Jun Li, Collin McMillan |
| 2023 | Mutation-based Fault Localization of Deep Neural Networks. Ali Ghanbari, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan |
| 2023 | NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang |
| 2023 | NaturalFuzz: Natural Input Generation for Big Data Analytics. Ahmad Humayun, Yaoxuan Wu, Miryung Kim, Muhammad Ali Gulzar |
| 2023 | Neural SZZ Algorithm. Lingxiao Tang, Lingfeng Bao, Xin Xia, Zhongdong Huang |
| 2023 | Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer |
| 2023 | On Automated Assistants for Software Development: The Role of LLMs. Mira Leung, Gail C. Murphy |
| 2023 | On the Evaluation of Neural Code Translation: Taxonomy and Benchmark. Mingsheng Jiao, Tingrui Yu, Xuan Li, Guanjie Qiu, Xiaodong Gu, Beijun Shen |
| 2023 | On-the-fly Improving Performance of Deep Code Models via Input Denoising. Zhao Tian, Junjie Chen, Xiangyu Zhang |
| 2023 | 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, Toygar Akgün |
| 2023 | Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation. Talank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer, August Shi, Wing Lam |
| 2023 | OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang |
| 2023 | PSMT: Satisfiability Modulo Theories Meets Probability Distribution. Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang |
| 2023 | PTDETECTOR: An Automated JavaScript Front-end Library Detector. Xinyue Liu, Lukasz Ziarek |
| 2023 | PURLTL: Mining LTL Specification from Imperfect Traces in Testing. Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng |
| 2023 | Perfce: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis. Zhenlan Ji, Pingchuan Ma, Shuai Wang |
| 2023 | Persisting and Reusing Results of Static Program Analyses on a Large Scale. Johannes Düsing, Ben Hermann |
| 2023 | Personalized First Issue Recommender for Newcomers in Open Source Projects. Wenxin Xiao, Jingyue Li, Hao He, Ruiqiao Qiu, Minghui Zhou |
| 2023 | PhyFu: Fuzzing Modern Physics Simulation Engines. Dongwei Xiao, Zhibo Liu, Shuai Wang |
| 2023 | Pluggable Type Inference for Free. Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst |
| 2023 | Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes |
| 2023 | Potential Solutions to Challenges in C Program Repair: A Practical Perspective. Jifeng Xuan, Qi Xin, Liqian Chen, Xiaoguang Mao |
| 2023 | Precise Data-Driven Approximation for Program Analysis via Fuzzing. Nikhil Parasaram, Earl T. Barr, Sergey Mechtaev, Marcel Böhme |
| 2023 | 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 |
| 2023 | Predicting Compilation Resources for Adaptive Build in an Industrial Setting. Junhao Hu, Chaozheng Wang, Hailiang Huang, Huang Luo, Yu Jin, Yuetang Deng, Tao Xie |
| 2023 | Prism: Revealing Hidden Functional Clusters from Massive Instances in Cloud Systems. Jinyang Liu, Zhihan Jiang, Jiazhen Gu, Junjie Huang, Zhuangbin Chen, Cong Feng, Zengyin Yang, Yongqiang Yang, Michael R. Lyu |
| 2023 | Provengo: A Tool Suite for Scenario Driven Model-Based Testing. Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss |
| 2023 | QuCAT: A Combinatorial Testing Tool for Quantum Software. Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali |
| 2023 | QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa |
| 2023 | REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes. Chaozheng Wang, Zongjie Li, Yun Peng, Shuzheng Gao, Sirong Chen, Shuai Wang, Cuiyun Gao, Michael R. Lyu |
| 2023 | RJoules: An Energy Measurement Tool for R. Rajrupa Chattaraj, Sridhar Chimalakonda |
| 2023 | RPCover: Recovering gRPC Dependency in Multilingual Projects. Aoyang Fang, Ruiyu Zhou, Xiaoying Tang, Pinjia He |
| 2023 | Repeated Builds During Code Review: An Empirical Study of the OpenStack Community. Rungroj Maipradit, Dong Wang, Patanamon Thongtanunam, Raula Gaikovina Kula, Yasutaka Kamei, Shane McIntosh |
| 2023 | ReuNify: A Step Towards Whole Program Analysis for React Native Android Apps. Yonghui Liu, Xiao Chen, Pei Liu, John Grundy, Chunyang Chen, Li Li |
| 2023 | Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing. Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, Michael R. Lyu |
| 2023 | Revisiting and Improving Retrieval-Augmented Deep Assertion Generation. Weifeng Sun, Hongyan Li, Meng Yan, Yan Lei, Hongyu Zhang |
| 2023 | Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers. Zhen Li, Ruqian Zhang, Deqing Zou, Ning Wang, Yating Li, Shouhuai Xu, Chen Chen, Hai Jin |
| 2023 | RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System. Juntao Ji, Rongtong Jin, Yubao Fu, Yinyou Gu, Tsung-Han Tsai, Qingshan Lin |
| 2023 | SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen |
| 2023 | SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices. Ziyou Jiang, Lin Shi, Guowei Yang, Qing Wang |
| 2023 | SMT Solver Validation Empowered by Large Pre-Trained Language Models. Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen, Haoxiang Jia, Yuming Zhou |
| 2023 | Scalable Industrial Control System Analysis via XAI-Based Gray-Box Fuzzing. Justin Kur, Jingshu Chen, Jun Huang |
| 2023 | Scene-Driven Exploration and GUI Modeling for Android Apps. Xiangyu Zhang, Lingling Fan, Sen Chen, Yucheng Su, Boyuan Li |
| 2023 | Semantic Data Augmentation for Deep Learning Testing Using Generative AI. Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas |
| 2023 | Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices. Kanchanjot Kaur Phokela, Samarth Sikand, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma, Vikrant Kaulgud |
| 2023 | SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer |
| 2023 | SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding. Sicheng Hao, Yuhong Nan, Zibin Zheng, Xiaohui Liu |
| 2023 | Software Engineering Using Autonomous Agents: Are We There Yet? Samdyuti Suri, Sankar Narayan Das, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma, Vikrant Kaulgud |
| 2023 | Software Entity Recognition with Noise-Robust Learning. Tai Nguyen, Yifeng Di, Joohan Lee, Muhao Chen, Tianyi Zhang |
| 2023 | SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre |
| 2023 | Symbolic Fixpoint Algorithms for Logical LTL Games. Stanly Samuel, Deepak D'Souza, Raghavan Komondoor |
| 2023 | Symbolic Verification of Fuzzy Logic Models. Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang |
| 2023 | 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 |
| 2023 | TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella |
| 2023 | The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models. Xin Zhou, Kisub Kim, Bowen Xu, Jiakun Liu, DongGyun Han, David Lo |
| 2023 | The MAP Metric in Information Retrieval Fault Localization. Thomas Hirsch, Birgit Hofer |
| 2023 | The Plastic Surgery Hypothesis in the Era of Large Language Models. Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang |
| 2023 | Thunderkaller: Profiling and Improving the Performance of Syzkaller. Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma, Chao Zhang |
| 2023 | To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems. Mukelabai Mukelabai, Christoph Derks, Jacob Krüger, Thorsten Berger |
| 2023 | Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We? Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota |
| 2023 | Towards Autonomous Testing Agents via Conversational Large Language Models. Robert Feldt, Sungmin Kang, Juyeon Yoon, Shin Yoo |
| 2023 | Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution. Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja |
| 2023 | Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching. Shubham Kulkarni, Arya Marda, Karthik Vaidhyanathan |
| 2023 | Towards a Formal Framework for Normative Requirements Elicitation. Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2023 | Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software Development. Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden |
| 2023 | Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System. Jun Huang, Yang Yang, Hang Yu, Jianguo Li, Xiao Zheng |
| 2023 | Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis. Chenghang Shi, Haofeng Li, Yulei Sui, Jie Lu, Lian Li, Jingling Xue |
| 2023 | Understanding and Enhancing Issue Prioritization in GitHub. Yingying He, Wenhua Yang, Minxue Pan, Yasir Hussain, Yu Zhou |
| 2023 | Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem. Weiwei Xu, Hao He, Kai Gao, Minghui Zhou |
| 2023 | Unifying Defect Prediction, Categorization, and Repair by Multi-Task Deep Learning. Chao Ni, Kaiwen Yang, Yan Zhu, Xiang Chen, Xiaohu Yang |
| 2023 | Using Deep Learning to Automatically Improve Code Readability. Antonio Vitale, Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto |
| 2023 | VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. Pengcheng Liu, Yifei Lu, Wenhua Yang, Minxue Pan |
| 2023 | VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device. Yuwei Liu, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen, Bin Wang, Yingming Zeng, Zhi Xue, Purui Su |
| 2023 | VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage. Xiaoyin Wang, Tahmid Rafi, Na Meng |
| 2023 | Vicious Cycles in Distributed Software Systems. Shangshu Qian, Wen Fan, Lin Tan, Yongle Zhang |
| 2023 | Vision-Based Widget Mapping for Test Migration Across Mobile Platforms: Are We There Yet? Ruihua Ji, Tingwei Zhu, Xiaoqing Zhu, Chunyang Chen, Minxue Pan, Tian Zhang |
| 2023 | WADIFF: A Differential Testing Framework for WebAssembly Runtimes. Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou, Haoyu Wang, Xiapu Luo |
| 2023 | Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs. Shi Meng, Liu Wang, Shenao Wang, Kailong Wang, Xusheng Xiao, Guangdong Bai, Haoyu Wang |
| 2023 | What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs? Shuzheng Gao, Xin-Cheng Wen, Cuiyun Gao, Wenxuan Wang, Hongyu Zhang, Michael R. Lyu |
| 2023 | When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection. Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang, Yang Liu, Zhaoquan Gu |
| 2023 | Where to Go Now? Finding Alternatives for Declining Packages in the npm Ecosystem. Suhaib Mujahid, Diego Elias Costa, Rabe Abdalkareem, Emad Shihab |
| 2023 | Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration. Yuqiang Sun, Zhengzi Xu, Chengwei Liu, Yiran Zhang, Yang Liu |
| 2023 | ZC Jia Li, Chongyang Tao, Zhi Jin, Fang Liu, Jia Li, Ge Li |
| 2023 | Zero-Config Fuzzing for Microservices. Wei Wang, Andrei Benea, Franjo Ivancic |
| 2023 | cegar-pt: A Tool for Abstraction by Program Transformation. Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl |
| 2023 | iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm. Neng Zhang, Qinde Chen, Zibin Zheng, Ying Zou |