ISSTA 2024 – Proceedings

Frontmatter

Technical Papers

Papers Round 1

Detecting Build Dependency Errors in Incremental Builds
Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, and Manuel Rigger
(Nanjing University, China; National University of Singapore, Singapore)

@InProceedings{ISSTA24p1, author = {Jun Lyu and Shanshan Li and He Zhang and Yang Zhang and Guoping Rong and Manuel Rigger}, title = {Detecting Build Dependency Errors in Incremental Builds}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3650212.3652105}, year = {2024}, } Publisher's Version Article: issta24main-p38-p (type: Full Paper) doi:10.1145/3650212.3652105

Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Shiwen Shan, Yintong Huo, Yuxin Su, Yichen Li, Dan Li, and Zibin Zheng
(Sun Yat-sen University, China; Chinese University of Hong Kong, China)

@InProceedings{ISSTA24p14, author = {Shiwen Shan and Yintong Huo and Yuxin Su and Yichen Li and Dan Li and Zibin Zheng}, title = {Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {14-13}, doi = {10.1145/3650212.3652106}, year = {2024}, } Publisher's Version Article: issta24main-p42-p (type: Full Paper) doi:10.1145/3650212.3652106

FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, and Jifeng Xuan
(Wuhan University, China; Hong Kong University of Science and Technology, China)

@InProceedings{ISSTA24p27, author = {Xiaoyuan Xie and Zhipeng Cai and Songqiang Chen and Jifeng Xuan}, title = {FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3650212.3652107}, year = {2024}, } Publisher's Version Article: issta24main-p49-p (type: Full Paper) doi:10.1145/3650212.3652107

FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Zhenyu Ye, Lei Zhou, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning, Yupeng Hu, and Zheng Qin
(Hunan University, China; National University of Defense Technology, China; Southern University of Science and Technology, China; Xinchuang Haihe Laboratory, China)

@InProceedings{ISSTA24p40, author = {Zhenyu Ye and Lei Zhou and Fengwei Zhang and Wenqiang Jin and Zhenyu Ning and Yupeng Hu and Zheng Qin}, title = {FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3650212.3652108}, year = {2024}, } Publisher's Version Article: issta24main-p75-p (type: Full Paper) doi:10.1145/3650212.3652108

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, and Mira Mezini
(TU Darmstadt, Germany; National Research Center for Applied Cybersecurity ATHENE, Germany; CQSE, Germany; hessian.AI, Germany)

@InProceedings{ISSTA24p53, author = {Dominik Helm and Tobias Roth and Sven Keidel and Michael Reif and Mira Mezini}, title = {Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3650212.3652109}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p182-p (type: Full Paper) doi:10.1145/3650212.3652109

Precise Compositional Buffer Overflow Detection via Heap Disjointness
Yiyuan Guo, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China; Zhejiang University, China)

@InProceedings{ISSTA24p66, author = {Yiyuan Guo and Peisen Yao and Charles Zhang}, title = {Precise Compositional Buffer Overflow Detection via Heap Disjointness}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {66-65}, doi = {10.1145/3650212.3652110}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p190-p (type: Full Paper) doi:10.1145/3650212.3652110

Enhancing ROS System Fuzzing through Callback Tracing
Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, and Yu Jiang
(Tsinghua University, China; ETH Zurich, Switzerland; City University of Hong Kong, China; Central South University, China)

@InProceedings{ISSTA24p79, author = {Yuheng Shen and Jianzhong Liu and Yiru Xu and Hao Sun and Mingzhe Wang and Nan Guan and Heyuan Shi and Yu Jiang}, title = {Enhancing ROS System Fuzzing through Callback Tracing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3650212.3652111}, year = {2024}, } Publisher's Version Article: issta24main-p192-p (type: Full Paper) doi:10.1145/3650212.3652111

API Misuse Detection via Probabilistic Graphical Model
Yunlong Ma, Wentong Tian, Xiang Gao, Hailong Sun, and Li Li
(Beihang University, China)

@InProceedings{ISSTA24p92, author = {Yunlong Ma and Wentong Tian and Xiang Gao and Hailong Sun and Li Li}, title = {API Misuse Detection via Probabilistic Graphical Model}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3650212.3652112}, year = {2024}, } Publisher's Version Article: issta24main-p218-p (type: Full Paper) doi:10.1145/3650212.3652112

Ma11y: A Mutation Framework for Web Accessibility Testing
Mahan Tafreshipour, Anmol Deshpande, Forough Mehralian, Iftekhar Ahmed, and Sam Malek
(University of California at Irvine, Irvine, USA)

@InProceedings{ISSTA24p105, author = {Mahan Tafreshipour and Anmol Deshpande and Forough Mehralian and Iftekhar Ahmed and Sam Malek}, title = {Ma11y: A Mutation Framework for Web Accessibility Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3650212.3652113}, year = {2024}, } Publisher's Version Article: issta24main-p256-p (type: Full Paper) doi:10.1145/3650212.3652113

Total Recall? How Good Are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, and Mira Mezini
(TU Darmstadt, Germany; National Research Center for Applied Cybersecurity ATHENE, Germany; TU Dortmund, Germany; hessian.AI, Germany)

@InProceedings{ISSTA24p118, author = {Dominik Helm and Sven Keidel and Anemone Kampkötter and Johannes Düsing and Tobias Roth and Ben Hermann and Mira Mezini}, title = {Total Recall? How Good Are Static Call Graphs Really?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {10.1145/3650212.3652114}, year = {2024}, } Publisher's Version Article: issta24main-p309-p (type: Full Paper) doi:10.1145/3650212.3652114

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Zhengran Zeng, Yidong Wang, Rui Xie, Wei Ye, and Shikun Zhang
(Peking University, China)

@InProceedings{ISSTA24p131, author = {Zhengran Zeng and Yidong Wang and Rui Xie and Wei Ye and Shikun Zhang}, title = {CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {131-130}, doi = {10.1145/3650212.3652115}, year = {2024}, } Publisher's Version Article: issta24main-p316-p (type: Full Paper) doi:10.1145/3650212.3652115

DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Zhiying Wu, Jiajing Wu, Hui Zhang, Ziwei Li, Jiachi Chen, Zibin Zheng, Qing Xia, Gang Fan, and Yi Zhen
(Sun Yat-sen University, China; Institute of Software at Chinese Academy of Sciences, China; Independent, China)

@InProceedings{ISSTA24p144, author = {Zhiying Wu and Jiajing Wu and Hui Zhang and Ziwei Li and Jiachi Chen and Zibin Zheng and Qing Xia and Gang Fan and Yi Zhen}, title = {DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {10.1145/3650212.3652116}, year = {2024}, } Publisher's Version Article: issta24main-p335-p (type: Full Paper) doi:10.1145/3650212.3652116

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Hao Wang, Zeyu Gao, Chao Zhang, Mingyang Sun, Yuchen Zhou, Han Qiu, and Xi Xiao
(Tsinghua University, China; University of Electronic Science and Technology of China, China; Beijing University of Technology, China)

@InProceedings{ISSTA24p157, author = {Hao Wang and Zeyu Gao and Chao Zhang and Mingyang Sun and Yuchen Zhou and Han Qiu and Xi Xiao}, title = {CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {10.1145/3650212.3652117}, year = {2024}, } Publisher's Version Article: issta24main-p347-p (type: Full Paper) doi:10.1145/3650212.3652117

Interprocedural Path Complexity Analysis
Mira Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, and Lucas Bang
(Harvey Mudd College, USA)

@InProceedings{ISSTA24p170, author = {Mira Kaniyur and Ana Cavalcante-Studart and Yihan Yang and Sangeon Park and David Chen and Duy Lam and Lucas Bang}, title = {Interprocedural Path Complexity Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {170-169}, doi = {10.1145/3650212.3652118}, year = {2024}, } Publisher's Version Published Artifact Artifacts Available Article: issta24main-p364-p (type: Full Paper) doi:10.1145/3650212.3652118

Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Mingyi Zhou, Xiang Gao, Pei Liu, John Grundy, Chunyang Chen, Xiao Chen, and Li Li
(Monash University, Australia; Beihang University, China; CSIRO’s Data61, Australia; TU Munich, Germany; University of Newcastle, Australia)

@InProceedings{ISSTA24p183, author = {Mingyi Zhou and Xiang Gao and Pei Liu and John Grundy and Chunyang Chen and Xiao Chen and Li Li}, title = {Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3650212.3652119}, year = {2024}, } Publisher's Version Article: issta24main-p402-p (type: Full Paper) doi:10.1145/3650212.3652119

UPBEAT: Test Input Checks of Q# Quantum Libraries
Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, and Zheng Wang
(Northwest University, China; Concordia University, Canada; University of Leeds, United Kingdom; Hefei University of Technology, China)

@InProceedings{ISSTA24p196, author = {Tianmin Hu and Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Huanting Wang and Meng Li and Zheng Wang}, title = {UPBEAT: Test Input Checks of Q# Quantum Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3650212.3652120}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p424-p (type: Full Paper) doi:10.1145/3650212.3652120

Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han, and Wenjin Li
(Huazhong University of Science and Technology, China; NSFOCUS Technologies Group, China)

@InProceedings{ISSTA24p209, author = {Xiaowei Guo and Cai Fu and Juan Chen and Hongle Liu and Lansheng Han and Wenjin Li}, title = {Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3650212.3652121}, year = {2024}, } Publisher's Version Article: issta24main-p435-p (type: Full Paper) doi:10.1145/3650212.3652121

A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models
Junjie Yang, Jiajun Jiang, Zeyu Sun, and Junjie Chen
(Tianjin University, China; Institute of Software at Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p222, author = {Junjie Yang and Jiajun Jiang and Zeyu Sun and Junjie Chen}, title = {A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3650212.3652122}, year = {2024}, } Publisher's Version Article: issta24main-p445-p (type: Full Paper) doi:10.1145/3650212.3652122

A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Zhihan Jiang, Jinyang Liu, Junjie Huang, Yichen Li, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Jieming Zhu, and Michael R. Lyu
(Chinese University of Hong Kong, China; Sun Yat-sen University, China; Huawei Noah’s Ark Lab, China)

@InProceedings{ISSTA24p235, author = {Zhihan Jiang and Jinyang Liu and Junjie Huang and Yichen Li and Yintong Huo and Jiazhen Gu and Zhuangbin Chen and Jieming Zhu and Michael R. Lyu}, title = {A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3650212.3652123}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p448-p (type: Full Paper) doi:10.1145/3650212.3652123

SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Xin-Cheng Wen, Cuiyun Gao, Shuzheng Gao, Yang Xiao, and Michael R. Lyu
(Harbin Institute of Technology, China; Chinese University of Hong Kong, China; Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p248, author = {Xin-Cheng Wen and Cuiyun Gao and Shuzheng Gao and Yang Xiao and Michael R. Lyu}, title = {SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3650212.3652124}, year = {2024}, } Publisher's Version Article: issta24main-p463-p (type: Full Paper) doi:10.1145/3650212.3652124

Distance-Aware Test Input Selection for Deep Neural Networks
Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, and Xuandong Li
(Nanjing University, China)

@InProceedings{ISSTA24p261, author = {Zhong Li and Zhengfeng Xu and Ruihua Ji and Minxue Pan and Tian Zhang and Linzhang Wang and Xuandong Li}, title = {Distance-Aware Test Input Selection for Deep Neural Networks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3650212.3652125}, year = {2024}, } Publisher's Version Article: issta24main-p464-p (type: Full Paper) doi:10.1145/3650212.3652125

LPR: Large Language Models-Aided Program Reduction
Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, and Chengnian Sun
(University of Waterloo, Canada; Hong Kong University of Science and Technology, China; Concordia University, Canada)

@InProceedings{ISSTA24p274, author = {Mengxiao Zhang and Yongqiang Tian and Zhenyang Xu and Yiwen Dong and Shin Hwei Tan and Chengnian Sun}, title = {LPR: Large Language Models-Aided Program Reduction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {10.1145/3650212.3652126}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p470-p (type: Full Paper) doi:10.1145/3650212.3652126

Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Yujia Chen, Cuiyun Gao, Zezhou Yang, Hongyu Zhang, and Qing Liao
(Harbin Institute of Technology, China; Chongqing University, China)

@InProceedings{ISSTA24p287, author = {Yujia Chen and Cuiyun Gao and Zezhou Yang and Hongyu Zhang and Qing Liao}, title = {Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {10.1145/3650212.3652127}, year = {2024}, } Publisher's Version Article: issta24main-p491-p (type: Full Paper) doi:10.1145/3650212.3652127

Define-Use Guided Path Exploration for Better Forced Execution
Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, and Xiangyu Zhang
(Renmin University of China, China; Purdue University, USA)

@InProceedings{ISSTA24p300, author = {Dongnan He and Dongchen Xie and Yujie Wang and Wei You and Bin Liang and Jianjun Huang and Wenchang Shi and Zhuo Zhang and Xiangyu Zhang}, title = {Define-Use Guided Path Exploration for Better Forced Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {10.1145/3650212.3652128}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p581-p (type: Full Paper) doi:10.1145/3650212.3652128

C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Xuezhi Song, Yijian Wu, Shuning Liu, Bihuan Chen, Yun Lin, and Xin Peng
(Fudan University, China; Shanghai Jiao Tong University, China)

@InProceedings{ISSTA24p313, author = {Xuezhi Song and Yijian Wu and Shuning Liu and Bihuan Chen and Yun Lin and Xin Peng}, title = {C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {10.1145/3650212.3652129}, year = {2024}, } Publisher's Version Article: issta24main-p582-p (type: Full Paper) doi:10.1145/3650212.3652129

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, and Lei Bu
(Tianjin University, China; Singapore Management University, Singapore; Nanyang Technological University, Singapore; Nanjing University, China)

@InProceedings{ISSTA24p326, author = {Qi Guo and Xiaohong Li and Xiaofei Xie and Shangqing Liu and Ze Tang and Ruitao Feng and Junjie Wang and Jidong Ge and Lei Bu}, title = {FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {10.1145/3650212.3652130}, year = {2024}, } Publisher's Version Article: issta24main-p700-p (type: Full Paper) doi:10.1145/3650212.3652130

MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su, Cong Feng, Yongqiang Yang, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong; Sun Yat-sen University, China; Huawei Cloud Computing Technology, China)

@InProceedings{ISSTA24p339, author = {Tianyi Yang and Cheryl Lee and Jiacheng Shen and Yuxin Su and Cong Feng and Yongqiang Yang and Michael R. Lyu}, title = {MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {10.1145/3650212.3652131}, year = {2024}, } Publisher's Version Article: issta24main-p712-p (type: Full Paper) doi:10.1145/3650212.3652131

Isolation-Based Debugging for Neural Networks
Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, and Jiming Chen
(Zhejiang University, China; University of Manchester, United Kingdom)

@InProceedings{ISSTA24p352, author = {Jialuo Chen and Jingyi Wang and Youcheng Sun and Peng Cheng and Jiming Chen}, title = {Isolation-Based Debugging for Neural Networks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3650212.3652132}, year = {2024}, } Publisher's Version Article: issta24main-p722-p (type: Full Paper) doi:10.1145/3650212.3652132

Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang, Wenbo Shen, and Yajin Zhou
(Zhejiang University, China; ZJU-Hangzhou Global Scientific and Technological Innovation Center, China)

@InProceedings{ISSTA24p365, author = {Hao Xiong and Qinming Dai and Rui Chang and Mingran Qiu and Renxiang Wang and Wenbo Shen and Yajin Zhou}, title = {Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {365-364}, doi = {10.1145/3650212.3652133}, year = {2024}, } Publisher's Version Article: issta24main-p742-p (type: Full Paper) doi:10.1145/3650212.3652133

Automating Zero-Shot Patch Porting for Hard Forks
Shengyi Pan, You Wang, Zhongxin Liu, Xing Hu, Xin Xia, and Shanping Li
(Zhejiang University, China; Huawei, China)

@InProceedings{ISSTA24p378, author = {Shengyi Pan and You Wang and Zhongxin Liu and Xing Hu and Xin Xia and Shanping Li}, title = {Automating Zero-Shot Patch Porting for Hard Forks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {378-377}, doi = {10.1145/3650212.3652134}, year = {2024}, } Publisher's Version Article: issta24main-p755-p (type: Full Paper) doi:10.1145/3650212.3652134

DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
You Lu, Yifan Tian, Yuyang Bi, Bihuan Chen, and Xin Peng
(Fudan University, China)

@InProceedings{ISSTA24p391, author = {You Lu and Yifan Tian and Yuyang Bi and Bihuan Chen and Xin Peng}, title = {DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {10.1145/3650212.3652135}, year = {2024}, } Publisher's Version Article: issta24main-p826-p (type: Full Paper) doi:10.1145/3650212.3652135

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Zhaoyang Chu, Yao Wan, Qian Li, Yang Wu, Hongyu Zhang, Yulei Sui, Guandong Xu, and Hai Jin
(Huazhong University of Science and Technology, China; Curtin University, Perth, Australia; Chongqing University, China; UNSW, Sydney, Australia; University of Technology, Sydney, Australia)

@InProceedings{ISSTA24p404, author = {Zhaoyang Chu and Yao Wan and Qian Li and Yang Wu and Hongyu Zhang and Yulei Sui and Guandong Xu and Hai Jin}, title = {Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {10.1145/3650212.3652136}, year = {2024}, } Publisher's Version Article: issta24main-p884-p (type: Full Paper) doi:10.1145/3650212.3652136

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, and Yang Liu
(Nanyang Technological University, Singapore; Xi’an Jiaotong University, China; MetaTrust Labs, Singapore)

@InProceedings{ISSTA24p417, author = {Maoyi Xie and Ming Hu and Ziqiao Kong and Cen Zhang and Yebo Feng and Haijun Wang and Yue Xue and Hao Zhang and Ye Liu and Yang Liu}, title = {DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3650212.3652137}, year = {2024}, } Publisher's Version Article: issta24main-p1059-p (type: Full Paper) doi:10.1145/3650212.3652137

Traceback: A Fault Localization Technique for Molecular Programs
Michael C. Gerten, James I. Lathrop, and Myra B. Cohen
(Iowa State University, USA)

@InProceedings{ISSTA24p430, author = {Michael C. Gerten and James I. Lathrop and Myra B. Cohen}, title = {Traceback: A Fault Localization Technique for Molecular Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {10.1145/3650212.3652138}, year = {2024}, } Publisher's Version Article: issta24main-p1073-p (type: Full Paper) doi:10.1145/3650212.3652138

Silent Taint-Style Vulnerability Fixes Identification
Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, and Xuandong Li
(Nanjing University, China; Huawei, Waterloo, Canada; Central University of Finance and Economics, China; Zhejiang University, China; Huawei, China)

@InProceedings{ISSTA24p443, author = {Zhongzhen Wen and Jiayuan Zhou and Minxue Pan and Shaohua Wang and Xing Hu and Tongtong Xu and Tian Zhang and Xuandong Li}, title = {Silent Taint-Style Vulnerability Fixes Identification}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3650212.3652139}, year = {2024}, } Publisher's Version Article: issta24main-p1074-p (type: Full Paper) doi:10.1145/3650212.3652139

Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Yicheng Ouyang, Jun Yang, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA)

@InProceedings{ISSTA24p456, author = {Yicheng Ouyang and Jun Yang and Lingming Zhang}, title = {Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {456-455}, doi = {10.1145/3650212.3652140}, year = {2024}, } Publisher's Version Article: issta24main-p1079-p (type: Full Paper) doi:10.1145/3650212.3652140

Multi-modal Learning for WebAssembly Reverse Engineering
Hanxian Huang and Jishen Zhao
(University of California at San Diego, San Diego, USA)

@InProceedings{ISSTA24p469, author = {Hanxian Huang and Jishen Zhao}, title = {Multi-modal Learning for WebAssembly Reverse Engineering}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {469-468}, doi = {10.1145/3650212.3652141}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p1180-p (type: Full Paper) doi:10.1145/3650212.3652141

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, and Hong Mei
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Bytedance Network Technology, Beijing, China)

@InProceedings{ISSTA24p482, author = {Chenyan Liu and Yufan Cai and Yun Lin and Yuhuan Huang and Yunrui Pei and Bo Jiang and Ping Yang and Jin Song Dong and Hong Mei}, title = {CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {482-481}, doi = {10.1145/3650212.3652142}, year = {2024}, } Publisher's Version Article: issta24main-p1182-p (type: Full Paper) doi:10.1145/3650212.3652142

Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, and Tianyi Zhang
(Purdue University, USA; BosonAI, USA; Amazon Web Services, USA)

@InProceedings{ISSTA24p495, author = {Ruixin Wang and Minghai Lu and Cody Hao Yu and Yi-Hsiang Lai and Tianyi Zhang}, title = {Automated Deep Learning Optimization via DSL-Based Source Code Transformation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3650212.3652143}, year = {2024}, } Publisher's Version Article: issta24main-p1189-p (type: Full Paper) doi:10.1145/3650212.3652143

Evaluating the Effectiveness of Decompilers
Ying Cao, Runze Zhang, Ruigang Liang, and Kai Chen
(Institute of Information Engineering at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p508, author = {Ying Cao and Runze Zhang and Ruigang Liang and Kai Chen}, title = {Evaluating the Effectiveness of Decompilers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {508-507}, doi = {10.1145/3650212.3652144}, year = {2024}, } Publisher's Version Published Artifact Artifacts Available Article: issta24main-p1254-p (type: Full Paper) doi:10.1145/3650212.3652144

CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Hao Wang, Zeyu Gao, Chao Zhang, Zihan Sha, Mingyang Sun, Yuchen Zhou, Wenyu Zhu, Wenju Sun, Han Qiu, and Xi Xiao
(Tsinghua University, China; Information Engineering University, China; University of Electronic Science and Technology of China, China; Beijing University of Technology, China)

@InProceedings{ISSTA24p521, author = {Hao Wang and Zeyu Gao and Chao Zhang and Zihan Sha and Mingyang Sun and Yuchen Zhou and Wenyu Zhu and Wenju Sun and Han Qiu and Xi Xiao}, title = {CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3650212.3652145}, year = {2024}, } Publisher's Version Article: issta24main-p1308-p (type: Full Paper) doi:10.1145/3650212.3652145

FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
Yunqi Liu and Wei Song
(Nanjing University of Science and Technology, China)

@InProceedings{ISSTA24p534, author = {Yunqi Liu and Wei Song}, title = {FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {534-533}, doi = {10.1145/3650212.3652146}, year = {2024}, } Publisher's Version Article: issta24main-p1472-p (type: Full Paper) doi:10.1145/3650212.3652146

Papers Round 2

FDI: Attack Neural Code Generation Systems through User Feedback Channel
Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, and Li Li
(Singapore Management University, Singapore; Hong Kong Polytechnic University, Hong Kong; Monash University, Australia; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China; Beihang University, China)

@InProceedings{ISSTA24p547, author = {Zhensu Sun and Xiaoning Du and Xiapu Luo and Fu Song and David Lo and Li Li}, title = {FDI: Attack Neural Code Generation Systems through User Feedback Channel}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {547-546}, doi = {10.1145/3650212.3680300}, year = {2024}, } Publisher's Version Article: issta24main-p13-p (type: Full Paper) doi:10.1145/3650212.3680300

Scalable, Sound, and Accurate Jump Table Analysis
Huan Nguyen, Soumyakant Priyadarshan, and R. Sekar
(Stony Brook University, USA)

@InProceedings{ISSTA24p560, author = {Huan Nguyen and Soumyakant Priyadarshan and R. Sekar}, title = {Scalable, Sound, and Accurate Jump Table Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {560-559}, doi = {10.1145/3650212.3680301}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p48-p (type: Full Paper) doi:10.1145/3650212.3680301

Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Gao Cuiying, Yueming Wu, Heng Li, Wei Yuan, Haoyu Jiang, Qidan He, and Yang Liu
(Huazhong University of Science and Technology, China; JD.com, China; Nanyang Technological University, Singapore)

@InProceedings{ISSTA24p573, author = {Gao Cuiying and Yueming Wu and Heng Li and Wei Yuan and Haoyu Jiang and Qidan He and Yang Liu}, title = {Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3650212.3680302}, year = {2024}, } Publisher's Version Article: issta24main-p53-p (type: Full Paper) doi:10.1145/3650212.3680302

LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen, Neng Zhang, and Zibin Zheng
(Sun Yat-sen University, China; Hong Kong Polytechnic University, China; University of Electronic Science and Technology of China, China)

@InProceedings{ISSTA24p586, author = {Peilin Zheng and Bowei Su and Xiapu Luo and Ting Chen and Neng Zhang and Zibin Zheng}, title = {LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {586-585}, doi = {10.1145/3650212.3680303}, year = {2024}, } Publisher's Version Article: issta24main-p62-p (type: Full Paper) doi:10.1145/3650212.3680303

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Mingke Yang, Yuqi Chen, Yi Liu, and Ling Shi
(ShanghaiTech University, China; Nanyang Technological University, Singapore)

@InProceedings{ISSTA24p599, author = {Mingke Yang and Yuqi Chen and Yi Liu and Ling Shi}, title = {DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {599-598}, doi = {10.1145/3650212.3680304}, year = {2024}, } Publisher's Version Article: issta24main-p73-p (type: Full Paper) doi:10.1145/3650212.3680304

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, and Yixiang Chen
(East China Normal University, China; Nanyang Technological University, Singapore; Tianjin University, China)

@InProceedings{ISSTA24p612, author = {Kaixuan Li and Jian Zhang and Sen Chen and Han Liu and Yang Liu and Yixiang Chen}, title = {PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {612-611}, doi = {10.1145/3650212.3680305}, year = {2024}, } Publisher's Version Article: issta24main-p82-p (type: Full Paper) doi:10.1145/3650212.3680305

Finding Cuts in Static Analysis Graphs to Debloat Software
Christoph Blumschein, Fabio Niephaus, Codruţ Stancu, Christian Wimmer, Jens Lincke, and Robert Hirschfeld
(Hasso Plattner Institute, Germany; University of Potsdam, Germany; Oracle Labs, Germany; Oracle Labs, Switzerland; Oracle Labs, USA)

@InProceedings{ISSTA24p625, author = {Christoph Blumschein and Fabio Niephaus and Codruţ Stancu and Christian Wimmer and Jens Lincke and Robert Hirschfeld}, title = {Finding Cuts in Static Analysis Graphs to Debloat Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {625-624}, doi = {10.1145/3650212.3680306}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p124-p (type: Full Paper) doi:10.1145/3650212.3680306

Revisiting Test-Case Prioritization on Long-Running Test Suites
Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)

@InProceedings{ISSTA24p638, author = {Runxiang Cheng and Shuai Wang and Reyhaneh Jabbarvand and Darko Marinov}, title = {Revisiting Test-Case Prioritization on Long-Running Test Suites}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {638-637}, doi = {10.1145/3650212.3680307}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p129-p (type: Full Paper) doi:10.1145/3650212.3680307

Oracle-Guided Program Selection from Large Language Models
Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, and Abhik Roychoudhury
(National University of Singapore, Singapore; Peking University, China)

@InProceedings{ISSTA24p651, author = {Zhiyu Fan and Haifeng Ruan and Sergey Mechtaev and Abhik Roychoudhury}, title = {Oracle-Guided Program Selection from Large Language Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {651-650}, doi = {10.1145/3650212.3680308}, year = {2024}, } Publisher's Version Article: issta24main-p138-p (type: Full Paper) doi:10.1145/3650212.3680308

Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, and Chunming Hu
(Beihang University, China; National University of Singapore, Singapore; Central South University, China; Xiangjiang Laboratory, China; Chongqing University, China)

@InProceedings{ISSTA24p664, author = {Chuan Luo and Shuangyu Lyu and Qiyuan Zhao and Wei Wu and Hongyu Zhang and Chunming Hu}, title = {Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3650212.3680309}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p139-p (type: Full Paper) doi:10.1145/3650212.3680309

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, and René Just
(University of Washington, USA)

@InProceedings{ISSTA24p677, author = {Benjamin Kushigian and Samuel J. Kaufman and Ryan Featherman and Hannah Potter and Ardi Madadi and René Just}, title = {Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {677-676}, doi = {10.1145/3650212.3680310}, year = {2024}, } Publisher's Version Article: issta24main-p142-p (type: Full Paper) doi:10.1145/3650212.3680310

Testing Graph Database Systems with Graph-State Persistence Oracle
Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang, and Xiaoyong Du
(Renmin University of China, China; Tianjin University, China; Monash University, Australia)

@InProceedings{ISSTA24p690, author = {Shuang Liu and Junhao Lan and Xiaoning Du and Jiyuan Li and Wei Lu and Jiajun Jiang and Xiaoyong Du}, title = {Testing Graph Database Systems with Graph-State Persistence Oracle}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {690-689}, doi = {10.1145/3650212.3680311}, year = {2024}, } Publisher's Version Article: issta24main-p164-p (type: Full Paper) doi:10.1145/3650212.3680311

Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Demet Demir, Aysu Betin Can, and Elif Surer
(Middle East Technical University, Ankara, Türkiye)

@InProceedings{ISSTA24p703, author = {Demet Demir and Aysu Betin Can and Elif Surer}, title = {Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {703-702}, doi = {10.1145/3650212.3680312}, year = {2024}, } Publisher's Version Article: issta24main-p179-p (type: Full Paper) doi:10.1145/3650212.3680312

An Empirical Study of Static Analysis Tools for Secure Code Review
Wachiraphan Charoenwet, Patanamon Thongtanunam, Van-Thuan Pham, and Christoph Treude
(University of Melbourne, Australia; Singapore Management University, Singapore)

@InProceedings{ISSTA24p716, author = {Wachiraphan Charoenwet and Patanamon Thongtanunam and Van-Thuan Pham and Christoph Treude}, title = {An Empirical Study of Static Analysis Tools for Secure Code Review}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {716-715}, doi = {10.1145/3650212.3680313}, year = {2024}, } Publisher's Version Article: issta24main-p196-p (type: Full Paper) doi:10.1145/3650212.3680313

VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Bach Le, and Patanamon Thongtanunam
(University of Melbourne, Australia; Cinnamon AI, Vietnam; Independent Researcher, Vietnam; Deakin University, Australia)

@InProceedings{ISSTA24p729, author = {Thanh-Dat Nguyen and Tung Do-Viet and Hung Nguyen-Duy and Tuan-Hai Luu and Hung Le and Bach Le and Patanamon Thongtanunam}, title = {VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3650212.3680314}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p199-p (type: Full Paper) doi:10.1145/3650212.3680314

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, and Xueling Zhang
(Rochester Institute of Technology, USA; University of Texas at San Antonio, USA)

@InProceedings{ISSTA24p742, author = {Xiaoyi Yang and Yuxing Wang and Tahmid Rafi and Dongfang Liu and Xiaoyin Wang and Xueling Zhang}, title = {Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3650212.3680315}, year = {2024}, } Publisher's Version Article: issta24main-p212-p (type: Full Paper) doi:10.1145/3650212.3680315

Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Haolai Wei, Liwei Chen, Zhijie Zhang, Gang Shi, and Dan Meng
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p755, author = {Haolai Wei and Liwei Chen and Zhijie Zhang and Gang Shi and Dan Meng}, title = {Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {755-754}, doi = {10.1145/3650212.3680316}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p242-p (type: Full Paper) doi:10.1145/3650212.3680316

SQLess: Dialect-Agnostic SQL Query Simplification
Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, and Gang Fan
(Xiamen University, China; Hong Kong University of Science and Technology, China; Ant Group, China)

@InProceedings{ISSTA24p768, author = {Li Lin and Zongyin Hao and Chengpeng Wang and Zhuangda Wang and Rongxin Wu and Gang Fan}, title = {SQLess: Dialect-Agnostic SQL Query Simplification}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {768-767}, doi = {10.1145/3650212.3680317}, year = {2024}, } Publisher's Version Article: issta24main-p244-p (type: Full Paper) doi:10.1145/3650212.3680317

DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Keqiang Li, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang, Xuan Zhou, and Aoying Zhou
(East China Normal University, China)

@InProceedings{ISSTA24p781, author = {Keqiang Li and Siyang Weng and Lyu Ni and Chengcheng Yang and Rong Zhang and Xuan Zhou and Aoying Zhou}, title = {DBStorm: Generating Various Effective Workloads for Testing Isolation Levels}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3650212.3680318}, year = {2024}, } Publisher's Version Article: issta24main-p248-p (type: Full Paper) doi:10.1145/3650212.3680318

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Arooba Shahoor, Jooyong Yi, and Dongsun Kim
(Kyungpook National University, South Korea; Ulsan National Institute of Science and Technology, South Korea; Korea University, South Korea)

@InProceedings{ISSTA24p794, author = {Arooba Shahoor and Jooyong Yi and Dongsun Kim}, title = {Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {794-793}, doi = {10.1145/3650212.3680319}, year = {2024}, } Publisher's Version Article: issta24main-p249-p (type: Full Paper) doi:10.1145/3650212.3680319

Feedback-Directed Partial Execution
Ishrak Hayet, Adam Scott, and Marcelo d'Amorim
(North Carolina State University, USA)

@InProceedings{ISSTA24p807, author = {Ishrak Hayet and Adam Scott and Marcelo d'Amorim}, title = {Feedback-Directed Partial Execution}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {807-806}, doi = {10.1145/3650212.3680320}, year = {2024}, } Publisher's Version Article: issta24main-p257-p (type: Full Paper) doi:10.1145/3650212.3680320

Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Mingxi Ye, Xingwei Lin, Yuhong Nan, Jiajing Wu, and Zibin Zheng
(Sun Yat-sen University, China; Zhejiang University, China)

@InProceedings{ISSTA24p820, author = {Mingxi Ye and Xingwei Lin and Yuhong Nan and Jiajing Wu and Zibin Zheng}, title = {Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {820-819}, doi = {10.1145/3650212.3680321}, year = {2024}, } Publisher's Version Article: issta24main-p260-p (type: Full Paper) doi:10.1145/3650212.3680321

Certified Continual Learning for Neural Network Regression
Long H. Pham and Jun Sun
(Singapore Management University, Singapore)

@InProceedings{ISSTA24p833, author = {Long H. Pham and Jun Sun}, title = {Certified Continual Learning for Neural Network Regression}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {833-832}, doi = {10.1145/3650212.3680322}, year = {2024}, } Publisher's Version Article: issta24main-p274-p (type: Full Paper) doi:10.1145/3650212.3680322

Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT
Chunqiu Steven Xia and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA)

@InProceedings{ISSTA24p846, author = {Chunqiu Steven Xia and Lingming Zhang}, title = {Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {846-845}, doi = {10.1145/3650212.3680323}, year = {2024}, } Publisher's Version Article: issta24main-p296-p (type: Full Paper) doi:10.1145/3650212.3680323

DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Haoran Fang, Kaikai Zhang, Donghui Yu, and Yuanyuan Zhang
(Shanghai Jiao Tong University, China)

@InProceedings{ISSTA24p859, author = {Haoran Fang and Kaikai Zhang and Donghui Yu and Yuanyuan Zhang}, title = {DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {859-858}, doi = {10.1145/3650212.3680324}, year = {2024}, } Publisher's Version Article: issta24main-p317-p (type: Full Paper) doi:10.1145/3650212.3680324

VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang, and Min Yang
(Fudan University, China)

@InProceedings{ISSTA24p872, author = {Zhongrui Li and Jiarun Dai and Zongan Huang and Nianhao You and Yuan Zhang and Min Yang}, title = {VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {872-871}, doi = {10.1145/3650212.3680325}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p318-p (type: Full Paper) doi:10.1145/3650212.3680325

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, and Minxue Pan
(Nanjing University, China; Hong Kong Polytechnic University, China)

@InProceedings{ISSTA24p885, author = {Linna Xie and Chongmin Li and Yu Pei and Tian Zhang and Minxue Pan}, title = {BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3650212.3680326}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p320-p (type: Full Paper) doi:10.1145/3650212.3680326

Synthesis-Based Enhancement for GUI Test Case Migration
Yakun Zhang, Qihao Zhu, Jiwei Yan, Chen Liu, Wenjie Zhang, Yifan Zhao, Dan Hao, and Lu Zhang
(Peking University, China; DeepSeek-AI, China; Institute of Software at Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p898, author = {Yakun Zhang and Qihao Zhu and Jiwei Yan and Chen Liu and Wenjie Zhang and Yifan Zhao and Dan Hao and Lu Zhang}, title = {Synthesis-Based Enhancement for GUI Test Case Migration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {898-897}, doi = {10.1145/3650212.3680327}, year = {2024}, } Publisher's Version Article: issta24main-p333-p (type: Full Paper) doi:10.1145/3650212.3680327

CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang, Jacques Klein, Tegawendé F. Bissyandé, and Shunfu Jin
(Yanshan University, China; Beijing JudaoYouda Network Technology, China; University of Melbourne, Australia; University of Luxembourg, Luxembourg)

@InProceedings{ISSTA24p911, author = {Boyang Yang and Haoye Tian and Weiguo Pian and Haoran Yu and Haitao Wang and Jacques Klein and Tegawendé F. Bissyandé and Shunfu Jin}, title = {CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3650212.3680328}, year = {2024}, } Publisher's Version Article: issta24main-p338-p (type: Full Paper) doi:10.1145/3650212.3680328

Datactive: Data Fault Localization for Object Detection Systems
Yining Yin, Yang Feng, Shihao Weng, Yuan Yao, Jia Liu, and Zhihong Zhao
(Nanjing University, China)

@InProceedings{ISSTA24p924, author = {Yining Yin and Yang Feng and Shihao Weng and Yuan Yao and Jia Liu and Zhihong Zhao}, title = {Datactive: Data Fault Localization for Object Detection Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {924-923}, doi = {10.1145/3650212.3680329}, year = {2024}, } Publisher's Version Article: issta24main-p365-p (type: Full Paper) doi:10.1145/3650212.3680329

Interpretability Based Neural Network Repair
Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, and Xiaoniu Yang
(Zhejiang University of Technology, China; Binjiang Institute of Artificial Intelligence, China; University of Manchester, United Kingdom; Zhejiang University, China; National Key Laboratory of Electromagnetic Space Security, China)

@InProceedings{ISSTA24p937, author = {Zuohui Chen and Jun Zhou and Youcheng Sun and Jingyi Wang and Qi Xuan and Xiaoniu Yang}, title = {Interpretability Based Neural Network Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {937-936}, doi = {10.1145/3650212.3680330}, year = {2024}, } Publisher's Version Article: issta24main-p404-p (type: Full Paper) doi:10.1145/3650212.3680330

Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, Hélène Waeselynck, and Dennis Wilson
(ISAE SUPAERO, France; Airbus, France; LAAS-CNRS, France)

@InProceedings{ISSTA24p950, author = {Paul-Antoine Le Tolguenec and Emmanuel Rachelson and Yann Besse and Florent Teichteil-Koenigsbuch and Nicolas Schneider and Hélène Waeselynck and Dennis Wilson}, title = {Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {950-949}, doi = {10.1145/3650212.3680331}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p466-p (type: Full Paper) doi:10.1145/3650212.3680331

Semantic Constraint Inference for Web Form Test Generation
Parsa Alian, Noor Nashid, Mobina Shahbandeh, and Ali Mesbah
(University of British Columbia, Canada)

@InProceedings{ISSTA24p963, author = {Parsa Alian and Noor Nashid and Mobina Shahbandeh and Ali Mesbah}, title = {Semantic Constraint Inference for Web Form Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3650212.3680332}, year = {2024}, } Publisher's Version Article: issta24main-p471-p (type: Full Paper) doi:10.1145/3650212.3680332

Call Graph Soundness in Android Static Analysis
Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, and Jacques Klein
(CISPA Helmholtz Center for Information Security, Germany; University of Washington, USA; University of Luxembourg, Luxembourg)

@InProceedings{ISSTA24p976, author = {Jordan Samhi and René Just and Tegawendé F. Bissyandé and Michael D. Ernst and Jacques Klein}, title = {Call Graph Soundness in Android Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {976-975}, doi = {10.1145/3650212.3680333}, year = {2024}, } Publisher's Version Article: issta24main-p475-p (type: Full Paper) doi:10.1145/3650212.3680333

Guardian: A Runtime Framework for LLM-Based UI Exploration
Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, and Tao Xie
(Peking University, China; University of Texas at Dallas, USA)

@InProceedings{ISSTA24p989, author = {Dezhi Ran and Hao Wang and Zihe Song and Mengzhou Wu and Yuan Cao and Ying Zhang and Wei Yang and Tao Xie}, title = {Guardian: A Runtime Framework for LLM-Based UI Exploration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {989-988}, doi = {10.1145/3650212.3680334}, year = {2024}, } Publisher's Version Article: issta24main-p477-p (type: Full Paper) doi:10.1145/3650212.3680334

NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps
Jikai Wang and Haoyu Wang
(Huazhong University of Science and Technology, China)

@InProceedings{ISSTA24p1002, author = {Jikai Wang and Haoyu Wang}, title = {NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3650212.3680335}, year = {2024}, } Publisher's Version Article: issta24main-p500-p (type: Full Paper) doi:10.1145/3650212.3680335

Efficient DNN-Powered Software with Fair Sparse Models
Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, and Chao Shen
(Xi’an Jiaotong University, China; University of Massachusetts at Amherst, USA)

@InProceedings{ISSTA24p1015, author = {Xuanqi Gao and Weipeng Jiang and Juan Zhai and Shiqing Ma and Xiaoyu Zhang and Chao Shen}, title = {Efficient DNN-Powered Software with Fair Sparse Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1015-1014}, doi = {10.1145/3650212.3680336}, year = {2024}, } Publisher's Version Article: issta24main-p503-p (type: Full Paper) doi:10.1145/3650212.3680336

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, and Weiyuan Fang
(Sun Yat-sen University, China; Guangdong University of Foreign Studies, China)

@InProceedings{ISSTA24p1028, author = {Weilin Luo and Pingjia Liang and Junming Qiu and Polong Chen and Hai Wan and Jianfeng Du and Weiyuan Fang}, title = {Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1028-1027}, doi = {10.1145/3650212.3680337}, year = {2024}, } Publisher's Version Article: issta24main-p511-p (type: Full Paper) doi:10.1145/3650212.3680337

DeLink: Source File Information Recovery in Binaries
Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song, Zhiqiang Shi, and Limin Sun
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanyang Technological University, Singapore; Imperial Global Singapore, Singapore; China Mobile Research Institute, China)

@InProceedings{ISSTA24p1041, author = {Zhe Lang and Zhengzi Xu and Xiaohui Chen and Shichao Lv and Zhanwei Song and Zhiqiang Shi and Limin Sun}, title = {DeLink: Source File Information Recovery in Binaries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3650212.3680338}, year = {2024}, } Publisher's Version Article: issta24main-p523-p (type: Full Paper) doi:10.1145/3650212.3680338

Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Kaifeng Huang, Yingfeng Xia, Bihuan Chen, Siyang He, Huazheng Zeng, Zhuotong Zhou, Jin Guo, and Xin Peng
(Tongji University, China; Fudan University, China)

@InProceedings{ISSTA24p1054, author = {Kaifeng Huang and Yingfeng Xia and Bihuan Chen and Siyang He and Huazheng Zeng and Zhuotong Zhou and Jin Guo and Xin Peng}, title = {Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1054-1053}, doi = {10.1145/3650212.3680339}, year = {2024}, } Publisher's Version Article: issta24main-p525-p (type: Full Paper) doi:10.1145/3650212.3680339

Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Wenxuan Zhao, Ruiying Zeng, and Yangfan Zhou
(Fudan University, China)

@InProceedings{ISSTA24p1067, author = {Wenxuan Zhao and Ruiying Zeng and Yangfan Zhou}, title = {Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1067-1066}, doi = {10.1145/3650212.3680340}, year = {2024}, } Publisher's Version Article: issta24main-p535-p (type: Full Paper) doi:10.1145/3650212.3680340

Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Dingbang Wang, Yu Zhao, Sidong Feng, Zhaoxu Zhang, William G. J. Halfond, Chunyang Chen, Xiaoxia Sun, Jiangfan Shi, and Tingting Yu
(University of Connecticut, USA; University of Cincinnati, USA; Monash University, Australia; University of Southern California, USA; TU Munich, Germany; China Mobile (Suzhou) Software Technology, China; Zhejiang University, China)

@InProceedings{ISSTA24p1080, author = {Dingbang Wang and Yu Zhao and Sidong Feng and Zhaoxu Zhang and William G. J. Halfond and Chunyang Chen and Xiaoxia Sun and Jiangfan Shi and Tingting Yu}, title = {Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1080-1079}, doi = {10.1145/3650212.3680341}, year = {2024}, } Publisher's Version Article: issta24main-p543-p (type: Full Paper) doi:10.1145/3650212.3680341

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, and Hao Chen
(University of California at Davis, USA; Tencent, China; Unaffiliated, China)

@InProceedings{ISSTA24p1093, author = {Yifeng He and Jiabo Huang and Yuyang Rong and Yiwen Guo and Ethan Wang and Hao Chen}, title = {UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1093-1092}, doi = {10.1145/3650212.3680342}, year = {2024}, } Publisher's Version Article: issta24main-p589-p (type: Full Paper) doi:10.1145/3650212.3680342

When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, and Zibin Zheng
(Sun Yat-sen University, China; Xi’an Jiaotong University, China; Chongqing University, China; Huawei Cloud Computing Technologies, China)

@InProceedings{ISSTA24p1106, author = {Lianghong Guo and Yanlin Wang and Ensheng Shi and Wanjun Zhong and Hongyu Zhang and Jiachi Chen and Ruikai Zhang and Yuchi Ma and Zibin Zheng}, title = {When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1106-1105}, doi = {10.1145/3650212.3680343}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p599-p (type: Full Paper) doi:10.1145/3650212.3680343

Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Tong Wang, Taotao Gu, Huan Deng, Hu Li, Xiaohui Kuang, and Gang Zhao
(Academy of Military Sciences, China)

@InProceedings{ISSTA24p1119, author = {Tong Wang and Taotao Gu and Huan Deng and Hu Li and Xiaohui Kuang and Gang Zhao}, title = {Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1119-1118}, doi = {10.1145/3650212.3680344}, year = {2024}, } Publisher's Version Article: issta24main-p601-p (type: Full Paper) doi:10.1145/3650212.3680344

AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Hyungseok Kim, Soomin Kim, Jungwoo Lee, and Sang Kil Cha
(Affiliated Institute of ETRI, South Korea; KAIST, South Korea)

@InProceedings{ISSTA24p1132, author = {Hyungseok Kim and Soomin Kim and Jungwoo Lee and Sang Kil Cha}, title = {AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1132-1131}, doi = {10.1145/3650212.3680345}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p615-p (type: Full Paper) doi:10.1145/3650212.3680345

Better Not Together: Staged Solving for Context-Free Language Reachability
Chenghang Shi, Haofeng Li, Jie Lu, and Lian Li
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1145, author = {Chenghang Shi and Haofeng Li and Jie Lu and Lian Li}, title = {Better Not Together: Staged Solving for Context-Free Language Reachability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1145-1144}, doi = {10.1145/3650212.3680346}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p623-p (type: Full Paper) doi:10.1145/3650212.3680346

AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation
Zhensu Sun, Xiaoning Du, Zhou Yang, Li Li, and David Lo
(Singapore Management University, Singapore; Monash University, Australia; Beihang University, China)

@InProceedings{ISSTA24p1158, author = {Zhensu Sun and Xiaoning Du and Zhou Yang and Li Li and David Lo}, title = {AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1158-1157}, doi = {10.1145/3650212.3680347}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p658-p (type: Full Paper) doi:10.1145/3650212.3680347

FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, and Baowen Xu
(Nanjing University, China)

@InProceedings{ISSTA24p1171, author = {Xizhe Yin and Yang Feng and Qingkai Shi and Zixi Liu and Hongwang Liu and Baowen Xu}, title = {FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1171-1170}, doi = {10.1145/3650212.3680348}, year = {2024}, } Publisher's Version Article: issta24main-p701-p (type: Full Paper) doi:10.1145/3650212.3680348

Segment-Based Test Case Prioritization: A Multi-objective Approach
Hieu Huynh, Nhu Pham, Tien N. Nguyen, and Vu Nguyen
(Katalon, Vietnam; Ho Chi Minh City University of Science, Vietnam; University of Texas at Dallas, USA; Vietnam National University, Vietnam)

@InProceedings{ISSTA24p1184, author = {Hieu Huynh and Nhu Pham and Tien N. Nguyen and Vu Nguyen}, title = {Segment-Based Test Case Prioritization: A Multi-objective Approach}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1184-1183}, doi = {10.1145/3650212.3680349}, year = {2024}, } Publisher's Version Article: issta24main-p707-p (type: Full Paper) doi:10.1145/3650212.3680349

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, and Christopher S. Timperley
(Carnegie Mellon University, USA; LASIGE, Portugal; University of Lisbon, Portugal)

@InProceedings{ISSTA24p1197, author = {Paulo Canelas and Bradley Schmerl and Alcides Fonseca and Christopher S. Timperley}, title = {Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1197-1196}, doi = {10.1145/3650212.3680350}, year = {2024}, } Publisher's Version Article: issta24main-p719-p (type: Full Paper) doi:10.1145/3650212.3680350

Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen, Shouling Ji, Jianhai Chen, Jundong Xie, and Long Liu
(Zhejiang University, China; Ant Group, China; Northwestern University, USA)

@InProceedings{ISSTA24p1210, author = {Jiashui Wang and Peng Qian and Xilin Huang and Xinlei Ying and Yan Chen and Shouling Ji and Jianhai Chen and Jundong Xie and Long Liu}, title = {Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1210-1209}, doi = {10.1145/3650212.3680351}, year = {2024}, } Publisher's Version Article: issta24main-p723-p (type: Full Paper) doi:10.1145/3650212.3680351

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, and Albert Rubio
(Complutense University of Madrid, Spain; Universidad Politécnica de Madrid, Spain)

@InProceedings{ISSTA24p1223, author = {Elvira Albert and Jesús Correas and Pablo Gordillo and Guillermo Román-Díez and Albert Rubio}, title = {Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1223-1222}, doi = {10.1145/3650212.3680352}, year = {2024}, } Publisher's Version Article: issta24main-p749-p (type: Full Paper) doi:10.1145/3650212.3680352

Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jiachi Chen, Chong Chen, Jiang Hu, John Grundy, Yanlin Wang, Ting Chen, and Zibin Zheng
(Sun Yat-sen University, China; Monash University, Australia; University of Electronic Science and Technology of China, China)

@InProceedings{ISSTA24p1236, author = {Jiachi Chen and Chong Chen and Jiang Hu and John Grundy and Yanlin Wang and Ting Chen and Zibin Zheng}, title = {Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3650212.3680353}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p788-p (type: Full Paper) doi:10.1145/3650212.3680353

Domain Adaptation for Code Model-Based Unit Test Case Generation
Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, and Song Wang
(York University, Canada; University of Calgary, Canada)

@InProceedings{ISSTA24p1249, author = {Jiho Shin and Sepehr Hashtroudi and Hadi Hemmati and Song Wang}, title = {Domain Adaptation for Code Model-Based Unit Test Case Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1249-1248}, doi = {10.1145/3650212.3680354}, year = {2024}, } Publisher's Version Article: issta24main-p789-p (type: Full Paper) doi:10.1145/3650212.3680354

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma, Xiaofei Xie, Yuekang Li, Limin Sun, and Yang Liu
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Singapore Management University, Singapore; UNSW, Sydney, Australia)

@InProceedings{ISSTA24p1262, author = {Cen Zhang and Yaowen Zheng and Mingqiang Bai and Yeting Li and Wei Ma and Xiaofei Xie and Yuekang Li and Limin Sun and Yang Liu}, title = {How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1262-1261}, doi = {10.1145/3650212.3680355}, year = {2024}, } Publisher's Version Article: issta24main-p791-p (type: Full Paper) doi:10.1145/3650212.3680355

Commit Artifact Preserving Build Prediction
Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Qingyuan Liang, and Dan Hao
(Peking University, China; Institute of Software at Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1275, author = {Guoqing Wang and Zeyu Sun and Yizhou Chen and Yifan Zhao and Qingyuan Liang and Dan Hao}, title = {Commit Artifact Preserving Build Prediction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1275-1274}, doi = {10.1145/3650212.3680356}, year = {2024}, } Publisher's Version Article: issta24main-p808-p (type: Full Paper) doi:10.1145/3650212.3680356

Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran, and Oscar Chaparro
(William & Mary, USA; University of Central Florida, USA; George Mason University, USA)

@InProceedings{ISSTA24p1288, author = {Antu Saha and Yang Song and Junayed Mahmud and Ying Zhou and Kevin Moran and Oscar Chaparro}, title = {Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1288-1287}, doi = {10.1145/3650212.3680357}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p819-p (type: Full Paper) doi:10.1145/3650212.3680357

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, and Haoyu Wang
(Beijing University of Posts and Telecommunications, China; Peking University, China; Huazhong University of Science and Technology, China; University of Utah, USA)

@InProceedings{ISSTA24p1301, author = {Shangtong Cao and Ningyu He and Xinyu She and Yixuan Zhang and Mu Zhang and Haoyu Wang}, title = {WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3650212.3680358}, year = {2024}, } Publisher's Version Artifacts Reusable Article: issta24main-p828-p (type: Full Paper) doi:10.1145/3650212.3680358

ThinkRepair: Self-Directed Automated Program Repair
Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, and Xiaohu Yang
(Zhejiang University, China; Central University of Finance and Economics, China; Concordia University, Canada)

@InProceedings{ISSTA24p1314, author = {Xin Yin and Chao Ni and Shaohua Wang and Zhenhao Li and Limin Zeng and Xiaohu Yang}, title = {ThinkRepair: Self-Directed Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1314-1313}, doi = {10.1145/3650212.3680359}, year = {2024}, } Publisher's Version Article: issta24main-p840-p (type: Full Paper) doi:10.1145/3650212.3680359

Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Chenyao Suo, Junjie Chen, Shuang Liu, Jiajun Jiang, Yingquan Zhao, and Jianrong Wang
(Tianjin University, China; Renmin University of China, China)

@InProceedings{ISSTA24p1327, author = {Chenyao Suo and Junjie Chen and Shuang Liu and Jiajun Jiang and Yingquan Zhao and Jianrong Wang}, title = {Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1327-1326}, doi = {10.1145/3650212.3680360}, year = {2024}, } Publisher's Version Article: issta24main-p866-p (type: Full Paper) doi:10.1145/3650212.3680360

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Eduard Pinconschi, Divya Gopinath, Rui Abreu, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; KBR, USA; NASA Ames, USA; INESC-ID, Portugal; University of Porto, Portugal)

@InProceedings{ISSTA24p1340, author = {Eduard Pinconschi and Divya Gopinath and Rui Abreu and Corina S. Păsăreanu}, title = {Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1340-1339}, doi = {10.1145/3650212.3680401}, year = {2024}, } Publisher's Version Article: issta24main-p874-p (type: Full Paper) doi:10.1145/3650212.3680401

Towards Understanding the Bugs in Solidity Compiler
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Tianjin University, China)

@InProceedings{ISSTA24p1353, author = {Haoyang Ma and Wuqi Zhang and Qingchao Shen and Yongqiang Tian and Junjie Chen and Shing-Chi Cheung}, title = {Towards Understanding the Bugs in Solidity Compiler}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1353-1352}, doi = {10.1145/3650212.3680362}, year = {2024}, } Publisher's Version Article: issta24main-p889-p (type: Full Paper) doi:10.1145/3650212.3680362

Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Zhanyao Lei, Yixiong Chen, Mingyuan Xia, and Zhengwei Qi
(Shanghai Jiao Tong University, Shanghai, China; AppetizerIO, Shanghai, China)

@InProceedings{ISSTA24p1366, author = {Zhanyao Lei and Yixiong Chen and Mingyuan Xia and Zhengwei Qi}, title = {Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1366-1365}, doi = {10.1145/3650212.3680363}, year = {2024}, } Publisher's Version Article: issta24main-p975-p (type: Full Paper) doi:10.1145/3650212.3680363

Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Gwihwan Go, Chijin Zhou, Quan Zhang, Xiazijian Zou, Heyuan Shi, and Yu Jiang
(Tsinghua University, China; Central South University, China)

@InProceedings{ISSTA24p1379, author = {Gwihwan Go and Chijin Zhou and Quan Zhang and Xiazijian Zou and Heyuan Shi and Yu Jiang}, title = {Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1379-1378}, doi = {10.1145/3650212.3680364}, year = {2024}, } Publisher's Version Article: issta24main-p982-p (type: Full Paper) doi:10.1145/3650212.3680364

Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization
Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, and Dan Meng
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1392, author = {Zhijie Zhang and Liwei Chen and Haolai Wei and Gang Shi and Dan Meng}, title = {Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1392-1391}, doi = {10.1145/3650212.3680365}, year = {2024}, } Publisher's Version Article: issta24main-p987-p (type: Full Paper) doi:10.1145/3650212.3680365

Bugs in Pods: Understanding Bugs in Container Runtime Systems
Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen, Yuekang Li, and Wenbo Shen
(Singapore Management University, Singapore; Nanyang Technological University, Singapore; Tianjin University, China; UNSW, Sydney, Australia; Zhejiang University, China)

@InProceedings{ISSTA24p1405, author = {Jiongchi Yu and Xiaofei Xie and Cen Zhang and Sen Chen and Yuekang Li and Wenbo Shen}, title = {Bugs in Pods: Understanding Bugs in Container Runtime Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1405-1404}, doi = {10.1145/3650212.3680366}, year = {2024}, } Publisher's Version Article: issta24main-p1052-p (type: Full Paper) doi:10.1145/3650212.3680366

Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Xiaoyong Yan, Biao He, Wenbo Shen, Yu Ouyang, Kaihang Zhou, Xingjian Zhang, Xingyu Wang, Yukai Cao, and Rui Chang
(Zhejiang University, China; Ant Group, China)

@InProceedings{ISSTA24p1418, author = {Xiaoyong Yan and Biao He and Wenbo Shen and Yu Ouyang and Kaihang Zhou and Xingjian Zhang and Xingyu Wang and Yukai Cao and Rui Chang}, title = {Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1418-1417}, doi = {10.1145/3650212.3680367}, year = {2024}, } Publisher's Version Article: issta24main-p1053-p (type: Full Paper) doi:10.1145/3650212.3680367

SelfPiCo: Self-Guided Partial Code Execution with LLMs
Zhipeng Xue, Zhipeng Gao, Shaohua Wang, Xing Hu, Xin Xia, and Shanping Li
(Zhejiang University, China; Central University of Finance and Economics, China)

@InProceedings{ISSTA24p1431, author = {Zhipeng Xue and Zhipeng Gao and Shaohua Wang and Xing Hu and Xin Xia and Shanping Li}, title = {SelfPiCo: Self-Guided Partial Code Execution with LLMs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1431-1430}, doi = {10.1145/3650212.3680368}, year = {2024}, } Publisher's Version Article: issta24main-p1071-p (type: Full Paper) doi:10.1145/3650212.3680368

Neurosymbolic Repair of Test Flakiness
Yang Chen and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA)

@InProceedings{ISSTA24p1444, author = {Yang Chen and Reyhaneh Jabbarvand}, title = {Neurosymbolic Repair of Test Flakiness}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1444-1443}, doi = {10.1145/3650212.3680369}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p1121-p (type: Full Paper) doi:10.1145/3650212.3680369

Inconsistencies in TeX-Produced Documents
Jovyn Tan and Manuel Rigger
(National University of Singapore, Singapore)

@InProceedings{ISSTA24p1457, author = {Jovyn Tan and Manuel Rigger}, title = {Inconsistencies in TeX-Produced Documents}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1457-1456}, doi = {10.1145/3650212.3680370}, year = {2024}, } Publisher's Version Article: issta24main-p1132-p (type: Full Paper) doi:10.1145/3650212.3680370

CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Dong Li, Meng Yan, Yaosheng Zhang, Zhongxin Liu, Chao Liu, Xiaohong Zhang, Ting Chen, and David Lo
(Chongqing University, China; Zhejiang University, China; University of Electronic Science and Technology of China, China; Singapore Management University, Singapore)

@InProceedings{ISSTA24p1470, author = {Dong Li and Meng Yan and Yaosheng Zhang and Zhongxin Liu and Chao Liu and Xiaohong Zhang and Ting Chen and David Lo}, title = {CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1470-1469}, doi = {10.1145/3650212.3680371}, year = {2024}, } Publisher's Version Article: issta24main-p1149-p (type: Full Paper) doi:10.1145/3650212.3680371

Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Shuohan Wu, Zihao Li, Hao Zhou, Xiapu Luo, Jianfeng Li, and Haoyu Wang
(Hong Kong Polytechnic University, China; Xi’an Jiaotong University, China; Huazhong University of Science and Technology, China)

@InProceedings{ISSTA24p1483, author = {Shuohan Wu and Zihao Li and Hao Zhou and Xiapu Luo and Jianfeng Li and Haoyu Wang}, title = {Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1483-1482}, doi = {10.1145/3650212.3680372}, year = {2024}, } Publisher's Version Article: issta24main-p1199-p (type: Full Paper) doi:10.1145/3650212.3680372

CooTest: An Automated Testing Approach for V2X Communication Systems
An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, and Chunrong Fang
(Nanjing University, China)

@InProceedings{ISSTA24p1496, author = {An Guo and Xinyu Gao and Zhenyu Chen and Yuan Xiao and Jiakai Liu and Xiuting Ge and Weisong Sun and Chunrong Fang}, title = {CooTest: An Automated Testing Approach for V2X Communication Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1496-1495}, doi = {10.1145/3650212.3680373}, year = {2024}, } Publisher's Version Article: issta24main-p1200-p (type: Full Paper) doi:10.1145/3650212.3680373

Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, and James C. Davis
(Purdue University, USA; Loyola University Chicago, USA)

@InProceedings{ISSTA24p1509, author = {Purvish Jajal and Wenxin Jiang and Arav Tewari and Erik Kocinare and Joseph Woo and Anusha Sarraf and Yung-Hsiang Lu and George K. Thiruvathukal and James C. Davis}, title = {Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1509-1508}, doi = {10.1145/3650212.3680374}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p1204-p (type: Full Paper) doi:10.1145/3650212.3680374

TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Xiangshan Gao, Jialuo Chen, Jingyi Wang, Jie Shi, Peng Cheng, and Jiming Chen
(Zhejiang University, China; Huawei Technology, China; Huawei International, Singapore; Hangzhou Dianzi University, China)

@InProceedings{ISSTA24p1522, author = {Xiangshan Gao and Jialuo Chen and Jingyi Wang and Jie Shi and Peng Cheng and Jiming Chen}, title = {TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1522-1521}, doi = {10.1145/3650212.3680375}, year = {2024}, } Publisher's Version Article: issta24main-p1222-p (type: Full Paper) doi:10.1145/3650212.3680375

Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Xuyan Ma, Yawen Wang, Junjie Wang, Xiaofei Xie, Boyu Wu, Shoubin Li, Fanjiang Xu, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; Singapore Management University, Singapore)

@InProceedings{ISSTA24p1535, author = {Xuyan Ma and Yawen Wang and Junjie Wang and Xiaofei Xie and Boyu Wu and Shoubin Li and Fanjiang Xu and Qing Wang}, title = {Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1535-1534}, doi = {10.1145/3650212.3680376}, year = {2024}, } Publisher's Version Article: issta24main-p1238-p (type: Full Paper) doi:10.1145/3650212.3680376

Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari, and Xin Peng
(Fudan University, China; University of Passau, Germany)

@InProceedings{ISSTA24p1548, author = {Xiaobao Cai and Zhen Dong and Yongjiang Wang and Abhishek Tiwari and Xin Peng}, title = {Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1548-1547}, doi = {10.1145/3650212.3680377}, year = {2024}, } Publisher's Version Article: issta24main-p1250-p (type: Full Paper) doi:10.1145/3650212.3680377

Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jinchen Xu, Mengqi Cui, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou, and Jie Zhao
(Information Engineering University, China; Hunan University, China)

@InProceedings{ISSTA24p1561, author = {Jinchen Xu and Mengqi Cui and Fei Li and Zuoyan Zhang and Hongru Yang and Bei Zhou and Jie Zhao}, title = {Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1561-1560}, doi = {10.1145/3650212.3680378}, year = {2024}, } Publisher's Version Article: issta24main-p1257-p (type: Full Paper) doi:10.1145/3650212.3680378

One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Di Cui, Qiangqiang Wang, Yutong Zhao, Jiaqi Wang, Minjie Wei, Jingzhao Hu, Luqiao Wang, and Qingshan Li
(Xidian University, China; University of Central Missouri, USA)

@InProceedings{ISSTA24p1574, author = {Di Cui and Qiangqiang Wang and Yutong Zhao and Jiaqi Wang and Minjie Wei and Jingzhao Hu and Luqiao Wang and Qingshan Li}, title = {One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1574-1573}, doi = {10.1145/3650212.3680379}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p1258-p (type: Full Paper) doi:10.1145/3650212.3680379

NeuFair: Neural Network Fairness Repair with Dropout
Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, and Gang Tan
(Pennsylvania State University, USA; University of Texas at El Paso, USA)

@InProceedings{ISSTA24p1587, author = {Vishnu Asutosh Dasu and Ashish Kumar and Saeid Tizpaz-Niari and Gang Tan}, title = {NeuFair: Neural Network Fairness Repair with Dropout}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1587-1586}, doi = {10.1145/3650212.3680380}, year = {2024}, } Publisher's Version Article: issta24main-p1278-p (type: Full Paper) doi:10.1145/3650212.3680380

One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, and Xiaoguang Mao
(National University of Defense Technology, China; Huazhong University of Science and Technology, China)

@InProceedings{ISSTA24p1600, author = {Bo Lin and Shangwen Wang and Ming Wen and Liqian Chen and Xiaoguang Mao}, title = {One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1600-1599}, doi = {10.1145/3650212.3680381}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p1305-p (type: Full Paper) doi:10.1145/3650212.3680381

Policy Testing with MDPFuzz (Replicability Study)
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, and Mathieu Acher
(Simula Research Laboratory, Norway; University of Rennes - Inria - CNRS - IRISA, France)

@InProceedings{ISSTA24p1613, author = {Quentin Mazouni and Helge Spieker and Arnaud Gotlieb and Mathieu Acher}, title = {Policy Testing with MDPFuzz (Replicability Study)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1613-1612}, doi = {10.1145/3650212.3680382}, year = {2024}, } Publisher's Version Artifacts Reusable ACM SIGSOFT Distinguished Paper Award Article: issta24main-p1316-p (type: Full Paper) doi:10.1145/3650212.3680382

Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts
Hao Guan, Guangdong Bai, and Yepang Liu
(University of Queensland, Australia; Southern University of Science and Technology, China)

@InProceedings{ISSTA24p1626, author = {Hao Guan and Guangdong Bai and Yepang Liu}, title = {Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1626-1625}, doi = {10.1145/3650212.3680383}, year = {2024}, } Publisher's Version Article: issta24main-p1323-p (type: Full Paper) doi:10.1145/3650212.3680383

AutoCodeRover: Autonomous Program Improvement
Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, and Abhik Roychoudhury
(National University of Singapore, Singapore)

@InProceedings{ISSTA24p1639, author = {Yuntong Zhang and Haifeng Ruan and Zhiyu Fan and Abhik Roychoudhury}, title = {AutoCodeRover: Autonomous Program Improvement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1639-1638}, doi = {10.1145/3650212.3680384}, year = {2024}, } Publisher's Version Article: issta24main-p1370-p (type: Full Paper) doi:10.1145/3650212.3680384

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Yuanyuan Yuan, Shuai Wang, and Zhendong Su
(Hong Kong University of Science and Technology, China; ETH Zurich, Switzerland)

@InProceedings{ISSTA24p1652, author = {Yuanyuan Yuan and Shuai Wang and Zhendong Su}, title = {See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1652-1651}, doi = {10.1145/3650212.3680385}, year = {2024}, } Publisher's Version Article: issta24main-p1425-p (type: Full Paper) doi:10.1145/3650212.3680385

Practitioners’ Expectations on Automated Test Generation
Xiao Yu, Lei Liu, Xing Hu, Jacky Keung, Xin Xia, and David Lo
(Huawei, China; Xi’an Jiaotong University, China; Zhejiang University, China; City University of Hong Kong, China; Singapore Management University, Singapore)

@InProceedings{ISSTA24p1665, author = {Xiao Yu and Lei Liu and Xing Hu and Jacky Keung and Xin Xia and David Lo}, title = {Practitioners’ Expectations on Automated Test Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1665-1664}, doi = {10.1145/3650212.3680386}, year = {2024}, } Publisher's Version Article: issta24main-p1455-p (type: Full Paper) doi:10.1145/3650212.3680386

An Empirical Examination of Fuzzer Mutator Performance
James Kukucka, Luís Pina, Paul Ammann, and Jonathan Bell
(George Mason University, USA; University of Illinois at Chicago, USA; Northeastern University, USA)

@InProceedings{ISSTA24p1678, author = {James Kukucka and Luís Pina and Paul Ammann and Jonathan Bell}, title = {An Empirical Examination of Fuzzer Mutator Performance}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1678-1677}, doi = {10.1145/3650212.3680387}, year = {2024}, } Publisher's Version Article: issta24main-p1466-p (type: Full Paper) doi:10.1145/3650212.3680387

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Zhiyi Xue, Liangguo Li, Senyue Tian, Xiaohong Chen, Pingping Li, Liangyu Chen, Tingting Jiang, and Min Zhang
(East China Normal University, China; Guotai Junan Securities, China)

@InProceedings{ISSTA24p1691, author = {Zhiyi Xue and Liangguo Li and Senyue Tian and Xiaohong Chen and Pingping Li and Liangyu Chen and Tingting Jiang and Min Zhang}, title = {LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1691-1690}, doi = {10.1145/3650212.3680388}, year = {2024}, } Publisher's Version Article: issta24main-p1492-p (type: Full Paper) doi:10.1145/3650212.3680388

Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
Jueon Eom, Seyeon Jeong, and Taekyoung Kwon
(Yonsei University, South Korea; Suresofttech, South Korea)

@InProceedings{ISSTA24p1704, author = {Jueon Eom and Seyeon Jeong and Taekyoung Kwon}, title = {Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1704-1703}, doi = {10.1145/3650212.3680389}, year = {2024}, } Publisher's Version Article: issta24main-p1691-p (type: Full Paper) doi:10.1145/3650212.3680389

Decomposition of Deep Neural Networks into Modules via Mutation Analysis
Ali Ghanbari
(Auburn University, USA)

@InProceedings{ISSTA24p1717, author = {Ali Ghanbari}, title = {Decomposition of Deep Neural Networks into Modules via Mutation Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1717-1716}, doi = {10.1145/3650212.3680390}, year = {2024}, } Publisher's Version Article: issta24main-p1839-p (type: Full Paper) doi:10.1145/3650212.3680390

Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Shuwei Song, Jiachi Chen, Ting Chen, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, and Pan Li
(University of Electronic Science and Technology of China, China; Sun Yat-sen University, China; Hong Kong Polytechnic University, China; Jiangsu University of Science and Technology, China; BitsLab, Singapore; MoveBit, China)

@InProceedings{ISSTA24p1730, author = {Shuwei Song and Jiachi Chen and Ting Chen and Xiapu Luo and Teng Li and Wenwu Yang and Leqing Wang and Weijie Zhang and Feng Luo and Zheyuan He and Yi Lu and Pan Li}, title = {Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1730-1729}, doi = {10.1145/3650212.3680391}, year = {2024}, } Publisher's Version Article: issta24main-p1871-p (type: Full Paper) doi:10.1145/3650212.3680391

Testing Gremlin-Based Graph Database Systems via Query Disassembling
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin Zhu, Wei Wang, Jun Wei, Hua Zhong, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; Jinling Institute of Technology, China)

@InProceedings{ISSTA24p1743, author = {Yingying Zheng and Wensheng Dou and Lei Tang and Ziyu Cui and Yu Gao and Jiansen Song and Liang Xu and Jiaxin Zhu and Wei Wang and Jun Wei and Hua Zhong and Tao Huang}, title = {Testing Gremlin-Based Graph Database Systems via Query Disassembling}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1743-1742}, doi = {10.1145/3650212.3680392}, year = {2024}, } Publisher's Version Article: issta24main-p1939-p (type: Full Paper) doi:10.1145/3650212.3680392

Synthesizing Boxes Preconditions for Deep Neural Networks
Zengyu Liu, Liqian Chen, Wanwei Liu, and Ji Wang
(National University of Defense Technology, China)

@InProceedings{ISSTA24p1756, author = {Zengyu Liu and Liqian Chen and Wanwei Liu and Ji Wang}, title = {Synthesizing Boxes Preconditions for Deep Neural Networks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1756-1755}, doi = {10.1145/3650212.3680393}, year = {2024}, } Publisher's Version Artifacts Functional Article: issta24main-p2033-p (type: Full Paper) doi:10.1145/3650212.3680393

Logos: Log Guided Fuzzing for Protocol Implementations
Feifan Wu, Zhengxiong Luo, Yanyang Zhao, Qingpeng Du, Junze Yu, Ruikang Peng, Heyuan Shi, and Yu Jiang
(Tsinghua University, China; Beijing University of Posts and Telecommunications, China; Central South University, China)

@InProceedings{ISSTA24p1769, author = {Feifan Wu and Zhengxiong Luo and Yanyang Zhao and Qingpeng Du and Junze Yu and Ruikang Peng and Heyuan Shi and Yu Jiang}, title = {Logos: Log Guided Fuzzing for Protocol Implementations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1769-1768}, doi = {10.1145/3650212.3680394}, year = {2024}, } Publisher's Version Article: issta24main-p2052-p (type: Full Paper) doi:10.1145/3650212.3680394

Large Language Models for Equivalent Mutant Detection: How Far Are We?
Zhao Tian, Honglin Shu, Dong Wang, Xuejie Cao, Yasutaka Kamei, and Junjie Chen
(Tianjin University, China; Kyushu University, Japan)

@InProceedings{ISSTA24p1782, author = {Zhao Tian and Honglin Shu and Dong Wang and Xuejie Cao and Yasutaka Kamei and Junjie Chen}, title = {Large Language Models for Equivalent Mutant Detection: How Far Are We?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1782-1781}, doi = {10.1145/3650212.3680395}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p2056-p (type: Full Paper) doi:10.1145/3650212.3680395

An Empirical Study on Kubernetes Operator Bugs
Qingxin Xu, Yu Gao, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1795, author = {Qingxin Xu and Yu Gao and Jun Wei}, title = {An Empirical Study on Kubernetes Operator Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1795-1794}, doi = {10.1145/3650212.3680396}, year = {2024}, } Publisher's Version Article: issta24main-p2073-p (type: Full Paper) doi:10.1145/3650212.3680396

Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Zeliang Yu, Ming Wen, Xiaochen Guo, and Hai Jin
(Huazhong University of Science and Technology, China)

@InProceedings{ISSTA24p1808, author = {Zeliang Yu and Ming Wen and Xiaochen Guo and Hai Jin}, title = {Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1808-1807}, doi = {10.1145/3650212.3680397}, year = {2024}, } Publisher's Version Article: issta24main-p2074-p (type: Full Paper) doi:10.1145/3650212.3680397

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Huaien Zhang, Yu Pei, Shuyun Liang, Zezhong Xing, and Shin Hwei Tan
(Hong Kong Polytechnic University, China; Southern University of Science and Technology, China; Concordia University, Canada)

@InProceedings{ISSTA24p1821, author = {Huaien Zhang and Yu Pei and Shuyun Liang and Zezhong Xing and Shin Hwei Tan}, title = {Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1821-1820}, doi = {10.1145/3650212.3680398}, year = {2024}, } Publisher's Version Article: issta24main-p2082-p (type: Full Paper) doi:10.1145/3650212.3680398

Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Yuxin Qiu, Jie Hu, Qian Zhang, and Heng Yin
(University of California at Riverside, USA)

@InProceedings{ISSTA24p1834, author = {Yuxin Qiu and Jie Hu and Qian Zhang and Heng Yin}, title = {Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1834-1833}, doi = {10.1145/3650212.3680399}, year = {2024}, } Publisher's Version Article: issta24main-p2121-p (type: Full Paper) doi:10.1145/3650212.3680399

An In-Depth Study of Runtime Verification Overheads during Software Testing
Kevin Guan and Owolabi Legunsen
(Cornell University, USA)

@InProceedings{ISSTA24p1847, author = {Kevin Guan and Owolabi Legunsen}, title = {An In-Depth Study of Runtime Verification Overheads during Software Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1847-1846}, doi = {10.1145/3650212.3680400}, year = {2024}, } Publisher's Version ACM SIGSOFT Distinguished Paper Award Article: issta24main-p2170-p (type: Full Paper) doi:10.1145/3650212.3680400

ISSTA/ECOOP Tool Demonstrations

The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, and David Bobek
(Austrian Institute of Technology, Austria; IMC University of Applied Sciences Krems, Austria)

@InProceedings{ISSTA24p1860, author = {Alessio Gambi and Shreya Mathews and Benedikt Steininger and Mykhailo Poienko and David Bobek}, title = {The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1860-1859}, doi = {10.1145/3650212.3685299}, year = {2024}, } Publisher's Version Article: issta24demo-p2-p (type: Full Paper) doi:10.1145/3650212.3685299

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, and Yao Guo
(Peking University, China; Huazhong University of Science and Technology, China)

@InProceedings{ISSTA24p1865, author = {Ningyu He and Zhehao Zhao and Hanqin Guan and Jikai Wang and Shuo Peng and Ding Li and Haoyu Wang and Xiangqun Chen and Yao Guo}, title = {SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1865-1864}, doi = {10.1145/3650212.3685300}, year = {2024}, } Publisher's Version Article: issta24demo-p4-p (type: Full Paper) doi:10.1145/3650212.3685300

Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA
Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, and Nikita Koval
(JetBrains, Germany; JetBrains, Netherlands; JetBrains Research, Serbia)

@InProceedings{ISSTA24p1870, author = {Aleksandr Potapov and Maksim Zuev and Evgenii Moiseenko and Nikita Koval}, title = {Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1870-1869}, doi = {10.1145/3650212.3685301}, year = {2024}, } Publisher's Version Article: issta24demo-p5-p (type: Full Paper) doi:10.1145/3650212.3685301

DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
Baoquan Cui, Jiwei Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1875, author = {Baoquan Cui and Jiwei Yan and Jian Zhang}, title = {DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1875-1874}, doi = {10.1145/3650212.3685302}, year = {2024}, } Publisher's Version Article: issta24demo-p7-p (type: Short Paper) doi:10.1145/3650212.3685302

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking
Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, and Lucas C. Cordeiro
(University of Manchester, United Kingdom; University of Sussex, United Kingdom; Eotvos Lorand University, Hungary; TPV Technology, Brazil; Federal University of Amazonas, Manaus, Brazil)

@InProceedings{ISSTA24p1880, author = {Zaiyu Cheng and Tong Wu and Peter Schrammel and Norbert Tihanyi and Eddie B. de Lima Filho and Lucas C. Cordeiro}, title = {JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1880-1879}, doi = {10.1145/3650212.3685303}, year = {2024}, } Publisher's Version Archive submitted (150 kB) Article: issta24demo-p8-p (type: Full Paper) doi:10.1145/3650212.3685303

ESBMC-Python: A Bounded Model Checker for Python Programs
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, and Lucas C. Cordeiro
(University of Manchester, United Kingdom; Federal University of Amazonas, Manaus, Brazil; TPV Technology, Brazil)

@InProceedings{ISSTA24p1885, author = {Bruno Farias and Rafael Menezes and Eddie B. de Lima Filho and Youcheng Sun and Lucas C. Cordeiro}, title = {ESBMC-Python: A Bounded Model Checker for Python Programs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1885-1884}, doi = {10.1145/3650212.3685304}, year = {2024}, } Publisher's Version Article: issta24demo-p9-p (type: Full Paper) doi:10.1145/3650212.3685304

PolyTracker: Whole-Input Dynamic Information Flow Tracing
Evan Sultanik, Marek Surovič, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca, Carson Harmon, Lisa Overall, Joseph Sweeney, and Bradford Larsen
(Trail of Bits, USA; Trail of Bits, Czechia; Trail of Bits, Sweden; Trail of Bits, Netherlands)

@InProceedings{ISSTA24p1890, author = {Evan Sultanik and Marek Surovič and Henrik Brodin and Kelly Kaoudis and Facundo Tuesca and Carson Harmon and Lisa Overall and Joseph Sweeney and Bradford Larsen}, title = {PolyTracker: Whole-Input Dynamic Information Flow Tracing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1890-1889}, doi = {10.1145/3650212.3685313}, year = {2024}, } Publisher's Version Article: issta24demo-p11-p (type: Full Paper) doi:10.1145/3650212.3685313

FRAFOL: FRAmework FOr Learning mutation testing
Pedro Tavares, Ana Paiva, Domenico Amalfitano, and René Just
(University of Porto, Portugal; Federico II University of Naples, Italy; University of Washington, USA)

@InProceedings{ISSTA24p1895, author = {Pedro Tavares and Ana Paiva and Domenico Amalfitano and René Just}, title = {FRAFOL: FRAmework FOr Learning mutation testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1895-1894}, doi = {10.1145/3650212.3685306}, year = {2024}, } Publisher's Version Article: issta24demo-p13-p (type: Full Paper) doi:10.1145/3650212.3685306

HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities
Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei, Zhou Quan, Di Cui, and Qingshan Li
(Xidian University, China; University of Central Missouri, USA)

@InProceedings{ISSTA24p1900, author = {Luqiao Wang and Qiangqiang Wang and Jiaqi Wang and Yutong Zhao and Minjie Wei and Zhou Quan and Di Cui and Qingshan Li}, title = {HECS: A Hypergraph Learning-Based System for Detecting Extract Class Refactoring Opportunities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1900-1899}, doi = {10.1145/3650212.3685307}, year = {2024}, } Publisher's Version Article: issta24demo-p14-p (type: Full Paper) doi:10.1145/3650212.3685307

FixCheck: A Tool for Improving Patch Correctness Analysis
Facundo Molina, Juan Manuel Copia, and Alessandra Gorla
(IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain)

@InProceedings{ISSTA24p1905, author = {Facundo Molina and Juan Manuel Copia and Alessandra Gorla}, title = {FixCheck: A Tool for Improving Patch Correctness Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1905-1904}, doi = {10.1145/3650212.3685308}, year = {2024}, } Publisher's Version Article: issta24demo-p19-p (type: Full Paper) doi:10.1145/3650212.3685308

Generalized Concurrency Testing Tool for Distributed Systems
Ege Berkay Gulcan, João Neto, and Burcu Kulahcioglu Ozkan
(Delft University of Technology, Netherlands)

@InProceedings{ISSTA24p1910, author = {Ege Berkay Gulcan and João Neto and Burcu Kulahcioglu Ozkan}, title = {Generalized Concurrency Testing Tool for Distributed Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1910-1909}, doi = {10.1145/3650212.3685309}, year = {2024}, } Publisher's Version Article: issta24demo-p20-p (type: Full Paper) doi:10.1145/3650212.3685309

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Paul Fiterău-Broştean, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist
(Uppsala University, Sweden; National Technical University of Athens, Greece)

@InProceedings{ISSTA24p1915, author = {Paul Fiterău-Broştean and Bengt Jonsson and Konstantinos Sagonas and Fredrik Tåquist}, title = {SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1915-1914}, doi = {10.1145/3650212.3685310}, year = {2024}, } Publisher's Version Article: issta24demo-p22-p (type: Full Paper) doi:10.1145/3650212.3685310

Panda: A Concurrent Scheduler for Compiler-Based Tools
Xutong Ma, Jiwei Yan, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)

@InProceedings{ISSTA24p1920, author = {Xutong Ma and Jiwei Yan and Jun Yan and Jian Zhang}, title = {Panda: A Concurrent Scheduler for Compiler-Based Tools}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1920-1919}, doi = {10.1145/3650212.3685311}, year = {2024}, } Publisher's Version Article: issta24demo-p23-p (type: Full Paper) doi:10.1145/3650212.3685311

FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Yunqi Liu and Wei Song
(Nanjing University of Science and Technology, China)

@InProceedings{ISSTA24p1925, author = {Yunqi Liu and Wei Song}, title = {FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1925-1924}, doi = {10.1145/3650212.3685312}, year = {2024}, } Publisher's Version Article: issta24demo-p24-p (type: Full Paper) doi:10.1145/3650212.3685312

ISSTA/ECOOP Doctoral Symposium

Late PhD Papers

Robustness against the C/C++11 Memory Model
Roy Margalit
(Tel Aviv University, Israel)

@InProceedings{ISSTA24p1930, author = {Roy Margalit}, title = {Robustness against the C/C++11 Memory Model}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1930-1929}, doi = {10.1145/3650212.3685549}, year = {2024}, } Publisher's Version Article: issta24docs-p27-p (type: Full Paper (4 pages + 1 page of references)) doi:10.1145/3650212.3685549

Learning the Effects of Software Changes
Laura Plein
(CISPA Helmholtz Center for Information Security, Germany)

@InProceedings{ISSTA24p1935, author = {Laura Plein}, title = {Learning the Effects of Software Changes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1935-1934}, doi = {10.1145/3650212.3685550}, year = {2024}, } Publisher's Version Article: issta24docs-p65-p (type: Full Paper (4 pages + 1 page of references)) doi:10.1145/3650212.3685550

Soft Verification for Actor Contract Systems
Bram Vandenbogaerde
(Vrije Universiteit Brussel, Belgium)

@InProceedings{ISSTA24p1940, author = {Bram Vandenbogaerde}, title = {Soft Verification for Actor Contract Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1940-1939}, doi = {10.1145/3650212.3685551}, year = {2024}, } Publisher's Version Article: issta24docs-p40-p (type: Full Paper (4 pages + 1 page of references)) doi:10.1145/3650212.3685551

From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Drishti Yadav
(TU Wien, Austria)

@InProceedings{ISSTA24p1945, author = {Drishti Yadav}, title = {From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1945-1944}, doi = {10.1145/3650212.3685552}, year = {2024}, } Publisher's Version Article: issta24docs-p62-p (type: Full Paper (4 pages + 1 page of references)) doi:10.1145/3650212.3685552

Shaping Test Inputs in Grammar-Based Fuzzing
José Antonio Zamudio Amaya
(CISPA Helmholtz Center for Information Security, Germany)

@InProceedings{ISSTA24p1950, author = {José Antonio Zamudio Amaya}, title = {Shaping Test Inputs in Grammar-Based Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1950-1949}, doi = {10.1145/3650212.3685553}, year = {2024}, } Publisher's Version Article: issta24docs-p29-p (type: Full Paper (4 pages + 1 page of references)) doi:10.1145/3650212.3685553

Early PhD Papers

Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Alix Decrop
(University of Namur, Belgium)

@InProceedings{ISSTA24p1955, author = {Alix Decrop}, title = {Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1955-1954}, doi = {10.1145/3650212.3685554}, year = {2024}, } Publisher's Version Article: issta24docs-p26-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685554

Decentralized Near-Synchronous Local-First Programming Collaboration
Leon Freudenthaler
(FH Campus Wien, Austria)

@InProceedings{ISSTA24p1960, author = {Leon Freudenthaler}, title = {Decentralized Near-Synchronous Local-First Programming Collaboration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1960-1959}, doi = {10.1145/3650212.3685555}, year = {2024}, } Publisher's Version Article: issta24docs-p92-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685555

Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Kerstin Jacob
(University of Bamberg, Germany)

@InProceedings{ISSTA24p1965, author = {Kerstin Jacob}, title = {Integrating Mutation Techniques to Keep Specification and Source Code in Sync}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1965-1964}, doi = {10.1145/3650212.3685556}, year = {2024}, } Publisher's Version Article: issta24docs-p3-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685556

Quality Assurance for Non-trivial Systems: Use Case GCC Plugins
Nimantha Kariyakarawana
(KU Leuven, Belgium)

@InProceedings{ISSTA24p1970, author = {Nimantha Kariyakarawana}, title = {Quality Assurance for Non-trivial Systems: Use Case GCC Plugins}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1970-1969}, doi = {10.1145/3650212.3685557}, year = {2024}, } Publisher's Version Article: issta24docs-p32-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685557

Search-Based Translations for Tensor Operations
Jie Qiu
(Duolingo, USA)

@InProceedings{ISSTA24p1975, author = {Jie Qiu}, title = {Search-Based Translations for Tensor Operations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1975-1974}, doi = {10.1145/3650212.3685558}, year = {2024}, } Publisher's Version Article: issta24docs-p17-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685558

Automated Testing of Networked Systems Reliability
Michal Rozsíval
(Brno University of Technology, Czechia)

@InProceedings{ISSTA24p1980, author = {Michal Rozsíval}, title = {Automated Testing of Networked Systems Reliability}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1980-1979}, doi = {10.1145/3650212.3685559}, year = {2024}, } Publisher's Version Article: issta24docs-p23-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685559

Graph Learning for Extract Class Refactoring
Luqiao Wang
(Xidian University, China)

@InProceedings{ISSTA24p1985, author = {Luqiao Wang}, title = {Graph Learning for Extract Class Refactoring}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1985-1984}, doi = {10.1145/3650212.3685561}, year = {2024}, } Publisher's Version Article: issta24docs-p80-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685561

Collaboration to Repository-Level Vulnerability Detection
Xin-Cheng Wen
(Harbin Institute of Technology, China)

@InProceedings{ISSTA24p1990, author = {Xin-Cheng Wen}, title = {Collaboration to Repository-Level Vulnerability Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1990-1989}, doi = {10.1145/3650212.3685562}, year = {2024}, } Publisher's Version Article: issta24docs-p91-p (type: Short Paper (2 pages + 1 page of references)) doi:10.1145/3650212.3685562

proc time: 0.59