Software Engineering Empirical Research Radar
ISSTA Papers
Recent ISSTA papers in the SEER Radar snapshot.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition. Dongsong Yu; Yiyi Wang; Chao Zhang 0008; Yang Lan; Zhiyuan Jiang; Shuitao Gan; Zheyu Ma; Wende Tan | ISSTA | 2025 | Testing / QA |
| ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference. Yuchong Xie; Wenhui Zhang; Dongdong She | ISSTA | 2025 | Testing / QA; Security / Privacy / Vulnerability |
| You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects. Islem Bouzenia; Michael Pradel | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery. Wei-Cheng Wu; Stefan Nagy; Christophe Hauser | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain. Xiaoye Zheng; Zhiyuan Wan; David Lo 0001; Difan Xie; Xiaohu Yang 0001 | ISSTA | 2025 | Security / Privacy / Vulnerability |
| What Happened in This Pipeline? Diffing Build Logs with CiDiff. Nicolas Hubner; Jean-Rémy Falleri; Raluca Uricaru; Thomas Degueule; Thomas Durieux | ISSTA | 2025 | DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems |
| Wemby's Web: Hunting for Memory Corruption in WebAssembly. Oussama Draissi; Tobias Cloosters; David Klein 0001; Michael Rodler; Marius Musch; Martin Johns; Lucas Davi | ISSTA | 2025 | Mobile / Web / GUI / Android |
| Walls Have Ears: Demystifying Notification Listener Usage in Android Apps. Jiapeng Deng; Tianming Liu 0002; Yanjie Zhao 0001; Chao Wang 0097; Lin Zhang 0062; Haoyu Wang 0001 | ISSTA | 2025 | Mobile / Web / GUI / Android |
| VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models. Jiawei Guo; Haoran Yang 0002; Haipeng Cai | ISSTA | 2025 | DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| Validating Network Protocol Parsers with Traceable RFC Document Interpretation. Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 0001; Xiangyu Zhang 0001 | ISSTA | 2025 | Other |
| Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG. Zhiyu Zhang 0017; Longxing Li; Ruigang Liang; Kai Chen 0012 | ISSTA | 2025 | Testing / QA |
| Understanding Practitioners' Expectations on Clear Code Review Comments. Junkai Chen; Zhenhao Li 0002; Qiheng Mao; Xing Hu 0008; Kui Liu 0001; Xin Xia 0001 | ISSTA | 2025 | Maintenance / Evolution / Refactoring / Review |
| Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection. Haodong Li; Xiao Cheng 0002; Yanjie Zhao 0001; Guosheng Xu 0001; Guoai Xu; Haoyu Wang 0001 | ISSTA | 2025 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Uncovering API-Scope Misalignment in the App-in-App Ecosystem. Jiarui Che; Chenkai Guo; Naipeng Dong; Jiaqi Pei; Lingling Fan 0003; Xun Mi; Xueshuo Xie; Xiangyang Luo 0001; Zheli Liu; Renhong Cheng | ISSTA | 2025 | Mobile / Web / GUI / Android |
| Type-Alias Analysis: Enabling LLVM IR with Accurate Types. Jinmeng Zhou; Ziyue Pan; Wenbo Shen; Xingkai Wang; Kangjie Lu; Zhiyun Qian | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles. Davide Molinelli; Alberto Martin-Lopez; Elliott Zackrone; Beyza Eken; Michael D. Ernst; Mauro Pezzè | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Tracezip: Efficient Distributed Tracing via Trace Compression. Zhuangbin Chen; Junsong Pu; Zibin Zheng | ISSTA | 2025 | Cloud / Microservices / Distributed Systems |
| Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection. Niklas Risse; Jing Liu; Marcel Böhme | ISSTA | 2025 | AI / LLM for SE |
| The Incredible Shrinking Context... in a Decompiler Near You. Sifis Lagouvardos; Yannis Bollanos; Neville Grech; Yannis Smaragdakis | ISSTA | 2025 | Other |
| The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-Based Code Generation. Yingjie Fu; Bozhou Li; Linyi Li 0001; Wentao Zhang 0001; Tao Xie 0001 | ISSTA | 2025 | Other |
| Testing the Fault-Tolerance of Multi-sensor Fusion Perception in Autonomous Driving Systems. Haoxiang Tian 0001; Wenqiang Ding; Xingshuo Han; Guoquan Wu; An Guo 0002; Junqi Zhang; Wei Chen 0018; Jun Wei 0001; Tianwei Zhang 0004 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle. Matthew C. Davis; Amy Wei; Brad A. Myers; Joshua Sunshine | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing. Qicai Chen; Kun Hu 0001; Sichen Gong; Bihuan Chen 0001; Zikui Kong; Haowen Jiang; Bingkun Sun; You Lu 0005; Xin Peng 0001 | ISSTA | 2025 | Testing / QA |
| Static Program Reduction via Type-Directed Slicing. Loi Ngo Duc Nguyen; Tahiatul Islam; Theron Wang; Sam Lenz; Martin Kellogg | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| SoK: A Taxonomic Analysis of DeFi Rug Pulls: Types, Dataset, and Tool Assessment. Dianxiang Sun; Wei Ma 0014; Liming Nie; Yang Liu 0003 | ISSTA | 2025 | Other |
| Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection. Lei Yu; Zhirong Huang; Hang Yuan; Shiqi Cheng; Li Yang 0015; Fengjun Zhang; Chenjie Shen; Jiajia Ma; Jingyuan Zhang; Junyi Lu; Chun Zuo | ISSTA | 2025 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs. Huan Li; Bei Wang 0010; Xing Hu 0008; Xin Xia 0001 | ISSTA | 2025 | Other |
| SWE-GPT: A Process-Centric Language Model for Automated Software Improvement. Yingwei Ma; Rongyu Cao; Yongchang Cao; Yue Zhang 0004; Jue Chen; Yibo Liu; Yuchen Liu; Binhua Li; Fei Huang 0002; Yongbin Li 0001 | ISSTA | 2025 | AI / LLM for SE |
| STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. Jinwei Liu; Chao Li 0078; Rui Chen 0042; Shaofeng Li; Bin Gu 0006; Mengfei Yang | ISSTA | 2025 | Testing / QA |
| S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models. Xiaohan Yuan; Jinfeng Li; Dongxia Wang 0002; Yuefeng Chen; Xiaofeng Mao; Longtao Huang; Jialuo Chen; Hui Xue 0001; Xiaoxia Liu; Wenhai Wang; Kui Ren 0001; Jingyi Wang 0004 | ISSTA | 2025 | Other |
| RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search. Siao Wang; Zhen Dong; Hui Li; Liwei Shen; Xin Peng 0001; Dongdong She | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Robust Vulnerability Detection across Compilations: LLVM-IR vs. Assembly with Transformer Model. Rony Shir; Priyanka Prakash Surve; Yuval Elovici; Asaf Shabtai | ISSTA | 2025 | AI / LLM for SE; Performance / Energy / Reliability |
| Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective. Mingyu Huang; Peili Mao; Ke Li 0001 | ISSTA | 2025 | Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| Reinforcement Learning-Based Fuzz Testing for the Gazebo Robotic Simulator. Zhilei Ren; Yitao Li; Xiaochen Li; Guanxiao Qi; Jifeng Xuan; He Jiang 0001 | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| Recurring Vulnerability Detection: How Far Are We? Yiheng Cao; Susheng Wu; Ruisi Wang; Bihuan Chen 0001; Yiheng Huang; Chenhao Lu; Zhuotong Zhou; Xin Peng 0001 | ISSTA | 2025 | Other |
| REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models. Jianlei Chi; Xiaotian Wang; Yuhan Huang; Lechen Yu; Di Cui; Jianguo Sun; Jun Sun 0001 | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Quantum Concolic Testing. Shangzhou Xia; Jianjun Zhao 0001; Fuyuan Zhang; Xiaoyu Guo 0007 | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods |
| QTRAN: Extending Metamorphic-Oracle Based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support. Li Lin; Qinglin Zhu; Hongqiao Chen; Zhuangda Wang; Rongxin Wu; Xiaoheng Xie | ISSTA | 2025 | Testing / QA |
| Protecting Privacy in Software Logs: What Should Be Anonymized? Roozbeh Aghili; Heng Li 0007; Foutse Khomh | ISSTA | 2025 | Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems |
| Program Feature-Based Benchmarking for Fuzz Testing. Miao Miao 0001; Sriteja Kummita; Eric Bodden; Shiyi Wei | ISSTA | 2025 | Testing / QA |
| Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions. Guangsheng Fan; Liqian Chen; Banghu Yin; Wenyu Zhang; Peisen Yao; Ji Wang 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging. Siyuan Feng 0007; Jiawei Liu 0004; Ruihang Lai; Charlie Ruan; Yong Yu 0001; Lingming Zhang 0001; Tianqi Chen 0001 | ISSTA | 2025 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Preventing Disruption of System Backup against Ransomware Attacks. Yiwei Hou; Lihua Guo; Chijin Zhou; Quan Zhang 0003; Wenhuan Liu; Chengnian Sun; Yu Jiang 0001 | ISSTA | 2025 | Other |
| Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS. Bo Zhou; Jiaqi Shi; Ying Wang 0038; Li Li 0029; Tsz On Li; Hai Yu 0001; Zhiliang Zhu 0001 | ISSTA | 2025 | Other |
| Pepper: Preference-Aware Active Trapping for Ransomware. Huan Zhang; Zhengkai Qin; Lixin Zhao; Aimin Yu; Lijun Cai; Dan Meng 0002 | ISSTA | 2025 | Other |
| PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel. Rongkai Liu; Heyuan Shi; Shuning Liu; Chao Hu; Sisheng Li; Yuheng Shen; Runzhe Wang; Xiaohai Shi; Yu Jiang 0001 | ISSTA | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine. Jie Ma; Ningyu He; Jinwen Xi; Mingzhe Xing; Haoyu Wang 0001; Ying Gao 0006; Yinliang Yue | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution. Lianghong Guo; Wei Tao 0003; Runhan Jiang; Yanlin Wang 0001; Jiachi Chen; Xilin Liu 0001; Yuchi Ma; Mingzhi Mao; Hongyu Zhang 0002; Zibin Zheng | ISSTA | 2025 | Human / Empirical / Socio-technical |
| No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups. Zhuo Wu; Zan Wang; Chuan Luo 0002; Xiaoning Du 0001; Junjie Chen 0003 | ISSTA | 2025 | Testing / QA |
| NADA: Neural Acceptance-Driven Approximate Specification Mining. Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng 0041; Guohui Xiao 0001; Yanan Liu | ISSTA | 2025 | AI / LLM for SE; Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture |
| More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph. Dezhen Kong; Jiakun Liu; Chao Ni 0001; David Lo 0001; Lingfeng Bao | ISSTA | 2025 | Maintenance / Evolution / Refactoring / Review |
| Model Checking Guided Incremental Testing for Distributed Systems. Yu Gao 0002; Dong Wang 0048; Wensheng Dou; Wenhan Feng; Yu Liang; Yuan Feng; Jun Wei 0001 | ISSTA | 2025 | Testing / QA; Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| MoDitector: Module-Directed Testing for Autonomous Driving Systems. Renzhi Wang; Mingfei Cheng; Xiaofei Xie; Yuan Zhou 0005; Lei Ma 0003 | ISSTA | 2025 | Testing / QA |
| MLLM-Based UI2Code Automation Guided by UI Layout Information. Fan Wu; Cuiyun Gao 0001; Shuqing Li 0001; Xin-Cheng Wen; Qing Liao 0001 | ISSTA | 2025 | Mobile / Web / GUI / Android |
| LogBase: A Large-Scale Benchmark for Semantic Log Parsing. Chenbo Zhang; Wenying Xu; Jinbu Liu; Lu Zhang 0060; Guiyang Liu; Jihong Guan; Qi Zhou 0001; Shuigeng Zhou | ISSTA | 2025 | Other |
| LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models. Lingxiao Tang; Jiakun Liu; Zhongxin Liu 0002; Xiaohu Yang 0001; Lingfeng Bao | ISSTA | 2025 | Other |
| LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation. Ziyao Zhang 0004; Chong Wang 0013; Yanlin Wang 0001; Ensheng Shi; Yuchi Ma; Wanjun Zhong; Jiachi Chen; Mingzhi Mao; Zibin Zheng | ISSTA | 2025 | AI / LLM for SE |
| KRAKEN: Program-Adaptive Parallel Fuzzing. Anshunkang Zhou; Heqing Huang 0002; Charles Zhang 0001 | ISSTA | 2025 | Testing / QA |
| KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis. Zhijie Liu; Qiyi Tang 0003; Sen Nie; Shi Wu; Liang Feng Zhang; Yutian Tang | ISSTA | 2025 | Other |
| Intention-Based GUI Test Migration for Mobile Apps using Large Language Models. Shaoheng Cao; Minxue Pan; Yuanhong Lan; Xuandong Li | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation. Liangze Yin; Yiwei Li 0006; Kun Chen 0015; Wei Dong 0006; Ji Wang 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning. Chun Li; Hui Li 0104; Zhong Li; Minxue Pan; Xuandong Li | ISSTA | 2025 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing. Yanzhou Mu; Juan Zhai; Chunrong Fang; Xiang Chen 0005; Zhixiang Cao; Peiran Yang; Kexin Zhao; An Guo 0002; Zhenyu Chen 0001 | ISSTA | 2025 | Testing / QA; AI / LLM for SE |
| Identifying Multi-parameter Constraint Errors in Python Data Science Library API Documentation. Xiufeng Xu; Fuman Xie; Chenguang Zhu 0002; Guangdong Bai; Sarfraz Khurshid; Yi Li 0008 | ISSTA | 2025 | Other |
| ICEPRE: ICS Protocol Reverse Engineering via Data-Driven Concolic Execution. Yibo Qu; Dongliang Fang; Zhen Wang 0043; Jiaxing Cheng; Shuaizong Si; Yongle Chen; Limin Sun 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis. Zhiyong Wu 0010; Jie Liang 0006; Jingzhou Fu; Mingzhe Wang; Yu Jiang 0001 | ISSTA | 2025 | Performance / Energy / Reliability |
| GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go. Wei Song 0003; Xiaofan Xu; Jeff Huang 0001 | ISSTA | 2025 | Other |
| Gamifying Testing in IntelliJ: A Replicability Study. Philipp Straubinger; Tommaso Fulcini; Giacomo Garaccione; Luca Ardito; Gordon Fraser 0001 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs. Ruofan Liu; Xiwen Teoh; Yun Lin 0001; Guanjie Chen; Ruofei Ren; Denys Poshyvanyk; Jin Song Dong 0001 | ISSTA | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic. Fanlang Zeng; Rui Chang; Hongjian Liu | ISSTA | 2025 | Other |
| FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot. Peng Qian; Xinlei Ying; Jiashui Wang; Long Liu; Lun Zhang; Jianhai Chen; Qinming He | ISSTA | 2025 | Testing / QA |
| Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management. Lyuye Zhang; Jiahui Wu; Chengwei Liu; Kaixuan Li 0002; Xiaoyu Sun 0002; Lida Zhao; Chong Wang 0013; Yang Liu 0003 | ISSTA | 2025 | Security / Privacy / Vulnerability |
| Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper). Mingjie Shen; Akul Abhilash Pillai; Brian A. Yuan; James C. Davis 0001; Aravind Machiry | ISSTA | 2025 | Other |
| Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models. Yisong Xiao; Aishan Liu; Siyuan Liang 0004; Xianglong Liu 0001; Dacheng Tao | ISSTA | 2025 | Other |
| FANDANGO: Evolving Language-Based Testing. José Antonio Zamudio Amaya; Marius Smytzek; Andreas Zeller | ISSTA | 2025 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| Extended Reality Cybersickness Assessment via User Review Analysis. Shuqing Li 0001; Qisheng Zheng; Cuiyun Gao 0001; Jia Feng; Michael R. Lyu | ISSTA | 2025 | Other |
| Enhancing Vulnerability Detection via Inter-procedural Semantic Completion. Bozhi Wu; Chengjie Liu; Zhiming Li; Yushi Cao; Jun Sun 0001; Shangwei Lin 0001 | ISSTA | 2025 | Other |
| Enhancing Smart Contract Security Analysis with Execution Property Graphs. Kaihua Qin; Zhe Ye 0002; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 0008; Dawn Song; Arthur Gervais | ISSTA | 2025 | Security / Privacy / Vulnerability |
| Enhanced Prompting Framework for Code Summarization with Large Language Models. Minying Fang; Xing Yuan; Yuying Li 0005; Haojie Li; Chunrong Fang; Junwei Du | ISSTA | 2025 | Other |
| Effective REST APIs Testing with Error Message Analysis. Lixin Xu; Huayao Wu; Zhenyu Pan; Tongtong Xu; Shaohua Wang 0002; Xintao Niu; Changhai Nie | ISSTA | 2025 | Testing / QA |
| Dynamically Fusing Python HPC Kernels. Nader Al Awar; Muhammad Hannan Naeem; James Almgren-Bell; George Biros; Milos Gligoric 0001 | ISSTA | 2025 | Other |
| Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-orchestration. Zhiling Zhu; Tieming Chen; Chengwei Liu; Han Liu 0012; Qijie Song; Zhengzi Xu; Yang Liu 0003 | ISSTA | 2025 | Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| Detecting Isolation Anomalies in Relational DBMSs. Rui Yang 0039; Ziyu Cui; Wensheng Dou; Yu Gao 0002; Jiansen Song; Xudong Xie; Jun Wei 0001 | ISSTA | 2025 | Other |
| DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems. Cundi Fang; Jie Liang 0006; Zhiyong Wu 0010; Jingzhou Fu; Zhouyang Jia; Chun Huang 0006; Yu Jiang 0001; Shanshan Li 0001 | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code. Wai Kin Wong; Daoyuan Wu; Huaijin Wang 0001; Zongjie Li; Zhibo Liu 0001; Shuai Wang 0011; Qiyi Tang 0003; Sen Nie; Shi Wu | ISSTA | 2025 | AI / LLM for SE |
| DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction. Yuan Xiao 0003; Yuchen Chen; Shiqing Ma; Haocheng Huang; Chunrong Fang; Yanwei Chen; Weisong Sun; Yunfeng Zhu; Xiaofang Zhang; Zhenyu Chen 0001 | ISSTA | 2025 | Other |
| DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification. Quan Hong; Jiaqi Li 0014; Wen Zhang; Lidong Zhai | ISSTA | 2025 | Other |
| CrossProbe: LLM-Empowered Cross-Project Bug Detection for Deep Learning Frameworks. Hao Guan 0001; Guangdong Bai; Yepang Liu 0001 | ISSTA | 2025 | AI / LLM for SE |
| Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts. Zexu Wang; Jiachi Chen; Tao Zhang 0001; Yu Zhang 0036; Weizhe Zhang; Yuming Feng 0002; Zibin Zheng | ISSTA | 2025 | Other |
| ConTested: Consistency-Aided Tested Code Generation with LLM. Jinhao Dong; Jun Sun 0001; Wenjie Zhang 0007; Jin Song Dong 0001; Dan Hao 0001 | ISSTA | 2025 | AI / LLM for SE |
| Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference. Weining Cao; Guangyuan Wu; Tangzhi Xu; Yuan Yao 0001; Hengfeng Wei; Taolue Chen 0001; Xiaoxing Ma | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation. Pengyu Xue; Linhao Wu; Zhen Yang 0022; Chengyi Wang; Xiang Li 0202; Yuxiang Zhang; Jia Li 0011; Ruikai Jin; Yifei Pei; Zhaoyan Shen; Xiran Lyu; Jacky Wai Keung | ISSTA | 2025 | Other |
| Causality-Aided Evaluation and Explanation of Large Language Model-Based Code Generation. Zhenlan Ji; Pingchuan Ma 0004; Zongjie Li; Zhaoyu Wang 0006; Shuai Wang 0011 | ISSTA | 2025 | AI / LLM for SE |
| Can LLMs Replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering. Ruiqi Wang; Jiyu Guo; Cuiyun Gao 0001; Guodong Fan; Chun Yong Chong; Xin Xia 0001 | ISSTA | 2025 | AI / LLM for SE; Human / Empirical / Socio-technical |
| Bridging the Gaps between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better. Qingchen Yu; Xin Liu 0050; Qingguo Zhou; Chunming Wu 0001 | ISSTA | 2025 | AI / LLM for SE |
| Bridge the Islands: Pointer Analysis for Microservice Systems. Teng Zhang; Yufei Liang; Ganlin Li; Tian Tan 0001; Chang Xu 0001; Yue Li 0006 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval. Bolun Zhang; Zeyu Gao; Hao Wang 0226; Yuxin Cui; Siliang Qin; Chao Zhang 0008; Kai Chen 0012; Beibei Zhao | ISSTA | 2025 | Other |
| BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction. Lian Gao; Heng Yin 0001 | ISSTA | 2025 | Program Analysis / Verification / Formal Methods |
| Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs. Yifan Xia; Zichen Xie; Peiyu Liu 0003; Kangjie Lu; Yan Liu 0069; Wenhai Wang; Shouling Ji | ISSTA | 2025 | Security / Privacy / Vulnerability |
| Automated Test Transfer across Android Apps using Large Language Models. Benyamin Beyzaei; Saghar Talebipour; Ghazal Rafiei; Nenad Medvidovic; Sam Malek | ISSTA | 2025 | Testing / QA; Mobile / Web / GUI / Android |
| Automated Attack Synthesis for Constant Product Market Makers. Sujin Han; Jinseo Kim; Sung-Ju Lee; Insu Yun | ISSTA | 2025 | Security / Privacy / Vulnerability |
| AudioTest: Prioritizing Audio Test Cases. Yinghua Li; Xueqi Dang; Wendkûuni C. Ouédraogo; Jacques Klein; Tegawendé F. Bissyandé | ISSTA | 2025 | Testing / QA |
| Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles. Dominik Frey; Ulf Kargén; Dániel Varró | ISSTA | 2025 | Testing / QA |
| Are Autonomous Web Agents Good Testers? Antoine Chevrot; Alexandre Vernotte; Jean-Rémy Falleri; Xavier Blanc 0001; Bruno Legeard; Aymeric Cretin | ISSTA | 2025 | Mobile / Web / GUI / Android |
| An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection. Ravishka Rathnasuriya; Nidhi Majoju; Zihe Song; Wei Yang 0013 | ISSTA | 2025 | Other |
| AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent. He Ye; Aidan Z. H. Yang; Chang Hu; Yanlin Wang 0001; Tao Zhang 0001; Claire Le Goues | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair |
| Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper). Sourag Cherupattamoolayil; Arunkumar Bhattar; Connor Glosner; Aravind Machiry | ISSTA | 2025 | Other |
| ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection. Xuezixiang Li; Sheng Yu; Heng Yin 0001 | ISSTA | 2025 | Other |
| A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines. Haining Wang 0006; Yi Xiang 0002; Han Huang 0002; Jie Cao; Kaichen Chen; Xiaowei Yang 0003 | ISSTA | 2025 | Debugging / Fault Localization / Diagnosis / Repair; Performance / Energy / Reliability |
| A Large-Scale Empirical Study on Fine-Tuning Large Language Models for Unit Testing. Ye Shang; Quanjun Zhang; Chunrong Fang; Siqi Gu; Jianyi Zhou; Zhenyu Chen 0001 | ISSTA | 2025 | Testing / QA; Human / Empirical / Socio-technical |
| Your "Notice" Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking. Kaifeng Huang 0001, Yingfeng Xia, Bihuan Chen 0001, Siyang He, Huazheng Zeng | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention. Lianghong Guo, Yanlin Wang 0001, Ensheng Shi, Wanjun Zhong, Hongyu Zhang 0002 | ISSTA | 2024 | Other |
| Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation. Wenxuan Zhao, Ruiying Zeng, Yangfan Zhou 0002 | ISSTA | 2024 | Testing / QA |
| WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation. Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang 0001 | ISSTA | 2024 | Testing / QA |
| VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing. Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang 0009 | ISSTA | 2024 | Testing / QA |
| VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction. Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le 0002 | ISSTA | 2024 | Other |
| Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini | ISSTA | 2024 | Other |
| 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 | ISSTA | 2024 | Testing / QA |
| Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches. Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley | ISSTA | 2024 | Human / Empirical / Socio-technical |
| Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines. Cuiying Gao, Yueming Wu 0001, Heng Li 0008, Wei Yuan 0001, Haoyu Jiang | ISSTA | 2024 | Other |
| UPBEAT: Test Input Checks of Q# Quantum Libraries. Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang | ISSTA | 2024 | Testing / QA |
| Traceback: A Fault Localization Technique for Molecular Programs. Michael C. Gerten, James I. Lathrop, Myra B. Cohen | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Towards Understanding the Bugs in Solidity Compiler. Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003 | ISSTA | 2024 | Other |
| Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement. Gwihwan Go, Chijin Zhou, Quan Zhang 0003, Xiazijian Zou, Heyuan Shi | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| 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 | ISSTA | 2024 | Testing / QA |
| Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions. Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran | ISSTA | 2024 | Mobile / Web / GUI / Android |
| Total Recall? How Good Are Static Call Graphs Really? Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth | ISSTA | 2024 | Other |
| ThinkRepair: Self-Directed Automated Program Repair. Xin Yin, Chao Ni 0001, Shaohua Wang 0002, Zhenhao Li 0002, Limin Zeng | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios. Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek | ISSTA | 2024 | Testing / QA |
| Testing Gremlin-Based Graph Database Systems via Query Disassembling. Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao 0002 | ISSTA | 2024 | Testing / QA |
| Testing Graph Database Systems with Graph-State Persistence Oracle. Shuang Liu 0007, Junhao Lan, Xiaoning Du 0001, Jiyuan Li, Wei Lu 0015 | ISSTA | 2024 | Testing / QA |
| Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA. Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval | ISSTA | 2024 | Testing / QA |
| Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics. Demet Demir, Aysu Betin Can, Elif Sürer | ISSTA | 2024 | Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release |
| TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development. Xiangshan Gao, Jialuo Chen, Jingyi Wang 0004, Jie Shi 0013, Peng Cheng 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment. Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen 0004 | ISSTA | 2024 | Testing / QA; Mobile / Web / GUI / Android |
| Synthesizing Boxes Preconditions for Deep Neural Networks. Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang 0001 | ISSTA | 2024 | AI / LLM for SE |
| Synthesis-Based Enhancement for GUI Test Case Migration. Yakun Zhang 0001, Qihao Zhu, Jiwei Yan, Chen Liu 0041, Wenjie Zhang 0007 | ISSTA | 2024 | Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| 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 | ISSTA | 2024 | Performance / Energy / Reliability |
| Soft Verification for Actor Contract Systems. Bram Vandenbogaerde | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC. Haolai Wei, Liwei Chen, Zhijie Zhang, Gang Shi, Dan Meng 0002 | ISSTA | 2024 | Testing / QA |
| Silent Taint-Style Vulnerability Fixes Identification. Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang 0002, Xing Hu 0008 | ISSTA | 2024 | Security / Privacy / Vulnerability |
| Shaping Test Inputs in Grammar-Based Fuzzing. José Antonio Zamudio Amaya | ISSTA | 2024 | Testing / QA |
| Semantic Constraint Inference for Web Form Test Generation. Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah 0001 | ISSTA | 2024 | Testing / QA; Mobile / Web / GUI / Android |
| SelfPiCo: Self-Guided Partial Code Execution with LLMs. Zhipeng Xue 0002, Zhipeng Gao 0002, Shaohua Wang 0002, Xing Hu 0008, Xin Xia 0001 | ISSTA | 2024 | Other |
| Segment-Based Test Case Prioritization: A Multi-objective Approach. Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen 0003 | ISSTA | 2024 | Testing / QA |
| SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. Yuanyuan Yuan 0001, Shuai Wang 0011, Zhendong Su 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| Search-Based Translations for Tensor Operations. Jie Qiu | ISSTA | 2024 | Other |
| Scalable, Sound, and Accurate Jump Table Analysis. Huan Nguyen 0004, Soumyakant Priyadarshan, R. Sekar 0001 | ISSTA | 2024 | Other |
| SQLess: Dialect-Agnostic SQL Query Simplification. Li Lin, Zongyin Hao, Chengpeng Wang 0001, Zhuangda Wang, Rongxin Wu | ISSTA | 2024 | Other |
| SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist | ISSTA | 2024 | Testing / QA |
| SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection. Xin-Cheng Wen, Cuiyun Gao 0001, Shuzheng Gao, Yang Xiao 0011, Michael R. Lyu | ISSTA | 2024 | Other |
| Robustness against the C/C++11 Memory Model. Roy David Margalit | ISSTA | 2024 | Other |
| Revisiting Test-Case Prioritization on Long-Running Test Suites. Runxiang Cheng, Shuai Wang 0035, Reyhaneh Jabbarvand, Darko Marinov | ISSTA | 2024 | Testing / QA |
| Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay. Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari 0001, Xin Peng 0001 | ISSTA | 2024 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| Quality Assurance for Non-trivial Systems: Use Case GCC Plugins. Nimantha Kariyakarawana | ISSTA | 2024 | Other |
| Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization. Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng 0002 | ISSTA | 2024 | Testing / QA |
| Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs. Arooba Shahoor, Jooyong Yi, Dongsun Kim 0001 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Precise Compositional Buffer Overflow Detection via Heap Disjointness. Yiyuan Guo, Peisen Yao, Charles Zhang 0001 | ISSTA | 2024 | Other |
| Practitioners' Expectations on Automated Test Generation. Xiao Yu 0008, Lei Liu 0062, Xing Hu 0008, Jacky Keung, Xin Xia 0001 | ISSTA | 2024 | Testing / QA |
| PolyTracker: Whole-Input Dynamic Information Flow Tracing. Evan Sultanik, Marek Surovic, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca | ISSTA | 2024 | Other |
| Policy Testing with MDPFuzz (Replicability Study). Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher | ISSTA | 2024 | Testing / QA; Human / Empirical / Socio-technical |
| PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. Kaixuan Li 0002, Jian Zhang 0087, Sen Chen 0001, Han Liu 0012, Yang Liu 0003 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability |
| Panda: A Concurrent Scheduler for Compiler-Based Tools. Xutong Ma, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001 | ISSTA | 2024 | Other |
| Oracle-Guided Program Selection from Large Language Models. Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury | ISSTA | 2024 | Testing / QA |
| 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 | ISSTA | 2024 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. Bo Lin 0011, Shangwen Wang, Ming Wen 0001, Liqian Chen, Xiaoguang Mao | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Neurosymbolic Repair of Test Flakiness. Yang Chen 0059, Reyhaneh Jabbarvand | ISSTA | 2024 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| NeuFair: Neural Network Fairness Repair with Dropout. Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps. Jikai Wang, Haoyu Wang 0001 | ISSTA | 2024 | Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android |
| Multi-modal Learning for WebAssembly Reverse Engineering. Hanxian Huang, Jishen Zhao | ISSTA | 2024 | Other |
| Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models. Mingyi Zhou, Xiang Gao 0012, Pei Liu, John Grundy 0001, Chunyang Chen 0001 | ISSTA | 2024 | Other |
| 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 | ISSTA | 2024 | Testing / QA |
| MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing. Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su 0001, Cong Feng | ISSTA | 2024 | Other |
| Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset. Zeliang Yu, Ming Wen 0001, Xiaochen Guo, Hai Jin 0001 | ISSTA | 2024 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Ma11y: A Mutation Framework for Web Accessibility Testing. Mahan Tafreshipour, Anmol Vilas Deshpande, Forough Mehralian, Iftekhar Ahmed 0001, Sam Malek | ISSTA | 2024 | Testing / QA; Mobile / Web / GUI / Android |
| Logos: Log Guided Fuzzing for Protocol Implementations. Feifan Wu, Zhengxiong Luo 0002, Yanyang Zhao, Qingpeng Du, Junze Yu | ISSTA | 2024 | Testing / QA |
| Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs. Alix Decrop | ISSTA | 2024 | Other |
| Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan | ISSTA | 2024 | Other |
| Learning the Effects of Software Changes. Laura Plein | ISSTA | 2024 | Maintenance / Evolution / Refactoring / Review |
| Large Language Models for Equivalent Mutant Detection: How Far Are We? Zhao Tian, Honglin Shu, Dong Wang 0044, Xuejie Cao, Yasutaka Kamei | ISSTA | 2024 | Other |
| Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts. Hao Guan 0001, Guangdong Bai, Yepang Liu 0001 | ISSTA | 2024 | Performance / Energy / Reliability |
| LPR: Large Language Models-Aided Program Reduction. Mengxiao Zhang, Yongqiang Tian 0001, Zhenyang Xu, Yiwen Dong 0002, Shin Hwei Tan | ISSTA | 2024 | Other |
| LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing. Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen 0007, Pingping Li | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts. Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen 0002, Neng Zhang 0001 | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking. Zaiyu Cheng, Tong Wu 0028, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| Isolation-Based Debugging for Neural Networks. Jialuo Chen, Jingyi Wang 0004, Youcheng Sun, Peng Cheng 0001, Jiming Chen 0001 | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Interprocedural Path Complexity Analysis. Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen | ISSTA | 2024 | Other |
| Interpretability Based Neural Network Repair. Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang 0004, Qi Xuan 0001 | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters. Purvish Jajal, Wenxin Jiang 0001, Arav Tewari, Erik Kocinare, Joseph Woo | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| Integrating Mutation Techniques to Keep Specification and Source Code in Sync. Kerstin Jacob | ISSTA | 2024 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Inconsistencies in TeX-Produced Documents. Jovyn Tan, Manuel Rigger | ISSTA | 2024 | Other |
| Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow. Jiachi Chen, Chong Chen 0002, Jiang Hu, John C. Grundy, Yanlin Wang 0001 | ISSTA | 2024 | Security / Privacy / Vulnerability |
| How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation. Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma 0014 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities. Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei | ISSTA | 2024 | AI / LLM for SE; Maintenance / Evolution / Refactoring / Review |
| Guardian: A Runtime Framework for LLM-Based UI Exploration. Dezhi Ran, Hao Wang 0112, Zihe Song, Mengzhou Wu, Yuan Cao | ISSTA | 2024 | AI / LLM for SE; Mobile / Web / GUI / Android |
| Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation. Zhaoyang Chu, Yao Wan 0001, Qian Li 0003, Yang Wu 0010, Hongyu Zhang 0002 | ISSTA | 2024 | AI / LLM for SE |
| Graph Learning for Extract Class Refactoring. Luqiao Wang | ISSTA | 2024 | Maintenance / Evolution / Refactoring / Review |
| Generalized Concurrency Testing Tool for Distributed Systems. Ege Berkay Gulcan, João Neto 0001, Burcu Kulahcioglu Ozkan | ISSTA | 2024 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis. Chenyao Suo, Junjie Chen 0003, Shuang Liu 0007, Jiajun Jiang, Yingquan Zhao | ISSTA | 2024 | Testing / QA |
| Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation. Jueon Eom, Seyeon Jeong, Taekyoung Kwon 0002 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees. Yunqi Liu, Wei Song 0003 | ISSTA | 2024 | Security / Privacy / Vulnerability |
| FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts. Yunqi Liu, Wei Song 0003 | ISSTA | 2024 | Other |
| From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems. Drishti Yadav | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor. Zhenyu Ye, Lei Zhou 0023, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning | ISSTA | 2024 | Other |
| Following the "Thread": Toward Finding Manipulatable Bottlenecks in Blockchain Clients. Shuohan Wu, Zihao Li 0001, Hao Zhou 0043, Xiapu Luo, Jianfeng Li 0006 | ISSTA | 2024 | Security / Privacy / Vulnerability |
| Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs. Zhanyao Lei, Yixiong Chen, Mingyuan Xia 0001, Zhengwei Qi | ISSTA | 2024 | Maintenance / Evolution / Refactoring / Review |
| FixCheck: A Tool for Improving Patch Correctness Analysis. Facundo Molina, Juan Manuel Copia, Alessandra Gorla | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Finding Cuts in Static Analysis Graphs to Debloat Software. Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps. Dingbang Wang, Yu Zhao 0010, Sidong Feng, Zhaoxu Zhang, William G. J. Halfond | ISSTA | 2024 | Mobile / Web / GUI / Android |
| Feedback-Directed Partial Execution. Ishrak Hayet, Adam Scott, Marcelo d'Amorim | ISSTA | 2024 | Other |
| FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements. Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, Jifeng Xuan | ISSTA | 2024 | Other |
| Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs. Shiwen Shan, Yintong Huo, Yuxin Su 0001, Yichen Li 0003, Dan Li 0016 | ISSTA | 2024 | AI / LLM for SE; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems |
| FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion. Qi Guo, Xiaohong Li 0001, Xiaofei Xie, Shangqing Liu, Ze Tang 0002 | ISSTA | 2024 | Other |
| FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation. Xizhe Yin, Yang Feng 0003, Qingkai Shi, Zixi Liu, Hongwang Liu | ISSTA | 2024 | Testing / QA |
| FRAFOL: FRAmework FOr Learning mutation testing. Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just | ISSTA | 2024 | Testing / QA |
| FDI: Attack Neural Code Generation Systems through User Feedback Channel. Zhensu Sun, Xiaoning Du 0001, Xiapu Luo, Fu Song, David Lo 0001 | ISSTA | 2024 | AI / LLM for SE; Security / Privacy / Vulnerability |
| 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 | ISSTA | 2024 | Other |
| Evaluating the Effectiveness of Decompilers. Ying Cao 0006, Runze Zhang, Ruigang Liang, Kai Chen 0012 | ISSTA | 2024 | Other |
| Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). Eduard Pinconschi, Divya Gopinath, Rui Abreu 0001, Corina S. Pasareanu | ISSTA | 2024 | AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| 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 | ISSTA | 2024 | Other |
| Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge. Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han | ISSTA | 2024 | Other |
| Enhancing ROS System Fuzzing through Callback Tracing. Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun 0021, Mingzhe Wang | ISSTA | 2024 | Testing / QA |
| Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation. Xuyan Ma, Yawen Wang, Junjie Wang 0001, Xiaofei Xie, Boyu Wu | ISSTA | 2024 | Testing / QA |
| Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis. Shuwei Song, Jiachi Chen, Ting Chen 0002, Xiapu Luo, Teng Li | ISSTA | 2024 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Efficient DNN-Powered Software with Fair Sparse Models. Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang 0013 | ISSTA | 2024 | Other |
| ESBMC-Python: A Bounded Model Checker for Python Programs. Bruno Farias 0001, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro | ISSTA | 2024 | Other |
| Domain Adaptation for Code Model-Based Unit Test Case Generation. Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, Song Wang 0009 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation. Mingke Yang, Yuqi Chen 0001, Yi Liu 0069, Ling Shi 0002 | ISSTA | 2024 | Testing / QA |
| Distance-Aware Test Input Selection for Deep Neural Networks. Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing. You Lu 0005, Yifan Tian, Yuyang Bi, Bihuan Chen 0001, Xin Peng 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| Detecting Build Dependency Errors in Incremental Builds. Jun Lyu, Shanshan Li 0002, He Zhang 0001, Yang Zhang 0157, Guoping Rong | ISSTA | 2024 | DevOps / CI / Build / Release |
| Define-Use Guided Path Exploration for Better Forced Execution. Dongnan He, Dongchen Xie, Yujie Wang, Wei You 0001, Bin Liang 0002 | ISSTA | 2024 | Other |
| Decomposition of Deep Neural Networks into Modules via Mutation Analysis. Ali Ghanbari 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| Decentralized Near-Synchronous Local-First Programming Collaboration. Leon Freudenthaler | ISSTA | 2024 | Other |
| DeLink: Source File Information Recovery in Binaries. Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song | ISSTA | 2024 | Other |
| DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. Maoyi Xie, Ming Hu 0003, Ziqiao Kong, Cen Zhang, Yebo Feng | ISSTA | 2024 | Other |
| Datactive: Data Fault Localization for Object Detection Systems. Yining Yin, Yang Feng 0003, Shihao Weng, Yuan Yao 0001, Jia Liu 0015 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing. Tong Wang 0042, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang | ISSTA | 2024 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates. Baoquan Cui, Jiwei Yan, Jian Zhang 0001 | ISSTA | 2024 | Mobile / Web / GUI / Android |
| DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling. Haoran Fang, Kaikai Zhang, Donghui Yu, Yuanyuan Zhang 0002 | ISSTA | 2024 | Testing / QA |
| DBStorm: Generating Various Effective Workloads for Testing Isolation Levels. Keqiang Li 0006, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang 0002 | ISSTA | 2024 | Testing / QA |
| DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3. Zhiying Wu, Jiajing Wu, Hui Zhang 0002, Ziwei Li, Jiachi Chen | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| CooTest: An Automated Testing Approach for V2X Communication Systems. An Guo 0002, Xinyu Gao, Zhenyu Chen 0001, Yuan Xiao 0003, Jiakai Liu | ISSTA | 2024 | Testing / QA |
| Commit Artifact Preserving Build Prediction. Guoqing Wang 0004, Zeyu Sun 0004, Yizhou Chen, Yifan Zhao, Qingyuan Liang | ISSTA | 2024 | DevOps / CI / Build / Release |
| Collaboration to Repository-Level Vulnerability Detection. Xin-Cheng Wen | ISSTA | 2024 | DevOps / CI / Build / Release |
| CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios. Zhengran Zeng, Yidong Wang 0003, Rui Xie 0003, Wei Ye 0004, Shikun Zhang | ISSTA | 2024 | Other |
| CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding. Dong Li 0009, Meng Yan 0001, Yaosheng Zhang, Zhongxin Liu 0002, Chao Liu 0014 | ISSTA | 2024 | Security / Privacy / Vulnerability |
| CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. Chenyan Liu, Yufan Cai 0001, Yun Lin 0001, Yuhuan Huang, Yunrui Pei | ISSTA | 2024 | Other |
| Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks. Huaien Zhang, Yu Pei 0001, Shuyun Liang, Zezhong Xing, Shin Hwei Tan | ISSTA | 2024 | Program Analysis / Verification / Formal Methods |
| Certified Continual Learning for Neural Network Regression. Long H. Pham, Jun Sun 0001 | ISSTA | 2024 | Testing / QA; AI / LLM for SE |
| Call Graph Soundness in Android Static Analysis. Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein | ISSTA | 2024 | Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android |
| Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks. Yuxin Qiu, Jie Hu 0031, Qian Zhang 0020, Heng Yin 0001 | ISSTA | 2024 | AI / LLM for SE |
| CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors. Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision. Hao Wang 0226, Zeyu Gao, Chao Zhang 0008, Zihan Sha, Mingyang Sun | ISSTA | 2024 | Other |
| CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection. Hao Wang 0226, Zeyu Gao, Chao Zhang 0008, Mingyang Sun, Yuchen Zhou 0007 | ISSTA | 2024 | Performance / Energy / Reliability |
| C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging. Xuezhi Song, Yijian Wu, Shuning Liu, Bihuan Chen 0001, Yun Lin 0001 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review |
| Bugs in Pods: Understanding Bugs in Container Runtime Systems. Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen 0001, Yuekang Li | ISSTA | 2024 | Cloud / Microservices / Distributed Systems |
| Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code. Yujia Chen, Cuiyun Gao 0001, Zezhou Yang, Hongyu Zhang 0002, Qing Liao 0001 | ISSTA | 2024 | Other |
| Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems. Chuan Luo 0002, Shuangyu Lyu, Qiyuan Zhao, Wei Wu 0011, Hongyu Zhang 0002 | ISSTA | 2024 | Testing / QA |
| Better Not Together: Staged Solving for Context-Free Language Reachability. Chenghang Shi, Haofeng Li, Jie Lu 0009, Lian Li 0002 | ISSTA | 2024 | Other |
| Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs. Yicheng Ouyang, Jun Yang 0062, Lingming Zhang 0001 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical |
| BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments. Linna Xie, Chongmin Li, Yu Pei 0001, Tian Zhang 0001, Minxue Pan | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review |
| Automating Zero-Shot Patch Porting for Hard Forks. Shengyi Pan, You Wang, Zhongxin Liu 0002, Xing Hu 0008, Xin Xia 0001 | ISSTA | 2024 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated Testing of Networked Systems Reliability. Michal Rozsíval | ISSTA | 2024 | Testing / QA; Performance / Energy / Reliability |
| Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT. Chunqiu Steven Xia, Lingming Zhang 0001 | ISSTA | 2024 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Automated Deep Learning Optimization via DSL-Based Source Code Transformation. Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang 0001 | ISSTA | 2024 | AI / LLM for SE; Performance / Energy / Reliability |
| Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph. Xiaoyong Yan, Biao He 0002, Wenbo Shen, Yu Ouyang, Kaihang Zhou | ISSTA | 2024 | Mobile / Web / GUI / Android |
| AutoCodeRover: Autonomous Program Improvement. Yuntong Zhang 0002, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury | ISSTA | 2024 | Other |
| Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries. Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang | ISSTA | 2024 | Testing / QA; Mobile / Web / GUI / Android |
| AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference. Hyungseok Kim 0002, Soomin Kim 0002, Jungwoo Lee, Sang Kil Cha | ISSTA | 2024 | Testing / QA |
| Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors. Jinchen Xu, Mengqi Cui, Fei Li 0045, Zuoyan Zhang, Hongru Yang | ISSTA | 2024 | Performance / Energy / Reliability |
| An In-Depth Study of Runtime Verification Overheads during Software Testing. Kevin Guan, Owolabi Legunsen | ISSTA | 2024 | Testing / QA; Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| An Empirical Study on Kubernetes Operator Bugs. Qingxin Xu, Yu Gao 0002, Jun Wei 0001 | ISSTA | 2024 | Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems |
| An Empirical Study of Static Analysis Tools for Secure Code Review. Wachiraphan Charoenwet 0001, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude | ISSTA | 2024 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review |
| An Empirical Examination of Fuzzer Mutator Performance. James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell 0001 | ISSTA | 2024 | Testing / QA; Human / Empirical / Socio-technical; Performance / Energy / Reliability |
| API Misuse Detection via Probabilistic Graphical Model. Yunlong Ma, Wentong Tian, Xiang Gao 0012, Hailong Sun 0001, Li Li 0029 | ISSTA | 2024 | Other |
| AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation. Zhensu Sun, Xiaoning Du 0001, Zhou Yang 0003, Li Li 0029, David Lo 0001 | ISSTA | 2024 | AI / LLM for SE |
| A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Zhihan Jiang, Jinyang Liu 0002, Junjie Huang 0008, Yichen Li 0003, Yintong Huo | ISSTA | 2024 | Other |
| A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models. Junjie Yang 0004, Jiajun Jiang, Zeyu Sun 0004, Junjie Chen 0003 | ISSTA | 2024 | Human / Empirical / Socio-technical |
| ω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 |
| iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu | ISSTA | 2023 | Security / Privacy / Vulnerability |
| 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 |
| 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 |
| 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 |
| Vectorizing Program Ingredients for Better JVM Testing. Tianchang Gao, Junjie Chen 0003, Yingquan Zhao, Yuqun Zhang, Lingming Zhang 0001 | ISSTA | 2023 | Testing / QA |
| Validating Multimedia Content Moderation Software via Semantic Fusion. Wenxuan Wang 0001, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang 0002 | ISSTA | 2023 | Other |
| 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 |
| Understanding Breaking Changes in the Wild. Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich 0001, Samuel Ou, Kelly Blincoe | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Type Batched Program Reduction. Golnaz Gharachorlu, Nick Sumner | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Type Automata. Ori Roth | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Testing / QA; Performance / Energy / Reliability |
| Transforming Test Suites into Croissants. Yang Chen 0059, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| Toward Automated Detecting Unanticipated Price Feed in Smart Contract. Yifan Mo, Jiachi Chen, Yanlin Wang 0001, Zibin Zheng | ISSTA | 2023 | Security / Privacy / Vulnerability |
| 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 |
| 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 |
| 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 |
| 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 |
| Testing Graph Database Engines via Query Partitioning. Matteo Kamm, Manuel Rigger, Chengyu Zhang 0001, Zhendong Su 0001 | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| 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 |
| Systematic Testing of the Data-Poisoning Robustness of KNN. Yannan Li 0002, Jingbo Wang 0006, Chao Wang 0001 | ISSTA | 2023 | Testing / QA |
| 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 |
| SymRustC: A Hybrid Fuzzer for Rust. Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko | 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 |
| 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 |
| SlipCover: Near Zero-Overhead Code Coverage for Python. Juan Altmayer Pizzorno, Emery D. Berger | ISSTA | 2023 | Testing / QA |
| Simulation-Based Validation for Autonomous Driving Systems. Changwen Li, Joseph Sifakis, Qiang Wang 0020, Rongjie Yan, Jian Zhang 0001 | ISSTA | 2023 | Testing / QA |
| Silent Compiler Bug De-duplication via Three-Dimensional Analysis. Chen Yang, Junjie Chen 0003, Xingyu Fan, Jiajun Jiang, Jun Sun 0001 | ISSTA | 2023 | Other |
| Semantic-Based Neural Network Repair. Richard Schumi, Jun Sun 0001 | ISSTA | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Security Checking of Trigger-Action-Programming Smart Home Integrations. Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai | ISSTA | 2023 | Security / Privacy / Vulnerability |
| 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 |
| RustSmith: Random Differential Compiler Testing for Rust. Mayank Sharma, Pingshi Yu, Alastair F. Donaldson | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| 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 |
| Reasoning about MLIR Semantics through Effects and Handlers. Pingshi Yu | ISSTA | 2023 | Other |
| Rare Path Guided Fuzzing. Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li | ISSTA | 2023 | Testing / QA |
| ROME: Testing Image Captioning Systems via Recursive Object Melting. Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He | ISSTA | 2023 | Testing / QA |
| Quantitative Symbolic Similarity Analysis. Laboni Sarker | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Quantitative Robustness Analysis of Neural Networks. Mara Downing | ISSTA | 2023 | AI / LLM for SE |
| 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 |
| 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 |
| PhysCov: Physical Test Coverage for Autonomous Vehicles. Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum | ISSTA | 2023 | Testing / QA |
| Pattern-Based Peephole Optimizations with Java JIT Tests. Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001 | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| OCFI: Make Function Entry Identification Hard Again. Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao 0001 | ISSTA | 2023 | Other |
| NodeRT: Detecting Races in Node.js Applications Practically. Jingyao Zhou, Lei Xu 0003, Gongzheng Lu, Weifeng Zhang 0001, Xiangyu Zhang 0001 | 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 |
| 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 |
| 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 |
| Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. Shiwen Yu, Ting Wang 0009, Ji Wang 0001 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. Chaofan Shou, Shangyin Tan, Koushik Sen | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu 0001 | ISSTA | 2023 | Other |
| 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 |
| Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. Dylan Callaghan, Bernd Fischer 0002 | ISSTA | 2023 | Testing / QA |
| Improving Bit-Blasting for Nonlinear Integer Constraints. Fuqi Jia, Rui Han, Pei Huang 0002, Minghao Liu 0001, Feifei Ma | ISSTA | 2023 | Other |
| 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 |
| Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. Michael Chesser, Surya Nepal, Damith C. Ranasinghe | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| 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 |
| Guiding Greybox Fuzzing with Mutation Testing. Vasudev Vikram, Isabella Laybourn, Ao Li 0009, Nicole Nair, Kelton OBrien | 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 |
| 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 |
| Green Fuzzer Benchmarking. Jiradet Ounjai, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Other |
| GrayC: Greybox Fuzzing of Compilers and Analysers for C. Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar | 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 |
| 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 |
| GDsmith: Detecting Bugs in Cypher Graph Database Engines. Ziyue Hua, Wei Lin 0016, Luyao Ren, Zongyang Li, Lu Zhang 0023 | ISSTA | 2023 | Other |
| Fuzzing Embedded Systems using Debug Interfaces. Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| 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 |
| 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 |
| Finding Short Slow Inputs Faster with Grammar-Based Search. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Other |
| Fairness Testing for Recommender Systems. Huizhong Guo 0001 | 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 |
| Extracting Inline Tests from Unit Tests. Yu Liu 0079, Pengyu Nie 0001, Anna Guo, Milos Gligoric 0001, Owolabi Legunsen | ISSTA | 2023 | Testing / QA |
| Exploring Missed Optimizations in WebAssembly Optimizers. Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang 0011, Wei Meng 0001 | ISSTA | 2023 | Other |
| EvoSpex: A Search-Based Tool for Postcondition Inference. Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias | ISSTA | 2023 | Other |
| 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 |
| Enhancing REST API Testing with NLP Techniques. Myeongsoo Kim, Davide Corradini, Saurabh Sinha 0003, Alessandro Orso, Michele Pasqua | ISSTA | 2023 | Testing / QA |
| EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. Konstantinos Sagonas, Thanasis Typaldos | ISSTA | 2023 | Other |
| 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 |
| 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 |
| 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 |
| 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 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 |
| Dependency-Aware Metamorphic Testing of Datalog Engines. Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Testing / QA |
| Definition and Detection of Defects in NFT Smart Contracts. Shuo Yang 0012, Jiachi Chen, Zibin Zheng | ISSTA | 2023 | Other |
| DeepAtash: Focused Test Generation for Deep Learning Systems. Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| 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 |
| DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. Queping Kong, Jiachi Chen, Yanlin Wang 0001, Zigui Jiang, Zibin Zheng | ISSTA | 2023 | Other |
| Data Constraint Mining for Automatic Reconciliation Scripts Generation. Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin | ISSTA | 2023 | Other |
| DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. Yuhao Zhou, Wei Song 0003 | ISSTA | 2023 | 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 |
| 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 |
| 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 |
| 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 |
| Concept-Based Automated Grading of CS-1 Programming Assignments. Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury | ISSTA | 2023 | Other |
| CodeGrid: A Grid Representation of Code. Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé | ISSTA | 2023 | Other |
| Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen 0011, Xuandong Li | ISSTA | 2023 | Other |
| 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 |
| 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 |
| CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. Yihong Dong, Ge Li 0001, Zhi Jin 0001 | 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 |
| CGuard: Scalable and Precise Object Bounds Protection for C. Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh | ISSTA | 2023 | Other |
| Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. Xudong Zhang 0007, Yan Cai 0001 | ISSTA | 2023 | Testing / QA |
| 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 |
| Beware of the Unexpected: Bimodal Taint Analysis. Yiu Wai Chow, Max Schäfer, Michael Pradel | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. Roland Kuhn 0002, Alan Darmasaputra | ISSTA | 2023 | Other |
| BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. Mingfei Cheng, Yuan Zhou 0005, Xiaofei Xie | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| Automatic Testing and Benchmarking for Configurable Static Analysis Tools. Austin Mordahl | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Automated Program Repair from Fuzzing Perspective. Youngjae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi | ISSTA | 2023 | Testing / QA; 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 |
| 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 |
| 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 |
| 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 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 |
| 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 |
| 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 |
| AGORA: Automated Generation of Test Oracles for REST APIs. Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés | ISSTA | 2023 | Testing / QA |
| 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 |
| 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 |
| 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 Bayesian Framework for Automated Debugging. Sungmin Kang, Wonkeun Choi, Shin Yoo | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo | ISSTA | 2023 | Testing / QA |
| ε-weakened robustness of deep neural networks. Pei Huang 0002, Yuting Yang 0002, Minghao Liu 0001, Fuqi Jia, Feifei Ma | ISSTA | 2022 | AI / LLM for SE |
| jTrans: jump-aware transformer for binary code similarity detection. Hao Wang 0226, Wenjie Qu 0001, Gilad Katz, Wenyu Zhu, Zeyu Gao | ISSTA | 2022 | AI / LLM for SE |
| iFixDataloss: a tool for detecting and fixing data loss issues in Android apps. Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001 | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| eTainter: detecting gas-related vulnerabilities in smart contracts. Asem Ghaleb, Julia Rubin, Karthik Pattabiraman | ISSTA | 2022 | Other |
| WASAI: uncovering vulnerabilities in Wasm smart contracts. Weimin Chen, Zihan Sun, Haoyu Wang 0001, Xiapu Luo, Haipeng Cai | ISSTA | 2022 | Other |
| Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). Jialu Zhang 0002, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri | ISSTA | 2022 | Other |
| Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. Zhiyong Wu 0010, Jie Liang 0006, Mingzhe Wang, Chijin Zhou, Yu Jiang 0001 | ISSTA | 2022 | Other |
| UniRLTest: universal platform-independent testing with reinforcement learning via image understanding. Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li 0034, Yexiao Yun | ISSTA | 2022 | Testing / QA |
| Understanding device integration bugs in smart home system. Tao Wang 0030, Kangkang Zhang, Wei Chen 0018, Wensheng Dou, Jiaxin Zhu | ISSTA | 2022 | Other |
| The raise of machine learning hyperparameter constraints in Python code. Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby | ISSTA | 2022 | AI / LLM for SE |
| Testing Dafny (experience paper). Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak | ISSTA | 2022 | Testing / QA |
| Test mimicry to assess the exploitability of library vulnerabilities. Hong Jin Kang, Truong Giang Nguyen, Bach Le 0001, Corina S. Pasareanu, David Lo 0001 | ISSTA | 2022 | Testing / QA |
| TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. Xuwei Liu, Wei You 0001, Zhuo Zhang 0002, Xiangyu Zhang 0001 | ISSTA | 2022 | Testing / QA |
| TeLL: log level suggestions via modeling multi-level code block information. Jiahao Liu 0005, Jun Zeng 0006, Xiang Wang 0010, Kaihang Ji, Zhenkai Liang | ISSTA | 2022 | Requirements / Modeling / Architecture |
| SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. Boxiang Wang, Rui Chen 0042, Chao Li 0078, Tingting Yu, Dongdong Gao | ISSTA | 2022 | Other |
| SnapFuzz: high-throughput fuzzing of network applications. Anastasios Andronidis, Cristian Cadar | ISSTA | 2022 | Testing / QA |
| SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study). Michael Weiss 0004, Paolo Tonella | ISSTA | 2022 | Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| SLIME: program-sensitive energy allocation for fuzzing. Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang 0002, Binbin Zhao | ISSTA | 2022 | Testing / QA; Performance / Energy / Reliability |
| RegMiner: towards constructing a large regression dataset from code evolution history. Xuezhi Song, Yun Lin 0001, Siang Hwee Ng, Yijian Wu, Xin Peng 0001 | ISSTA | 2022 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. Daniel Fortunato, José Campos 0001, Rui Abreu 0001 | ISSTA | 2022 | Testing / QA |
| Pytest-Smell: a smell detection tool for Python unit tests. Alexandru Bodea | ISSTA | 2022 | Testing / QA |
| Program vulnerability repair via inductive inference. Yuntong Zhang 0002, Xiang Gao 0012, Gregory J. Duck, Abhik Roychoudhury | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. Chao Li 0078, Rui Chen 0042, Boxiang Wang, Tingting Yu, Dongdong Gao | ISSTA | 2022 | Other |
| PrIntFuzz: fuzzing Linux drivers via automated virtual device simulation. Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma | ISSTA | 2022 | Testing / QA |
| PermDroid: automatically testing permission-related behaviour of Android applications. Shuaihao Yang, Zigang Zeng, Wei Song 0003 | ISSTA | 2022 | Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Path-sensitive code embedding via contrastive learning for software vulnerability detection. Xiao Cheng 0002, Guanqin Zhang, Haoyu Wang 0001, Yulei Sui | ISSTA | 2022 | AI / LLM for SE |
| Patch correctness assessment in automated program repair based on the impact of patches on production and test code. Ali Ghanbari 0001, Andrian Marcus | ISSTA | 2022 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. Peilin Zheng, Zibin Zheng, Xiapu Luo | ISSTA | 2022 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability |
| One step further: evaluating interpreters using metamorphic testing. Ming Fan 0002, Jiali Wei, Wuxia Jin, Zhou Xu 0003, Wenying Wei | ISSTA | 2022 | Testing / QA |
| On the use of mutation analysis for evaluating student test suite quality. James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell 0001 | ISSTA | 2022 | Testing / QA; Education / Program Comprehension |
| On the use of evaluation measures for defect prediction studies. Rebecca Moussa, Federica Sarro | ISSTA | 2022 | Other |
| NCScope: hardware-assisted analyzer for native code in Android apps. Hao Zhou 0043, Shuohan Wu, Xiapu Luo, Ting Wang 0006, Yajin Zhou | ISSTA | 2022 | Mobile / Web / GUI / Android |
| Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann 0001, Maria Christakis | ISSTA | 2022 | Testing / QA |
| Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities. Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu 0001, Pedro Adão, Riccardo Scandariato | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| MDPFuzz: testing models solving Markov decision processes. Qi Pang, Yuanyuan Yuan 0001, Shuai Wang 0011 | ISSTA | 2022 | Testing / QA |
| LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems. An Guo 0002, Yang Feng 0003, Zhenyu Chen 0001 | ISSTA | 2022 | Testing / QA |
| Improving cross-platform binary analysis using representation learning via graph alignment. Geunwoo Kim, Sanghyun Hong 0001, Michael Franz, Dokyung Song | ISSTA | 2022 | Other |
| HybridRepair: towards annotation-efficient repair for deep learning models. Yu Li 0007, Muxi Chen, Qiang Xu 0001 | ISSTA | 2022 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Hunting bugs with accelerated optimal graph vertex matching. Xiaohui Zhang, Yuanjun Gong, Bin Liang 0002, Jianjun Huang 0001, Wei You 0001 | ISSTA | 2022 | Other |
| Human-in-the-loop oracle learning for semantic bugs in string processing programs. Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme | ISSTA | 2022 | Testing / QA; Human / Empirical / Socio-technical |
| Finding permission bugs in smart contracts with role mining. Ye Liu 0012, Yi Li 0008, Shang-Wei Lin 0001, Cyrille Artho | ISSTA | 2022 | Security / Privacy / Vulnerability |
| Finding bugs in Gremlin-based graph database systems via Randomized differential testing. Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang | ISSTA | 2022 | Testing / QA |
| Faster mutation analysis with MeMu. Ali Ghanbari 0001, Andrian Marcus | ISSTA | 2022 | Testing / QA |
| FDG: a precise measurement of fault diagnosability gain of test cases. Gabin An, Shin Yoo | ISSTA | 2022 | Testing / QA |
| Evolution-aware detection of order-dependent flaky tests. Chengpeng Li 0002, August Shi | ISSTA | 2022 | Testing / QA; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation. Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu 0003 | ISSTA | 2022 | Testing / QA |
| ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro | ISSTA | 2022 | Other |
| ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| DocTer: documentation-guided fuzzing for testing deep learning API functions. Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan 0001 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| Detecting resource utilization bugs induced by variant lifecycles in Android. Yifei Lu, Minxue Pan, Yu Pei 0001, Xuandong Li | ISSTA | 2022 | Mobile / Web / GUI / Android; Performance / Energy / Reliability |
| Detecting multi-sensor fusion errors in advanced driver-assistance systems. Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang 0001, Zhenyu Zhong | ISSTA | 2022 | Other |
| Detecting and fixing data loss issues in Android apps. Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001 | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Deadlock prediction via generalized dependency. Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu | ISSTA | 2022 | Other |
| Cross-lingual transfer learning for statistical type inference. Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li 0008 | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| Combining static analysis error traces with dynamic symbolic execution (experience paper). Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| Combining solution reuse and bound tightening for efficient analysis of evolving systems. Clay Stevens, Hamid Bagheri | ISSTA | 2022 | Maintenance / Evolution / Refactoring / Review |
| CIRCLE: continual repair across programming languages. Wei Yuan 0003, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| BET: black-box efficient testing for convolutional neural networks. Jialai Wang, Han Qiu 0001, Yi Rong, Hengkai Ye, Qi Li 0002 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| Automatically detecting API-induced compatibility issues in Android apps: a comparative analysis (replicability study). Pei Liu, Yanjie Zhao 0001, Haipeng Cai, Mattia Fazzini, John C. Grundy | ISSTA | 2022 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| Automatic generation of smoke test suites for kubernetes. Cecilio Cannavacciuolo, Leonardo Mariani | ISSTA | 2022 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Automated testing of image captioning systems. Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang | ISSTA | 2022 | Testing / QA |
| Automated test generation for REST APIs: no time to rest yet. Myeongsoo Kim, Qi Xin, Saurabh Sinha 0003, Alessandro Orso | ISSTA | 2022 | Testing / QA |
| An extensive study on pre-trained models for program understanding and generation. Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li 0049, Yuqun Zhang | ISSTA | 2022 | Human / Empirical / Socio-technical |
| An empirical study on the effectiveness of static C code analyzers for vulnerability detection. Stephan Lipp, Sebastian Banescu, Alexander Pretschner | ISSTA | 2022 | Human / Empirical / Socio-technical |
| Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. Sumit Lahiri, Subhajit Roy 0001 | ISSTA | 2022 | Testing / QA |
| ATUA: an update-driven app testing tool. Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand | ISSTA | 2022 | Testing / QA; Mobile / Web / GUI / Android |
| ATR: template-based repair for Alloy specifications. Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| ASRTest: automated testing for deep-neural-network-driven speech recognition systems. Pin Ji, Yang Feng 0003, Jia Liu 0008, Zhihong Zhao, Zhenyu Chen 0001 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| AEON: a method for automatic evaluation of NLP test cases. Jen-tse Huang 0001, Jianping Zhang 0002, Wenxuan Wang 0001, Pinjia He, Yuxin Su 0001 | ISSTA | 2022 | Testing / QA |
| A large-scale study of usability criteria addressed by static analysis tools. Marcus Nachtigall, Michael Schlichtig, Eric Bodden | ISSTA | 2022 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| A large-scale empirical analysis of the vulnerabilities introduced by third-party components in IoT firmware. Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian 0001, Qiuyang Wei | ISSTA | 2022 | Human / Empirical / Socio-technical |
| iDEV: exploring and exploiting semantic deviations in ARM instruction processing. Shisong Qin, Chao Zhang 0008, Kaixiang Chen, Zheming Li | ISSTA | 2021 | Other |
| echidna-parade: a tool for diverse multicore smart contract fuzzing. Alex Groce, Gustavo Grieco | ISSTA | 2021 | Testing / QA; Security / Privacy / Vulnerability |
| WebEvo: taming web application evolution via detecting semantic structure changes. Fei Shao, Rui Xu, Wasif Arman Haque, Jingwei Xu 0004, Ying Zhang 0012 | ISSTA | 2021 | Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android |
| Validating static warnings via testing code fragments. Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le | ISSTA | 2021 | Testing / QA |
| Understanding and finding system setting-related defects in Android apps. Jingling Sun, Ting Su 0001, Junxin Li, Zhen Dong, Geguang Pu | ISSTA | 2021 | Mobile / Web / GUI / Android |
| UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. Binfa Gui, Wei Song 0003, Jeff Huang 0001 | ISSTA | 2021 | Other |
| Type and interval aware array constraint solving for symbolic execution. Ziqi Shuai, Zhenbang Chen, Yufeng Zhang 0001, Jun Sun 0001, Ji Wang 0001 | ISSTA | 2021 | Program Analysis / Verification / Formal Methods |
| Toward optimal mc/dc test case generation. Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta | ISSTA | 2021 | Testing / QA |
| The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. Austin Mordahl, Shiyi Wei | ISSTA | 2021 | Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| Test-case prioritization for configuration testing. Runxiang Cheng, Lingming Zhang 0001, Darko Marinov, Tianyin Xu | ISSTA | 2021 | Testing / QA; DevOps / CI / Build / Release |
| TauMed: test augmentation of deep learning in medical diagnosis. Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang | ISSTA | 2021 | Testing / QA; AI / LLM for SE |
| TERA: optimizing stochastic regression tests in machine learning projects. Saikat Dutta 0001, Jeeva Selvam, Aryaman Jain, Sasa Misailovic | ISSTA | 2021 | Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release |
| Synthesize solving strategy for symbolic execution. Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang 0005, Weiyu Pan | ISSTA | 2021 | Program Analysis / Verification / Formal Methods |
| Semantic table structure identification in spreadsheets. Yakun Zhang, Xiao Lv, Haoyu Dong 0001, Wensheng Dou, Shi Han | ISSTA | 2021 | Other |
| Semantic matching of GUI events for test reuse: are we there yet? Leonardo Mariani, Ali Mohebbi 0003, Mauro Pezzè, Valerio Terragni | ISSTA | 2021 | Testing / QA; Mobile / Web / GUI / Android |
| Seed selection for successful fuzzing. Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer | ISSTA | 2021 | Testing / QA |
| SCStudio: a secure and efficient integrated development environment for smart contracts. Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu | ISSTA | 2021 | Other |
| SAND: a static analysis approach for detecting SQL antipatterns. Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp | ISSTA | 2021 | Program Analysis / Verification / Formal Methods |
| Runtime detection of memory errors with smart status. Zhe Chen 0011, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue | ISSTA | 2021 | Other |
| RESTest: automated black-box testing of RESTful web APIs. Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés | ISSTA | 2021 | Testing / QA; Mobile / Web / GUI / Android |
| RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. Ming Yuan 0003, Yeseop Lee, Chao Zhang 0008, Yun Li 0010, Yan Cai 0001 | ISSTA | 2021 | Other |
| QFuzz: quantitative fuzzing for side channels. Yannic Noller, Saeid Tizpaz-Niari | ISSTA | 2021 | Testing / QA |
| ProFuzzBench: a benchmark for stateful protocol fuzzing. Roberto Natella, Van-Thuan Pham | ISSTA | 2021 | Testing / QA |
| Predoo: precision testing of deep learning operators. Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu 0015 | ISSTA | 2021 | Testing / QA; AI / LLM for SE |
| Parema: an unpacking framework for demystifying VM-based Android packers. Lei Xue 0001, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo | ISSTA | 2021 | Mobile / Web / GUI / Android |
| Modular call graph construction for security scanning of Node.js applications. Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller | ISSTA | 2021 | Security / Privacy / Vulnerability |
| ModelDiff: testing-based DNN similarity comparison for model reuse detection. Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu | ISSTA | 2021 | Testing / QA |
| Model-based testing of networked applications. Yishuai Li, Benjamin C. Pierce, Steve Zdancewic | ISSTA | 2021 | Testing / QA |
| MoScan: a model-based vulnerability scanner for web single sign-on services. Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov | ISSTA | 2021 | Mobile / Web / GUI / Android |
| Log-based slicing for system-level test cases. Salma Messaoudi, Donghwan Shin 0001, Annibale Panichella, Domenico Bianculli, Lionel C. Briand | ISSTA | 2021 | Testing / QA; Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems |
| Interval constraint-based mutation testing of numerical specifications. Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter | ISSTA | 2021 | Testing / QA |
| Identifying privacy weaknesses from multi-party trigger-action integration platforms. Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo 0002 | ISSTA | 2021 | Security / Privacy / Vulnerability |
| HomDroid: detecting Android covert malware by social-network homophily analysis. Yueming Wu 0001, Deqing Zou, Wei Yang 0013, Xiang Li, Hai Jin 0001 | ISSTA | 2021 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Grammar-agnostic symbolic execution by token symbolization. Weiyu Pan, Zhenbang Chen, Guofeng Zhang 0005, Yunlai Luo, Yufeng Zhang 0001 | ISSTA | 2021 | Program Analysis / Verification / Formal Methods |
| Gramatron: effective grammar-aware fuzzing. Prashast Srivastava, Mathias Payer | ISSTA | 2021 | Testing / QA |
| GUIDER: GUI structure and vision co-guided test script repair for Android apps. Tongtong Xu, Minxue Pan, Yu Pei 0001, Guiyin Li, Xia Zeng | ISSTA | 2021 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Fuzzing SMT solvers via two-dimensional input space exploration. Peisen Yao, Heqing Huang 0002, Wensheng Tang, Qingkai Shi, Rongxin Wu | ISSTA | 2021 | Testing / QA |
| Fixing dependency errors for Python build reproducibility. Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González | ISSTA | 2021 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release |
| Finding data compatibility bugs with JSON subschema checking. Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel | ISSTA | 2021 | Other |
| Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space. Yicheng Pan 0002, Meng Ma 0001, Xinrui Jiang 0001, Ping Wang 0003 | ISSTA | 2021 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Exposing previously undetectable faults in deep neural networks. Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham | ISSTA | 2021 | AI / LLM for SE |
| Empirically evaluating readily available information for regression test optimization in continuous integration. Daniel Elsner, Florian Hauer 0002, Alexander Pretschner, Silke Reimer | ISSTA | 2021 | Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability |
| Empirical evaluation of smart contract testing: what is the best choice? Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang 0001 | ISSTA | 2021 | Testing / QA; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Efficient white-box fairness testing through gradient search. Lingfeng Zhang, Yueling Zhang, Min Zhang 0007 | ISSTA | 2021 | Testing / QA |
| DialTest: automated testing for recurrent-neural-network-driven dialogue systems. Zixi Liu, Yang Feng 0003, Zhenyu Chen 0001 | ISSTA | 2021 | Testing / QA; AI / LLM for SE |
| DeepHyperion: exploring the feature space of deep learning-based systems through illumination search. Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella | ISSTA | 2021 | AI / LLM for SE |
| DeepCrime: mutation testing of deep learning systems based on real faults. Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella | ISSTA | 2021 | Testing / QA; AI / LLM for SE |
| Deep just-in-time defect prediction: how far are we? Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang 0001 | ISSTA | 2021 | Other |
| Continuous test suite failure prediction. Cong Pan 0002, Michael Pradel | ISSTA | 2021 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Challenges and opportunities: an in-depth empirical study on configuration error injection testing. Wang Li 0003, Zhouyang Jia, Shanshan Li 0001, Yuanliang Zhang, Teng Wang 0004 | ISSTA | 2021 | Testing / QA; Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| C4: the C compiler concurrency checker. Matt Windsor, Alastair F. Donaldson, John Wickerson | ISSTA | 2021 | Other |
| Boosting symbolic execution via constraint solving time prediction (experience paper). Sicheng Luo, Hui Xu 0009, Yanxiang Bi, Xin Wang 0002, Yangfan Zhou 0002 | ISSTA | 2021 | Program Analysis / Verification / Formal Methods |
| Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper). Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand, Thomas Stifter, Jun Wang 0020 | ISSTA | 2021 | Testing / QA |
| Automated patch backporting in Linux (experience paper). Ridwan Shariffdeen, Xiang Gao 0012, Gregory J. Duck, Shin Hwei Tan, Julia Lawall | ISSTA | 2021 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated debugging: past, present, and future (ISSTA impact paper award). Chris Parnin, Alessandro Orso | ISSTA | 2021 | Debugging / Fault Localization / Diagnosis / Repair |
| Attack as defense: characterizing adversarial examples using robustness. Zhe Zhao 0007, Guangke Chen, Jingyi Wang 0004, Yiwei Yang 0002, Fu Song | ISSTA | 2021 | Security / Privacy / Vulnerability |
| An infrastructure approach to improving effectiveness of Android UI testing tools. Wenyu Wang, Wing Lam, Tao Xie 0001 | ISSTA | 2021 | Testing / QA; Mobile / Web / GUI / Android |
| AdvDoor: adversarial backdoor attack of deep learning system. Quan Zhang 0003, Yifeng Ding, Yongqiang Tian 0001, Jianmin Guo, Min Yuan | ISSTA | 2021 | AI / LLM for SE; Security / Privacy / Vulnerability |
| A lightweight framework for function name reassignment based on large-scale stripped binaries. Han Gao 0014, Shaoyin Cheng, Yinxing Xue, Weiming Zhang 0001 | ISSTA | 2021 | Other |