Software Engineering Empirical Research Radar

ISSTA 2024 Papers

ISSTA 2024 paper list with topic labels.

PaperVenueYearTopics
A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models.
Junjie Yang 0004, Jiajun Jiang, Zeyu Sun 0004, Junjie Chen 0003		ISSTA2024Human / Empirical / Socio-technical
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		ISSTA2024Other
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		ISSTA2024AI / LLM for SE
API Misuse Detection via Probabilistic Graphical Model.
Yunlong Ma, Wentong Tian, Xiang Gao 0012, Hailong Sun 0001, Li Li 0029		ISSTA2024Other
An Empirical Examination of Fuzzer Mutator Performance.
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell 0001		ISSTA2024Testing / QA; Human / Empirical / Socio-technical; Performance / Energy / Reliability
An Empirical Study of Static Analysis Tools for Secure Code Review.
Wachiraphan Charoenwet 0001, Patanamon Thongtanunam, Van-Thuan Pham, Christoph Treude		ISSTA2024Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Study on Kubernetes Operator Bugs.
Qingxin Xu, Yu Gao 0002, Jun Wei 0001		ISSTA2024Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
An In-Depth Study of Runtime Verification Overheads during Software Testing.
Kevin Guan, Owolabi Legunsen		ISSTA2024Testing / QA; Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors.
Jinchen Xu, Mengqi Cui, Fei Li 0045, Zuoyan Zhang, Hongru Yang		ISSTA2024Performance / Energy / Reliability
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference.
Hyungseok Kim 0002, Soomin Kim 0002, Jungwoo Lee, Sang Kil Cha		ISSTA2024Testing / QA
Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries.
Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang		ISSTA2024Testing / QA; Mobile / Web / GUI / Android
AutoCodeRover: Autonomous Program Improvement.
Yuntong Zhang 0002, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury		ISSTA2024Other
Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph.
Xiaoyong Yan, Biao He 0002, Wenbo Shen, Yu Ouyang, Kaihang Zhou		ISSTA2024Mobile / Web / GUI / Android
Automated Deep Learning Optimization via DSL-Based Source Code Transformation.
Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang 0001		ISSTA2024AI / LLM for SE; 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		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Automated Testing of Networked Systems Reliability.
Michal Rozsíval		ISSTA2024Testing / QA; Performance / Energy / Reliability
Automating Zero-Shot Patch Porting for Hard Forks.
Shengyi Pan, You Wang, Zhongxin Liu 0002, Xing Hu 0008, Xin Xia 0001		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments.
Linna Xie, Chongmin Li, Yu Pei 0001, Tian Zhang 0001, Minxue Pan		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs.
Yicheng Ouyang, Jun Yang 0062, Lingming Zhang 0001		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Better Not Together: Staged Solving for Context-Free Language Reachability.
Chenghang Shi, Haofeng Li, Jie Lu 0009, Lian Li 0002		ISSTA2024Other
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		ISSTA2024Testing / QA
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		ISSTA2024Other
Bugs in Pods: Understanding Bugs in Container Runtime Systems.
Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen 0001, Yuekang Li		ISSTA2024Cloud / Microservices / Distributed Systems
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		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Maintenance / Evolution / Refactoring / Review
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		ISSTA2024Performance / Energy / Reliability
CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision.
Hao Wang 0226, Zeyu Gao, Chao Zhang 0008, Zihan Sha, Mingyang Sun		ISSTA2024Other
CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors.
Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks.
Yuxin Qiu, Jie Hu 0031, Qian Zhang 0020, Heng Yin 0001		ISSTA2024AI / LLM for SE
Call Graph Soundness in Android Static Analysis.
Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein		ISSTA2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
Certified Continual Learning for Neural Network Regression.
Long H. Pham, Jun Sun 0001		ISSTA2024Testing / QA; AI / LLM for SE
Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks.
Huaien Zhang, Yu Pei 0001, Shuyun Liang, Zezhong Xing, Shin Hwei Tan		ISSTA2024Program Analysis / Verification / Formal Methods
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		ISSTA2024Other
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		ISSTA2024Security / Privacy / Vulnerability
CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios.
Zhengran Zeng, Yidong Wang 0003, Rui Xie 0003, Wei Ye 0004, Shikun Zhang		ISSTA2024Other
Collaboration to Repository-Level Vulnerability Detection.
Xin-Cheng Wen		ISSTA2024DevOps / CI / Build / Release
Commit Artifact Preserving Build Prediction.
Guoqing Wang 0004, Zeyu Sun 0004, Yizhou Chen, Yifan Zhao, Qingyuan Liang		ISSTA2024DevOps / CI / Build / Release
CooTest: An Automated Testing Approach for V2X Communication Systems.
An Guo 0002, Xinyu Gao, Zhenyu Chen 0001, Yuan Xiao 0003, Jiakai Liu		ISSTA2024Testing / QA
DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3.
Zhiying Wu, Jiajing Wu, Hui Zhang 0002, Ziwei Li, Jiachi Chen		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
DBStorm: Generating Various Effective Workloads for Testing Isolation Levels.
Keqiang Li 0006, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang 0002		ISSTA2024Testing / QA
DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling.
Haoran Fang, Kaikai Zhang, Donghui Yu, Yuanyuan Zhang 0002		ISSTA2024Testing / QA
DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates.
Baoquan Cui, Jiwei Yan, Jian Zhang 0001		ISSTA2024Mobile / Web / GUI / Android
Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing.
Tong Wang 0042, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang		ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Datactive: Data Fault Localization for Object Detection Systems.
Yining Yin, Yang Feng 0003, Shihao Weng, Yuan Yao 0001, Jia Liu 0015		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.
Maoyi Xie, Ming Hu 0003, Ziqiao Kong, Cen Zhang, Yebo Feng		ISSTA2024Other
DeLink: Source File Information Recovery in Binaries.
Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song		ISSTA2024Other
Decentralized Near-Synchronous Local-First Programming Collaboration.
Leon Freudenthaler		ISSTA2024Other
Decomposition of Deep Neural Networks into Modules via Mutation Analysis.
Ali Ghanbari 0001		ISSTA2024Testing / QA; AI / LLM for SE
Define-Use Guided Path Exploration for Better Forced Execution.
Dongnan He, Dongchen Xie, Yujie Wang, Wei You 0001, Bin Liang 0002		ISSTA2024Other
Detecting Build Dependency Errors in Incremental Builds.
Jun Lyu, Shanshan Li 0002, He Zhang 0001, Yang Zhang 0157, Guoping Rong		ISSTA2024DevOps / CI / Build / Release
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing.
You Lu 0005, Yifan Tian, Yuyang Bi, Bihuan Chen 0001, Xin Peng 0001		ISSTA2024Testing / QA; AI / LLM for SE
Distance-Aware Test Input Selection for Deep Neural Networks.
Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang 0001		ISSTA2024Testing / 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		ISSTA2024Testing / QA
Domain Adaptation for Code Model-Based Unit Test Case Generation.
Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, Song Wang 0009		ISSTA2024Testing / QA; AI / LLM for SE
ESBMC-Python: A Bounded Model Checker for Python Programs.
Bruno Farias 0001, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro		ISSTA2024Other
Efficient DNN-Powered Software with Fair Sparse Models.
Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang 0013		ISSTA2024Other
Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis.
Shuwei Song, Jiachi Chen, Ting Chen 0002, Xiapu Luo, Teng Li		ISSTA2024Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
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		ISSTA2024Testing / QA
Enhancing ROS System Fuzzing through Callback Tracing.
Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun 0021, Mingzhe Wang		ISSTA2024Testing / QA
Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge.
Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han		ISSTA2024Other
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		ISSTA2024Other
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study).
Eduard Pinconschi, Divya Gopinath, Rui Abreu 0001, Corina S. Pasareanu		ISSTA2024AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Evaluating the Effectiveness of Decompilers.
Ying Cao 0006, Runze Zhang, Ruigang Liang, Kai Chen 0012		ISSTA2024Other
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		ISSTA2024Other
FDI: Attack Neural Code Generation Systems through User Feedback Channel.
Zhensu Sun, Xiaoning Du 0001, Xiapu Luo, Fu Song, David Lo 0001		ISSTA2024AI / LLM for SE; Security / Privacy / Vulnerability
FRAFOL: FRAmework FOr Learning mutation testing.
Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just		ISSTA2024Testing / QA
FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation.
Xizhe Yin, Yang Feng 0003, Qingkai Shi, Zixi Liu, Hongwang Liu		ISSTA2024Testing / QA
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion.
Qi Guo, Xiaohong Li 0001, Xiaofei Xie, Shangqing Liu, Ze Tang 0002		ISSTA2024Other
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		ISSTA2024AI / LLM for SE; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements.
Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, Jifeng Xuan		ISSTA2024Other
Feedback-Directed Partial Execution.
Ishrak Hayet, Adam Scott, Marcelo d'Amorim		ISSTA2024Other
Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps.
Dingbang Wang, Yu Zhao 0010, Sidong Feng, Zhaoxu Zhang, William G. J. Halfond		ISSTA2024Mobile / Web / GUI / Android
Finding Cuts in Static Analysis Graphs to Debloat Software.
Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke		ISSTA2024Program Analysis / Verification / Formal Methods
FixCheck: A Tool for Improving Patch Correctness Analysis.
Facundo Molina, Juan Manuel Copia, Alessandra Gorla		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs.
Zhanyao Lei, Yixiong Chen, Mingyuan Xia 0001, Zhengwei Qi		ISSTA2024Maintenance / Evolution / Refactoring / Review
Following the "Thread": Toward Finding Manipulatable Bottlenecks in Blockchain Clients.
Shuohan Wu, Zihao Li 0001, Hao Zhou 0043, Xiapu Luo, Jianfeng Li 0006		ISSTA2024Security / Privacy / Vulnerability
FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor.
Zhenyu Ye, Lei Zhou 0023, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning		ISSTA2024Other
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems.
Drishti Yadav		ISSTA2024Program Analysis / Verification / Formal Methods
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts.
Yunqi Liu, Wei Song 0003		ISSTA2024Other
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees.
Yunqi Liu, Wei Song 0003		ISSTA2024Security / Privacy / Vulnerability
Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation.
Jueon Eom, Seyeon Jeong, Taekyoung Kwon 0002		ISSTA2024Testing / QA; AI / LLM for SE
Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis.
Chenyao Suo, Junjie Chen 0003, Shuang Liu 0007, Jiajun Jiang, Yingquan Zhao		ISSTA2024Testing / QA
Generalized Concurrency Testing Tool for Distributed Systems.
Ege Berkay Gulcan, João Neto 0001, Burcu Kulahcioglu Ozkan		ISSTA2024Testing / QA; Cloud / Microservices / Distributed Systems
Graph Learning for Extract Class Refactoring.
Luqiao Wang		ISSTA2024Maintenance / Evolution / Refactoring / Review
Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation.
Zhaoyang Chu, Yao Wan 0001, Qian Li 0003, Yang Wu 0010, Hongyu Zhang 0002		ISSTA2024AI / LLM for SE
Guardian: A Runtime Framework for LLM-Based UI Exploration.
Dezhi Ran, Hao Wang 0112, Zihe Song, Mengzhou Wu, Yuan Cao		ISSTA2024AI / LLM for SE; Mobile / Web / GUI / Android
HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities.
Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei		ISSTA2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation.
Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma 0014		ISSTA2024Testing / QA; AI / LLM for SE
Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow.
Jiachi Chen, Chong Chen 0002, Jiang Hu, John C. Grundy, Yanlin Wang 0001		ISSTA2024Security / Privacy / Vulnerability
Inconsistencies in TeX-Produced Documents.
Jovyn Tan, Manuel Rigger		ISSTA2024Other
Integrating Mutation Techniques to Keep Specification and Source Code in Sync.
Kerstin Jacob		ISSTA2024Testing / QA; Program Analysis / Verification / Formal Methods
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		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Interpretability Based Neural Network Repair.
Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang 0004, Qi Xuan 0001		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Interprocedural Path Complexity Analysis.
Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen		ISSTA2024Other
Isolation-Based Debugging for Neural Networks.
Jialuo Chen, Jingyi Wang 0004, Youcheng Sun, Peng Cheng 0001, Jiming Chen 0001		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
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		ISSTA2024Program Analysis / Verification / Formal Methods
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		ISSTA2024Program Analysis / Verification / Formal Methods
LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing.
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen 0007, Pingping Li		ISSTA2024Testing / QA; AI / LLM for SE
LPR: Large Language Models-Aided Program Reduction.
Mengxiao Zhang, Yongqiang Tian 0001, Zhenyang Xu, Yiwen Dong 0002, Shin Hwei Tan		ISSTA2024Other
Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts.
Hao Guan 0001, Guangdong Bai, Yepang Liu 0001		ISSTA2024Performance / Energy / Reliability
Large Language Models for Equivalent Mutant Detection: How Far Are We?
Zhao Tian, Honglin Shu, Dong Wang 0044, Xuejie Cao, Yasutaka Kamei		ISSTA2024Other
Learning the Effects of Software Changes.
Laura Plein		ISSTA2024Maintenance / Evolution / Refactoring / Review
Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking.
Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan		ISSTA2024Other
Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs.
Alix Decrop		ISSTA2024Other
Logos: Log Guided Fuzzing for Protocol Implementations.
Feifan Wu, Zhengxiong Luo 0002, Yanyang Zhao, Qingpeng Du, Junze Yu		ISSTA2024Testing / QA
Ma11y: A Mutation Framework for Web Accessibility Testing.
Mahan Tafreshipour, Anmol Vilas Deshpande, Forough Mehralian, Iftekhar Ahmed 0001, Sam Malek		ISSTA2024Testing / QA; Mobile / Web / GUI / Android
Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset.
Zeliang Yu, Ming Wen 0001, Xiaochen Guo, Hai Jin 0001		ISSTA2024AI / LLM for SE; Security / Privacy / Vulnerability
MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing.
Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su 0001, Cong Feng		ISSTA2024Other
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		ISSTA2024Testing / QA
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		ISSTA2024Other
Multi-modal Learning for WebAssembly Reverse Engineering.
Hanxian Huang, Jishen Zhao		ISSTA2024Other
NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps.
Jikai Wang, Haoyu Wang 0001		ISSTA2024Program Analysis / Verification / Formal Methods; Mobile / Web / GUI / Android
NeuFair: Neural Network Fairness Repair with Dropout.
Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang Tan		ISSTA2024AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Neurosymbolic Repair of Test Flakiness.
Yang Chen 0059, Reyhaneh Jabbarvand		ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
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		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
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		ISSTA2024AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Oracle-Guided Program Selection from Large Language Models.
Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury		ISSTA2024Testing / QA
Panda: A Concurrent Scheduler for Compiler-Based Tools.
Xutong Ma, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001		ISSTA2024Other
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		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Policy Testing with MDPFuzz (Replicability Study).
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher		ISSTA2024Testing / QA; Human / Empirical / Socio-technical
PolyTracker: Whole-Input Dynamic Information Flow Tracing.
Evan Sultanik, Marek Surovic, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca		ISSTA2024Other
Practitioners' Expectations on Automated Test Generation.
Xiao Yu 0008, Lei Liu 0062, Xing Hu 0008, Jacky Keung, Xin Xia 0001		ISSTA2024Testing / QA
Precise Compositional Buffer Overflow Detection via Heap Disjointness.
Yiyuan Guo, Peisen Yao, Charles Zhang 0001		ISSTA2024Other
Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs.
Arooba Shahoor, Jooyong Yi, Dongsun Kim 0001		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization.
Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng 0002		ISSTA2024Testing / QA
Quality Assurance for Non-trivial Systems: Use Case GCC Plugins.
Nimantha Kariyakarawana		ISSTA2024Other
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		ISSTA2024Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Revisiting Test-Case Prioritization on Long-Running Test Suites.
Runxiang Cheng, Shuai Wang 0035, Reyhaneh Jabbarvand, Darko Marinov		ISSTA2024Testing / QA
Robustness against the C/C++11 Memory Model.
Roy David Margalit		ISSTA2024Other
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		ISSTA2024Other
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs.
Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist		ISSTA2024Testing / QA
SQLess: Dialect-Agnostic SQL Query Simplification.
Li Lin, Zongyin Hao, Chengpeng Wang 0001, Zhuangda Wang, Rongxin Wu		ISSTA2024Other
Scalable, Sound, and Accurate Jump Table Analysis.
Huan Nguyen 0004, Soumyakant Priyadarshan, R. Sekar 0001		ISSTA2024Other
Search-Based Translations for Tensor Operations.
Jie Qiu		ISSTA2024Other
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		ISSTA2024Testing / QA; AI / LLM for SE
SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.
Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng		ISSTA2024Program Analysis / Verification / Formal Methods
Segment-Based Test Case Prioritization: A Multi-objective Approach.
Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen 0003		ISSTA2024Testing / QA
SelfPiCo: Self-Guided Partial Code Execution with LLMs.
Zhipeng Xue 0002, Zhipeng Gao 0002, Shaohua Wang 0002, Xing Hu 0008, Xin Xia 0001		ISSTA2024Other
Semantic Constraint Inference for Web Form Test Generation.
Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah 0001		ISSTA2024Testing / QA; Mobile / Web / GUI / Android
Shaping Test Inputs in Grammar-Based Fuzzing.
José Antonio Zamudio Amaya		ISSTA2024Testing / QA
Silent Taint-Style Vulnerability Fixes Identification.
Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang 0002, Xing Hu 0008		ISSTA2024Security / Privacy / Vulnerability
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		ISSTA2024Testing / QA
Soft Verification for Actor Contract Systems.
Bram Vandenbogaerde		ISSTA2024Program Analysis / Verification / Formal Methods
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		ISSTA2024Performance / Energy / Reliability
Synthesis-Based Enhancement for GUI Test Case Migration.
Yakun Zhang 0001, Qihao Zhu, Jiwei Yan, Chen Liu 0041, Wenjie Zhang 0007		ISSTA2024Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Synthesizing Boxes Preconditions for Deep Neural Networks.
Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang 0001		ISSTA2024AI / LLM for SE
Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment.
Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen 0004		ISSTA2024Testing / QA; Mobile / Web / GUI / Android
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		ISSTA2024Testing / QA; AI / LLM for SE
Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics.
Demet Demir, Aysu Betin Can, Elif Sürer		ISSTA2024Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA.
Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval		ISSTA2024Testing / QA
Testing Graph Database Systems with Graph-State Persistence Oracle.
Shuang Liu 0007, Junhao Lan, Xiaoning Du 0001, Jiyuan Li, Wei Lu 0015		ISSTA2024Testing / QA
Testing Gremlin-Based Graph Database Systems via Query Disassembling.
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao 0002		ISSTA2024Testing / QA
The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios.
Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek		ISSTA2024Testing / QA
ThinkRepair: Self-Directed Automated Program Repair.
Xin Yin, Chao Ni 0001, Shaohua Wang 0002, Zhenhao Li 0002, Limin Zeng		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
Total Recall? How Good Are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth		ISSTA2024Other
Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions.
Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran		ISSTA2024Mobile / Web / GUI / Android
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		ISSTA2024Testing / QA
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		ISSTA2024Testing / QA; AI / LLM for SE
Towards Understanding the Bugs in Solidity Compiler.
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003		ISSTA2024Other
Traceback: A Fault Localization Technique for Molecular Programs.
Michael C. Gerten, James I. Lathrop, Myra B. Cohen		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair
UPBEAT: Test Input Checks of Q# Quantum Libraries.
Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang		ISSTA2024Testing / QA
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		ISSTA2024Other
Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches.
Paulo Canelas, Bradley R. Schmerl, Alcides Fonseca, Christopher Steven Timperley		ISSTA2024Human / Empirical / Socio-technical
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		ISSTA2024Testing / QA
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini		ISSTA2024Other
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		ISSTA2024Other
VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing.
Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang 0009		ISSTA2024Testing / QA
WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation.
Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang 0001		ISSTA2024Testing / QA
Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation.
Wenxuan Zhao, Ruiying Zeng, Yangfan Zhou 0002		ISSTA2024Testing / QA
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		ISSTA2024Other
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		ISSTA2024Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical