| 2023 | 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo, Yong Xie, Jianjun Chen, Chao Zhang |
| 2023 | A Bayesian Framework for Automated Debugging. Sungmin Kang, Wonkeun Choi, Shin Yoo |
| 2023 | A Comprehensive Study on Quality Assurance Tools for Java. Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen |
| 2023 | A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, Min Zhang |
| 2023 | ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, Wei Huo |
| 2023 | AGORA: Automated Generation of Test Oracles for REST APIs. Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés |
| 2023 | API2Vec: Learning Representations of API Sequences for Malware Detection. Lei Cui, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, Zhenquan Ding |
| 2023 | Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. Yiming Zhang, Yuxin Hu, Haonan Li, Wenxuan Shi, Zhenyu Ning, Xiapu Luo, Fengwei Zhang |
| 2023 | An Empirical Study of Functional Bugs in Android Apps. Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su |
| 2023 | An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang |
| 2023 | An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. Kunlun Ren, Weizhong Qiang, Yueming Wu, Yi Zhou, Deqing Zou, Hai Jin |
| 2023 | Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). Pablo Valle, Aitor Arrieta, Maite Arratibel |
| 2023 | Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang |
| 2023 | Automated Program Repair from Fuzzing Perspective. Youngjae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi |
| 2023 | Automatic Testing and Benchmarking for Configurable Static Analysis Tools. Austin Mordahl |
| 2023 | Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning. Zhaoxu Zhang, Robert Winn, Yu Zhao, Tingting Yu, William G. J. Halfond |
| 2023 | Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. Jun Wang, Yanhui Li, Xiang Huang, Lin Chen, Xiaofang Zhang, Yuming Zhou |
| 2023 | BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. Mingfei Cheng, Yuan Zhou, Xiaofei Xie |
| 2023 | Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. Roland Kuhn, Alan Darmasaputra |
| 2023 | Beware of the Unexpected: Bimodal Taint Analysis. Yiu Wai Chow, Max Schäfer, Michael Pradel |
| 2023 | Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang |
| 2023 | Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. Xudong Zhang, Yan Cai |
| 2023 | CGuard: Scalable and Precise Object Bounds Protection for C. Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh |
| 2023 | CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang |
| 2023 | CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. Yihong Dong, Ge Li, Zhi Jin |
| 2023 | COME: Commit Message Generation with Modification Embedding. Yichen He, Liran Wang, Kaiyi Wang, Yupeng Zhang, Hang Zhang, Zhoujun Li |
| 2023 | CONCORD: Clone-Aware Contrastive Learning for Source Code. Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray |
| 2023 | Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo |
| 2023 | CodeGrid: A Grid Representation of Code. Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé |
| 2023 | Concept-Based Automated Grading of CS-1 Programming Assignments. Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury |
| 2023 | ConfFix: Repairing Configuration Compatibility Issues in Android Apps. Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, Shing-Chi Cheung |
| 2023 | CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun |
| 2023 | CydiOS: A Model-Based Testing Framework for iOS Apps. Shuohan Wu, Jianfeng Li, Hao Zhou, Yongsheng Fang, Kaifa Zhao, Haoyu Wang, Chenxiong Qian, Xiapu Luo |
| 2023 | DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. Yuhao Zhou, Wei Song |
| 2023 | DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. Yuhao Zhou, Wei Song |
| 2023 | Data Constraint Mining for Automatic Reconciliation Scripts Generation. Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin, Shuiguang Deng |
| 2023 | DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng |
| 2023 | DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin |
| 2023 | DeepAtash: Focused Test Generation for Deep Learning Systems. Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella |
| 2023 | Definition and Detection of Defects in NFT Smart Contracts. Shuo Yang, Jiachi Chen, Zibin Zheng |
| 2023 | Dependency-Aware Metamorphic Testing of Datalog Engines. Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis |
| 2023 | Detecting Condition-Related Bugs with Control Flow Graph Neural Network. Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, Yang Liu |
| 2023 | Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li |
| 2023 | Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, Limin Sun |
| 2023 | DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. Simin Chen, Shiyi Wei, Cong Liu, Wei Yang |
| 2023 | ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei |
| 2023 | EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. Konstantinos Sagonas, Thanasis Typaldos |
| 2023 | Enhancing REST API Testing with NLP Techniques. Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato |
| 2023 | Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo |
| 2023 | EvoSpex: A Search-Based Tool for Postcondition Inference. Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2023 | Exploring Missed Optimizations in WebAssembly Optimizers. Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, Wei Meng |
| 2023 | Extracting Inline Tests from Unit Tests. Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen |
| 2023 | FairRec: Fairness Testing for Deep Recommender Systems. Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang, Hui Xue |
| 2023 | Fairness Testing for Recommender Systems. Huizhong Guo |
| 2023 | Finding Short Slow Inputs Faster with Grammar-Based Search. Ziyad Alsaeed, Michal Young |
| 2023 | Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree. Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu, Bin Yuan, Deqing Zou, Hai Jin |
| 2023 | Fuzzing Deep Learning Compilers with HirGen. Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2023 | Fuzzing Embedded Systems using Debug Interfaces. Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller |
| 2023 | GDsmith: Detecting Bugs in Cypher Graph Database Engines. Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, Tao Xie |
| 2023 | GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen |
| 2023 | GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, Jianjun Zhao |
| 2023 | GrayC: Greybox Fuzzing of Compilers and Analysers for C. Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar |
| 2023 | Green Fuzzer Benchmarking. Jiradet Ounjai, Valentin Wüstholz, Maria Christakis |
| 2023 | Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu |
| 2023 | Guided Retraining to Enhance the Detection of Difficult Android Malware. Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein |
| 2023 | Guiding Greybox Fuzzing with Mutation Testing. Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye |
| 2023 | 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 |
| 2023 | How Effective Are Neural Networks for Fixing Security Vulnerabilities. Yi Wu, Nan Jiang, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan, Petr Babkin, Sameena Shah |
| 2023 | Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue |
| 2023 | Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. Michael Chesser, Surya Nepal, Damith C. Ranasinghe |
| 2023 | Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang |
| 2023 | Improving Bit-Blasting for Nonlinear Integer Constraints. Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2023 | Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. Dylan Callaghan, Bernd Fischer |
| 2023 | In Defense of Simple Techniques for Neural Network Test Case Selection. Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, Wenyun Zhao |
| 2023 | Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu, Deqing Zou, Hai Jin |
| 2023 | ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. Chaofan Shou, Shangyin Tan, Koushik Sen |
| 2023 | June: A Type Testability Transformation for Improved ATG Performance. Dan Bruce, David A. Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark |
| 2023 | 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 |
| 2023 | KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. Qinglong Wang, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu, Tao Ma, Houbing Song, Heyuan Shi |
| 2023 | 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 |
| 2023 | Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. Yisong Xiao, Aishan Liu, Tianlin Li, Xianglong Liu |
| 2023 | LiResolver: License Incompatibility Resolution for Open Source Software. Sihan Xu, Ya Gao, Lingling Fan, Linyu Li, Xiangrui Cai, Zheli Liu |
| 2023 | Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. Shiwen Yu, Ting Wang, Ji Wang |
| 2023 | MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos |
| 2023 | ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. Mingyi Zhou, Xiang Gao, Jing Wu, John C. Grundy, Xiao Chen, Chunyang Chen, Li Li |
| 2023 | More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen |
| 2023 | NodeRT: Detecting Races in Node.js Applications Practically. Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang |
| 2023 | OCFI: Make Function Entry Identification Hard Again. Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao |
| 2023 | Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. Francisco Ferreira, Sung-Shik Jongmans |
| 2023 | PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System. Sunzhou Huang, Xiaoyin Wang |
| 2023 | Pattern-Based Peephole Optimizations with Java JIT Tests. Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric |
| 2023 | PhysCov: Physical Test Coverage for Autonomous Vehicles. Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum |
| 2023 | Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. Zifan Xie, Ming Wen, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang, Deqing Zou, Hai Jin |
| 2023 | Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023 René Just, Gordon Fraser |
| 2023 | Quantitative Policy Repair for Access Control on the Cloud. William Eiers, Ganesh Sankaran, Tevfik Bultan |
| 2023 | Quantitative Robustness Analysis of Neural Networks. Mara Downing |
| 2023 | Quantitative Symbolic Similarity Analysis. Laboni Sarker |
| 2023 | ROME: Testing Image Captioning Systems via Recursive Object Melting. Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He, Pinjia He |
| 2023 | Rare Path Guided Fuzzing. Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan |
| 2023 | Reasoning about MLIR Semantics through Effects and Handlers. Pingshi Yu |
| 2023 | Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue |
| 2023 | RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji |
| 2023 | RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. Sven Peldszus, Noubar Akopian, Thorsten Berger |
| 2023 | RustSmith: Random Differential Compiler Testing for Rust. Mayank Sharma, Pingshi Yu, Alastair F. Donaldson |
| 2023 | SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu |
| 2023 | Security Checking of Trigger-Action-Programming Smart Home Integrations. Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li |
| 2023 | Semantic-Based Neural Network Repair. Richard Schumi, Jun Sun |
| 2023 | Silent Compiler Bug De-duplication via Three-Dimensional Analysis. Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun |
| 2023 | Simulation-Based Validation for Autonomous Driving Systems. Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang |
| 2023 | SlipCover: Near Zero-Overhead Code Coverage for Python. Juan Altmayer Pizzorno, Emery D. Berger |
| 2023 | SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng |
| 2023 | Splendor: Static Detection of Stored XSS in Modern Web Applications. He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, Wei Huo |
| 2023 | SymRustC: A Hybrid Fuzzer for Rust. Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |
| 2023 | 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, Zi Qian Yong, Joshua Chern Wey Low, Chun Yong Chong, Mei Kuan Lim, David Lo |
| 2023 | Systematic Testing of the Data-Poisoning Robustness of KNN. Yannan Li, Jingbo Wang, Chao Wang |
| 2023 | Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests. Chengpeng Li, Mohammad Mahdi Khosravi, Wing Lam, August Shi |
| 2023 | Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. Tian Tan, Yue Li |
| 2023 | Testing Automated Driving Systems by Breaking Many Laws Efficiently. Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang |
| 2023 | Testing Graph Database Engines via Query Partitioning. Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su |
| 2023 | Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). Yingquan Zhao, Junjie Chen, Ruifeng Fu, Haojie Ye, Zan Wang |
| 2023 | That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel |
| 2023 | Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? Ling Jiang, Hengchen Yuan, Qiyi Tang, Sen Nie, Shi Wu, Yuqun Zhang |
| 2023 | To Kill a Mutant: An Empirical Study of Mutation Testing Kills. Hang Du, Vijay Krishna Palepu, James A. Jones |
| 2023 | Toward Automated Detecting Unanticipated Price Feed in Smart Contract. Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng |
| 2023 | Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun |
| 2023 | Towards More Realistic Evaluation for Neural Test Oracle Generation. Zhongxin Liu, Kui Liu, Xin Xia, Xiaohu Yang |
| 2023 | Transforming Test Suites into Croissants. Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand |
| 2023 | TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. Ziyad Alsaeed, Michal Young |
| 2023 | Type Automata. Ori Roth |
| 2023 | Type Batched Program Reduction. Golnaz Gharachorlu, Nick Sumner |
| 2023 | Understanding Breaking Changes in the Wild. Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich, Samuel Ou, Kelly Blincoe |
| 2023 | Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, Haoyu Wang |
| 2023 | Validating Multimedia Content Moderation Software via Semantic Fusion. Wenxuan Wang, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang, Weibin Wu, Pinjia He, Michael R. Lyu |
| 2023 | Vectorizing Program Ingredients for Better JVM Testing. Tianchang Gao, Junjie Chen, Yingquan Zhao, Yuqun Zhang, Lingming Zhang |
| 2023 | 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 |
| 2023 | 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, Cuiyun Gao, Sinan Wang, Yepang Liu |
| 2023 | Who Judges the Judge: An Empirical Study on Online Judge Tests. Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma |
| 2023 | iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu |
| 2023 | ωTest: WebView-Oriented Testing for Android Applications. Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung |