| 2024 | A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models. Junjie Yang, Jiajun Jiang, Zeyu Sun, Junjie Chen |
| 2024 | A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Zhihan Jiang, Jinyang Liu, Junjie Huang, Yichen Li, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Jieming Zhu, Michael R. Lyu |
| 2024 | AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation. Zhensu Sun, Xiaoning Du, Zhou Yang, Li Li, David Lo |
| 2024 | API Misuse Detection via Probabilistic Graphical Model. Yunlong Ma, Wentong Tian, Xiang Gao, Hailong Sun, Li Li |
| 2024 | An Empirical Examination of Fuzzer Mutator Performance. James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell |
| 2024 | An Empirical Study of Static Analysis Tools for Secure Code Review. Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude |
| 2024 | An Empirical Study on Kubernetes Operator Bugs. Qingxin Xu, Yu Gao, Jun Wei |
| 2024 | An In-Depth Study of Runtime Verification Overheads during Software Testing. Kevin Guan, Owolabi Legunsen |
| 2024 | Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors. Jinchen Xu, Mengqi Cui, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou, Jie Zhao |
| 2024 | AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference. Hyungseok Kim, Soomin Kim, Jungwoo Lee, Sang Kil Cha |
| 2024 | Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries. Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang, Wenbo Shen, Yajin Zhou |
| 2024 | AutoCodeRover: Autonomous Program Improvement. Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury |
| 2024 | Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph. Xiaoyong Yan, Biao He, Wenbo Shen, Yu Ouyang, Kaihang Zhou, Xingjian Zhang, Xingyu Wang, Yukai Cao, Rui Chang |
| 2024 | Automated Deep Learning Optimization via DSL-Based Source Code Transformation. Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang |
| 2024 | Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT. Chunqiu Steven Xia, Lingming Zhang |
| 2024 | Automated Testing of Networked Systems Reliability. Michal Rozsíval |
| 2024 | Automating Zero-Shot Patch Porting for Hard Forks. Shengyi Pan, You Wang, Zhongxin Liu, Xing Hu, Xin Xia, Shanping Li |
| 2024 | BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan |
| 2024 | Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs. Yicheng Ouyang, Jun Yang, Lingming Zhang |
| 2024 | Better Not Together: Staged Solving for Context-Free Language Reachability. Chenghang Shi, Haofeng Li, Jie Lu, Lian Li |
| 2024 | Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems. Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, Chunming Hu |
| 2024 | Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code. Yujia Chen, Cuiyun Gao, Zezhou Yang, Hongyu Zhang, Qing Liao |
| 2024 | Bugs in Pods: Understanding Bugs in Container Runtime Systems. Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen, Yuekang Li, Wenbo Shen |
| 2024 | C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging. Xuezhi Song, Yijian Wu, Shuning Liu, Bihuan Chen, Yun Lin, Xin Peng |
| 2024 | CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection. Hao Wang, Zeyu Gao, Chao Zhang, Mingyang Sun, Yuchen Zhou, Han Qiu, Xi Xiao |
| 2024 | CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision. Hao Wang, Zeyu Gao, Chao Zhang, Zihan Sha, Mingyang Sun, Yuchen Zhou, Wenyu Zhu, Wenju Sun, Han Qiu, Xi Xiao |
| 2024 | CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors. Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang, Jacques Klein, Tegawendé F. Bissyandé, Shunfu Jin |
| 2024 | Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks. Yuxin Qiu, Jie Hu, Qian Zhang, Heng Yin |
| 2024 | Call Graph Soundness in Android Static Analysis. Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein |
| 2024 | Certified Continual Learning for Neural Network Regression. Long H. Pham, Jun Sun |
| 2024 | Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks. Huaien Zhang, Yu Pei, Shuyun Liang, Zezhong Xing, Shin Hwei Tan |
| 2024 | CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei |
| 2024 | CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding. Dong Li, Meng Yan, Yaosheng Zhang, Zhongxin Liu, Chao Liu, Xiaohong Zhang, Ting Chen, David Lo |
| 2024 | CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios. Zhengran Zeng, Yidong Wang, Rui Xie, Wei Ye, Shikun Zhang |
| 2024 | Collaboration to Repository-Level Vulnerability Detection. Xin-Cheng Wen |
| 2024 | Commit Artifact Preserving Build Prediction. Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao |
| 2024 | CooTest: An Automated Testing Approach for V2X Communication Systems. An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang |
| 2024 | DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3. Zhiying Wu, Jiajing Wu, Hui Zhang, Ziwei Li, Jiachi Chen, Zibin Zheng, Qing Xia, Gang Fan, Yi Zhen |
| 2024 | DBStorm: Generating Various Effective Workloads for Testing Isolation Levels. Keqiang Li, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang, Xuan Zhou, Aoying Zhou |
| 2024 | DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling. Haoran Fang, Kaikai Zhang, Donghui Yu, Yuanyuan Zhang |
| 2024 | DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates. Baoquan Cui, Jiwei Yan, Jian Zhang |
| 2024 | Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing. Tong Wang, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang, Gang Zhao |
| 2024 | Datactive: Data Fault Localization for Object Detection Systems. Yining Yin, Yang Feng, Shihao Weng, Yuan Yao, Jia Liu, Zhihong Zhao |
| 2024 | DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, Yang Liu |
| 2024 | DeLink: Source File Information Recovery in Binaries. Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song, Zhiqiang Shi, Limin Sun |
| 2024 | Decentralized Near-Synchronous Local-First Programming Collaboration. Leon Freudenthaler |
| 2024 | Decomposition of Deep Neural Networks into Modules via Mutation Analysis. Ali Ghanbari |
| 2024 | Define-Use Guided Path Exploration for Better Forced Execution. Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang |
| 2024 | Detecting Build Dependency Errors in Incremental Builds. Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger |
| 2024 | DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing. You Lu, Yifan Tian, Yuyang Bi, Bihuan Chen, Xin Peng |
| 2024 | Distance-Aware Test Input Selection for Deep Neural Networks. Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation. Mingke Yang, Yuqi Chen, Yi Liu, Ling Shi |
| 2024 | Domain Adaptation for Code Model-Based Unit Test Case Generation. Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, Song Wang |
| 2024 | ESBMC-Python: A Bounded Model Checker for Python Programs. Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro |
| 2024 | Efficient DNN-Powered Software with Fair Sparse Models. Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen |
| 2024 | Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis. Shuwei Song, Jiachi Chen, Ting Chen, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, Pan Li |
| 2024 | Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation. Xuyan Ma, Yawen Wang, Junjie Wang, Xiaofei Xie, Boyu Wu, Shoubin Li, Fanjiang Xu, Qing Wang |
| 2024 | Enhancing ROS System Fuzzing through Callback Tracing. Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang |
| 2024 | Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge. Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han, Wenjin Li |
| 2024 | Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just |
| 2024 | Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu |
| 2024 | Evaluating the Effectiveness of Decompilers. Ying Cao, Runze Zhang, Ruigang Liang, Kai Chen |
| 2024 | Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Königsbuch, Nicolas Schneider, Hélène Waeselynck, Dennis Wilson |
| 2024 | FDI: Attack Neural Code Generation Systems through User Feedback Channel. Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li |
| 2024 | FRAFOL: FRAmework FOr Learning mutation testing. Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just |
| 2024 | FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation. Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, Baowen Xu |
| 2024 | FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu |
| 2024 | Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs. Shiwen Shan, Yintong Huo, Yuxin Su, Yichen Li, Dan Li, Zibin Zheng |
| 2024 | FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements. Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, Jifeng Xuan |
| 2024 | Feedback-Directed Partial Execution. Ishrak Hayet, Adam Scott, Marcelo d'Amorim |
| 2024 | Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps. Dingbang Wang, Yu Zhao, Sidong Feng, Zhaoxu Zhang, William G. J. Halfond, Chunyang Chen, Xiaoxia Sun, Jiangfan Shi, Tingting Yu |
| 2024 | Finding Cuts in Static Analysis Graphs to Debloat Software. Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke, Robert Hirschfeld |
| 2024 | FixCheck: A Tool for Improving Patch Correctness Analysis. Facundo Molina, Juan Manuel Copia, Alessandra Gorla |
| 2024 | Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs. Zhanyao Lei, Yixiong Chen, Mingyuan Xia, Zhengwei Qi |
| 2024 | Following the "Thread": Toward Finding Manipulatable Bottlenecks in Blockchain Clients. Shuohan Wu, Zihao Li, Hao Zhou, Xiapu Luo, Jianfeng Li, Haoyu Wang |
| 2024 | FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor. Zhenyu Ye, Lei Zhou, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning, Yupeng Hu, Zheng Qin |
| 2024 | From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems. Drishti Yadav |
| 2024 | FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts. Yunqi Liu, Wei Song |
| 2024 | FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees. Yunqi Liu, Wei Song |
| 2024 | Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation. Jueon Eom, Seyeon Jeong, Taekyoung Kwon |
| 2024 | Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis. Chenyao Suo, Junjie Chen, Shuang Liu, Jiajun Jiang, Yingquan Zhao, Jianrong Wang |
| 2024 | Generalized Concurrency Testing Tool for Distributed Systems. Ege Berkay Gulcan, João Neto, Burcu Kulahcioglu Ozkan |
| 2024 | Graph Learning for Extract Class Refactoring. Luqiao Wang |
| 2024 | Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation. Zhaoyang Chu, Yao Wan, Qian Li, Yang Wu, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin |
| 2024 | Guardian: A Runtime Framework for LLM-Based UI Exploration. Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie |
| 2024 | HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities. Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei, Zhou Quan, Di Cui, Qingshan Li |
| 2024 | How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation. Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma, Xiaofei Xie, Yuekang Li, Limin Sun, Yang Liu |
| 2024 | Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow. Jiachi Chen, Chong Chen, Jiang Hu, John C. Grundy, Yanlin Wang, Ting Chen, Zibin Zheng |
| 2024 | Inconsistencies in TeX-Produced Documents. Jovyn Tan, Manuel Rigger |
| 2024 | Integrating Mutation Techniques to Keep Specification and Source Code in Sync. Kerstin Jacob |
| 2024 | Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters. Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis |
| 2024 | Interpretability Based Neural Network Repair. Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, Xiaoniu Yang |
| 2024 | Interprocedural Path Complexity Analysis. Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang |
| 2024 | Isolation-Based Debugging for Neural Networks. Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen |
| 2024 | JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro |
| 2024 | LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts. Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen, Neng Zhang, Zibin Zheng |
| 2024 | LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, Min Zhang |
| 2024 | LPR: Large Language Models-Aided Program Reduction. Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun |
| 2024 | Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts. Hao Guan, Guangdong Bai, Yepang Liu |
| 2024 | Large Language Models for Equivalent Mutant Detection: How Far Are We? Zhao Tian, Honglin Shu, Dong Wang, Xuejie Cao, Yasutaka Kamei, Junjie Chen |
| 2024 | Learning the Effects of Software Changes. Laura Plein |
| 2024 | Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang |
| 2024 | Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs. Alix Decrop |
| 2024 | Logos: Log Guided Fuzzing for Protocol Implementations. Feifan Wu, Zhengxiong Luo, Yanyang Zhao, Qingpeng Du, Junze Yu, Ruikang Peng, Heyuan Shi, Yu Jiang |
| 2024 | Ma11y: A Mutation Framework for Web Accessibility Testing. Mahan Tafreshipour, Anmol Vilas Deshpande, Forough Mehralian, Iftekhar Ahmed, Sam Malek |
| 2024 | Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset. Zeliang Yu, Ming Wen, Xiaochen Guo, Hai Jin |
| 2024 | MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing. Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su, Cong Feng, Yongqiang Yang, Michael R. Lyu |
| 2024 | Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis. Mingxi Ye, Xingwei Lin, Yuhong Nan, Jiajing Wu, Zibin Zheng |
| 2024 | Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models. Mingyi Zhou, Xiang Gao, Pei Liu, John Grundy, Chunyang Chen, Xiao Chen, Li Li |
| 2024 | Multi-modal Learning for WebAssembly Reverse Engineering. Hanxian Huang, Jishen Zhao |
| 2024 | NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps. Jikai Wang, Haoyu Wang |
| 2024 | NeuFair: Neural Network Fairness Repair with Dropout. Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan |
| 2024 | Neurosymbolic Repair of Test Flakiness. Yang Chen, Reyhaneh Jabbarvand |
| 2024 | One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao |
| 2024 | One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network. Di Cui, Qiangqiang Wang, Yutong Zhao, Jiaqi Wang, Minjie Wei, Jingzhao Hu, Luqiao Wang, Qingshan Li |
| 2024 | Oracle-Guided Program Selection from Large Language Models. Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury |
| 2024 | Panda: A Concurrent Scheduler for Compiler-Based Tools. Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang |
| 2024 | PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen |
| 2024 | Policy Testing with MDPFuzz (Replicability Study). Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher |
| 2024 | PolyTracker: Whole-Input Dynamic Information Flow Tracing. Evan Sultanik, Marek Surovic, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca, Carson Harmon, Lisa Overall, Joseph Sweeney, Bradford Larsen |
| 2024 | Practitioners' Expectations on Automated Test Generation. Xiao Yu, Lei Liu, Xing Hu, Jacky Keung, Xin Xia, David Lo |
| 2024 | Precise Compositional Buffer Overflow Detection via Heap Disjointness. Yiyuan Guo, Peisen Yao, Charles Zhang |
| 2024 | Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs. Arooba Shahoor, Jooyong Yi, Dongsun Kim |
| 2024 | Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024 Maria Christakis, Michael Pradel |
| 2024 | Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization. Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng |
| 2024 | Quality Assurance for Non-trivial Systems: Use Case GCC Plugins. Nimantha Kariyakarawana |
| 2024 | Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay. Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari, Xin Peng |
| 2024 | Revisiting Test-Case Prioritization on Long-Running Test Suites. Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov |
| 2024 | Robustness against the C/C++11 Memory Model. Roy David Margalit |
| 2024 | SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection. Xin-Cheng Wen, Cuiyun Gao, Shuzheng Gao, Yang Xiao, Michael R. Lyu |
| 2024 | SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist |
| 2024 | SQLess: Dialect-Agnostic SQL Query Simplification. Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, Gang Fan |
| 2024 | Scalable, Sound, and Accurate Jump Table Analysis. Huan Nguyen, Soumyakant Priyadarshan, R. Sekar |
| 2024 | Search-Based Translations for Tensor Operations. Jie Qiu |
| 2024 | See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. Yuanyuan Yuan, Shuai Wang, Zhendong Su |
| 2024 | SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo |
| 2024 | Segment-Based Test Case Prioritization: A Multi-objective Approach. Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen |
| 2024 | SelfPiCo: Self-Guided Partial Code Execution with LLMs. Zhipeng Xue, Zhipeng Gao, Shaohua Wang, Xing Hu, Xin Xia, Shanping Li |
| 2024 | Semantic Constraint Inference for Web Form Test Generation. Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah |
| 2024 | Shaping Test Inputs in Grammar-Based Fuzzing. José Antonio Zamudio Amaya |
| 2024 | Silent Taint-Style Vulnerability Fixes Identification. Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li |
| 2024 | Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC. Haolai Wei, Liwei Chen, Zhijie Zhang, Gang Shi, Dan Meng |
| 2024 | Soft Verification for Actor Contract Systems. Bram Vandenbogaerde |
| 2024 | Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio |
| 2024 | Synthesis-Based Enhancement for GUI Test Case Migration. Yakun Zhang, Qihao Zhu, Jiwei Yan, Chen Liu, Wenjie Zhang, Yifan Zhao, Dan Hao, Lu Zhang |
| 2024 | Synthesizing Boxes Preconditions for Deep Neural Networks. Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang |
| 2024 | Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment. Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen, Shouling Ji, Jianhai Chen, Jundong Xie, Long Liu |
| 2024 | TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development. Xiangshan Gao, Jialuo Chen, Jingyi Wang, Jie Shi, Peng Cheng, Jiming Chen |
| 2024 | Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics. Demet Demir, Aysu Betin Can, Elif Sürer |
| 2024 | Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA. Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval |
| 2024 | Testing Graph Database Systems with Graph-State Persistence Oracle. Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang, Xiaoyong Du |
| 2024 | Testing Gremlin-Based Graph Database Systems via Query Disassembling. Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin Zhu, Wei Wang, Jun Wei, Hua Zhong, Tao Huang |
| 2024 | The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios. Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek |
| 2024 | ThinkRepair: Self-Directed Automated Program Repair. Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, Xiaohu Yang |
| 2024 | Total Recall? How Good Are Static Call Graphs Really? Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini |
| 2024 | Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions. Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran, Oscar Chaparro |
| 2024 | Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes. Xiaoyi Yang, Yuxing Wang, Tahmid Rafi, Dongfang Liu, Xiaoyin Wang, Xueling Zhang |
| 2024 | Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement. Gwihwan Go, Chijin Zhou, Quan Zhang, Xiazijian Zou, Heyuan Shi, Yu Jiang |
| 2024 | Towards Understanding the Bugs in Solidity Compiler. Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2024 | Traceback: A Fault Localization Technique for Molecular Programs. Michael C. Gerten, James I. Lathrop, Myra B. Cohen |
| 2024 | UPBEAT: Test Input Checks of Q# Quantum Libraries. Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, Zheng Wang |
| 2024 | Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines. Cuiying Gao, Yueming Wu, Heng Li, Wei Yuan, Haoyu Jiang, Qidan He, Yang Liu |
| 2024 | Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley |
| 2024 | UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing. Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang, Hao Chen |
| 2024 | Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini |
| 2024 | VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction. Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Bach Le, Patanamon Thongtanunam |
| 2024 | VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing. Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang, Min Yang |
| 2024 | WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang |
| 2024 | Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation. Wenxuan Zhao, Ruiying Zeng, Yangfan Zhou |
| 2024 | When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention. Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng |
| 2024 | Your "Notice" Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking. Kaifeng Huang, Yingfeng Xia, Bihuan Chen, Siyang He, Huazheng Zeng, Zhuotong Zhou, Jin Guo, Xin Peng |