ISSTA 2023
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)

Title Page


Article: issta23foreword-fm000-p doi:

Welcome from the Chairs


Article: issta23foreword-fm001-p doi:

ISSTA 2023 Organization


Article: issta23foreword-fm002-p doi:

CydiOS: A Model-Based Testing Framework for iOS Apps
Shuohan Wu, Jianfeng Li, Hao Zhou, Yongsheng Fang, Kaifa Zhao, Haoyu Wang, Chenxiong Qian, and Xiapu Luo
(Hong Kong Polytechnic University, China; Xi’an Jiaotong University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; University of Hong Kong, China)


@InProceedings{ISSTA23p1, author = {Shuohan Wu and Jianfeng Li and Hao Zhou and Yongsheng Fang and Kaifa Zhao and Haoyu Wang and Chenxiong Qian and Xiapu Luo}, title = {CydiOS: A Model-Based Testing Framework for iOS Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3597926.3598033}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p13-p doi:10.1145/3597926.3598033

Improving Bit-Blasting for Nonlinear Integer Constraints
Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Stanford University, USA)


@InProceedings{ISSTA23p14, author = {Fuqi Jia and Rui Han and Pei Huang and Minghao Liu and Feifei Ma and Jian Zhang}, title = {Improving Bit-Blasting for Nonlinear Integer Constraints}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {14-13}, doi = {10.1145/3597926.3598034}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p24-p doi:10.1145/3597926.3598034

CONCORD: Clone-Aware Contrastive Learning for Source Code
Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail Kaiser, and Baishakhi Ray
(Columbia University, USA; Microsoft Research, USA; IBM Research, USA)


@InProceedings{ISSTA23p27, author = {Yangruibo Ding and Saikat Chakraborty and Luca Buratti and Saurabh Pujar and Alessandro Morari and Gail Kaiser and Baishakhi Ray}, title = {CONCORD: Clone-Aware Contrastive Learning for Source Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3597926.3598035}, year = {2023}, } Publisher's Version Article: issta23main-p26-p doi:10.1145/3597926.3598035

Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond
Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, and Hongbin Sun
(Xi’an Jiaotong University, China; Sun Yat-sen University, China; Chongqing University, China; Microsoft, China)


@InProceedings{ISSTA23p40, author = {Ensheng Shi and Yanlin Wang and Hongyu Zhang and Lun Du and Shi Han and Dongmei Zhang and Hongbin Sun}, title = {Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3597926.3598036}, year = {2023}, } Publisher's Version Article: issta23main-p30-p doi:10.1145/3597926.3598036

Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)
Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, and Haoyu Wang
(Huazhong University of Science and Technology, China; Beijing University of Posts and Telecommunications, China; Hong Kong Polytechnic University, China)


@InProceedings{ISSTA23p53, author = {Xu Nie and Ningke Li and Kailong Wang and Shangguang Wang and Xiapu Luo and Haoyu Wang}, title = {Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3597926.3598037}, year = {2023}, } Publisher's Version Article: issta23main-p33-p doi:10.1145/3597926.3598037

Pattern-Based Peephole Optimizations with Java JIT Tests
Zhiqiang Zang, Aditya Thimmaiah, and Milos Gligoric
(University of Texas at Austin, USA)


@InProceedings{ISSTA23p66, author = {Zhiqiang Zang and Aditya Thimmaiah and Milos Gligoric}, title = {Pattern-Based Peephole Optimizations with Java JIT Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {66-65}, doi = {10.1145/3597926.3598038}, year = {2023}, } Publisher's Version Article: issta23main-p36-p doi:10.1145/3597926.3598038

Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing
Michael Chesser, Surya Nepal, and Damith C. Ranasinghe
(University of Adelaide, Australia; CSIRO’s Data61, Australia)


@InProceedings{ISSTA23p79, author = {Michael Chesser and Surya Nepal and Damith C. Ranasinghe}, title = {Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3597926.3598039}, year = {2023}, } Publisher's Version Article: issta23main-p37-p doi:10.1145/3597926.3598039

Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree
Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu, Bin Yuan, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p92, author = {Tiancheng Hu and Zijing Xu and Yilin Fang and Yueming Wu and Bin Yuan and Deqing Zou and Hai Jin}, title = {Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {92-91}, doi = {10.1145/3597926.3598040}, year = {2023}, } Publisher's Version Article: issta23main-p38-p doi:10.1145/3597926.3598040

Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection
Dongjie He, Yujiang Gui, Yaoqing Gao, and Jingling Xue
(UNSW, Australia; Huawei Toronto Research Center, Canada)


@InProceedings{ISSTA23p105, author = {Dongjie He and Yujiang Gui and Yaoqing Gao and Jingling Xue}, title = {Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3597926.3598041}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p43-p doi:10.1145/3597926.3598041

Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis
Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, and Jingling Xue
(Ant Group, China; ByteDance, China; UNSW, Australia)


@InProceedings{ISSTA23p118, author = {Jiangchao Liu and Jierui Liu and Peng Di and Diyu Wu and Hengjie Zheng and Alex X. Liu and Jingling Xue}, title = {Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {118-117}, doi = {10.1145/3597926.3598042}, year = {2023}, } Publisher's Version Article: issta23main-p44-p doi:10.1145/3597926.3598042

Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction
Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, and Sebastian Banescu
(TU Munich, Germany; MPI-SP, Germany; Monash University, Australia)


@InProceedings{ISSTA23p131, author = {Stephan Lipp and Daniel Elsner and Severin Kacianka and Alexander Pretschner and Marcel Böhme and Sebastian Banescu}, title = {Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {131-130}, doi = {10.1145/3597926.3598043}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p47-p doi:10.1145/3597926.3598043

Testing Graph Database Engines via Query Partitioning
Matteo Kamm, Manuel Rigger, Chengyu Zhang, and Zhendong Su
(ETH Zurich, Switzerland; National University of Singapore, Singapore)


@InProceedings{ISSTA23p144, author = {Matteo Kamm and Manuel Rigger and Chengyu Zhang and Zhendong Su}, title = {Testing Graph Database Engines via Query Partitioning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {144-143}, doi = {10.1145/3597926.3598044}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p51-p doi:10.1145/3597926.3598044

Semantic-Based Neural Network Repair
Richard Schumi and Jun Sun
(Singapore Management University, Singapore)


@InProceedings{ISSTA23p157, author = {Richard Schumi and Jun Sun}, title = {Semantic-Based Neural Network Repair}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {157-156}, doi = {10.1145/3597926.3598045}, year = {2023}, } Publisher's Version Article: issta23main-p54-p doi:10.1145/3597926.3598045

GDsmith: Detecting Bugs in Cypher Graph Database Engines
Ziyue Hua, Wei Lin, Luyao Ren, Zongyang Li, Lu Zhang, Wenpin Jiao, and Tao Xie
(Peking University, China)


@InProceedings{ISSTA23p170, author = {Ziyue Hua and Wei Lin and Luyao Ren and Zongyang Li and Lu Zhang and Wenpin Jiao and Tao Xie}, title = {GDsmith: Detecting Bugs in Cypher Graph Database Engines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {170-169}, doi = {10.1145/3597926.3598046}, year = {2023}, } Publisher's Version Article: issta23main-p55-p doi:10.1145/3597926.3598046

Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning
Shiwen Yu, Ting Wang, and Ji Wang
(National University of Defense Technology, China)


@InProceedings{ISSTA23p183, author = {Shiwen Yu and Ting Wang and Ji Wang}, title = {Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3597926.3598047}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p56-p doi:10.1145/3597926.3598047

CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
Yihong Dong, Ge Li, and Zhi Jin
(Peking University, China)


@InProceedings{ISSTA23p196, author = {Yihong Dong and Ge Li and Zhi Jin}, title = {CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3597926.3598048}, year = {2023}, } Publisher's Version Article: issta23main-p58-p doi:10.1145/3597926.3598048

Concept-Based Automated Grading of CS-1 Programming Assignments
Zhiyu Fan, Shin Hwei Tan, and Abhik Roychoudhury
(National University of Singapore, Singapore; Concordia University, Canada)


@InProceedings{ISSTA23p209, author = {Zhiyu Fan and Shin Hwei Tan and Abhik Roychoudhury}, title = {Concept-Based Automated Grading of CS-1 Programming Assignments}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3597926.3598049}, year = {2023}, } Publisher's Version Article: issta23main-p60-p doi:10.1145/3597926.3598049

Beware of the Unexpected: Bimodal Taint Analysis
Yiu Wai Chow, Max Schäfer, and Michael Pradel
(University of Stuttgart, Germany; GitHub, UK)


@InProceedings{ISSTA23p222, author = {Yiu Wai Chow and Max Schäfer and Michael Pradel}, title = {Beware of the Unexpected: Bimodal Taint Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3597926.3598050}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p70-p doi:10.1145/3597926.3598050

DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity
Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, and Zhan Qin
(Zhejiang University, China; Ant Group, China; Xidian University, China)


@InProceedings{ISSTA23p235, author = {Zhuo Chen and Jie Liu and Yubo Hu and Lei Wu and Yajin Zhou and Yiling He and Xianhao Liao and Ke Wang and Jinku Li and Zhan Qin}, title = {DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3597926.3598051}, year = {2023}, } Publisher's Version Published Artifact Archive submitted (850 kB) Artifacts Available Article: issta23main-p73-p doi:10.1145/3597926.3598051

Dependency-Aware Metamorphic Testing of Datalog Engines
Muhammad Numair Mansur, Valentin Wüstholz, and Maria Christakis
(MPI-SWS, Germany; ConsenSys, Austria; TU Wien, Austria)


@InProceedings{ISSTA23p248, author = {Muhammad Numair Mansur and Valentin Wüstholz and Maria Christakis}, title = {Dependency-Aware Metamorphic Testing of Datalog Engines}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3597926.3598052}, year = {2023}, } Publisher's Version Article: issta23main-p74-p doi:10.1145/3597926.3598052

Fuzzing Deep Learning Compilers with HirGen
Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Tianjin University, China; University of Waterloo, Canada)


@InProceedings{ISSTA23p261, author = {Haoyang Ma and Qingchao Shen and Yongqiang Tian and Junjie Chen and Shing-Chi Cheung}, title = {Fuzzing Deep Learning Compilers with HirGen}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3597926.3598053}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p76-p doi:10.1145/3597926.3598053

API2Vec: Learning Representations of API Sequences for Malware Detection
Lei Cui, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, and Zhenquan Ding
(Zhongguancun Laboratory, China; University of Chinese Academy of Sciences, China; Institute of Information Engineering at Chinese Academy of Sciences, China; University of North Texas, USA)


@InProceedings{ISSTA23p274, author = {Lei Cui and Jiancong Cui and Yuede Ji and Zhiyu Hao and Lun Li and Zhenquan Ding}, title = {API2Vec: Learning Representations of API Sequences for Malware Detection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {274-273}, doi = {10.1145/3597926.3598054}, year = {2023}, } Publisher's Version Article: issta23main-p79-p doi:10.1145/3597926.3598054

June: A Type Testability Transformation for Improved ATG Performance
Dan Bruce, David Kelly, Hector Menendez, Earl T. Barr, and David Clark
(Microsoft, UK; University College London, UK; King’s College London, UK)


@InProceedings{ISSTA23p287, author = {Dan Bruce and David Kelly and Hector Menendez and Earl T. Barr and David Clark}, title = {June: A Type Testability Transformation for Improved ATG Performance}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {287-286}, doi = {10.1145/3597926.3598055}, year = {2023}, } Publisher's Version Article: issta23main-p84-p doi:10.1145/3597926.3598055

A Comprehensive Study on Quality Assurance Tools for Java
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, and Yixiang Chen
(East China Normal University, China; Tianjin University, China; UNSW, Australia; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p300, author = {Han Liu and Sen Chen and Ruitao Feng and Chengwei Liu and Kaixuan Li and Zhengzi Xu and Liming Nie and Yang Liu and Yixiang Chen}, title = {A Comprehensive Study on Quality Assurance Tools for Java}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {300-299}, doi = {10.1145/3597926.3598056}, year = {2023}, } Publisher's Version Article: issta23main-p85-p doi:10.1145/3597926.3598056

Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing
Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, and Huizhong Li
(Sun Yat-sen University, China; WeBank, China)


@InProceedings{ISSTA23p313, author = {Mingxi Ye and Yuhong Nan and Zibin Zheng and Dongpeng Wu and Huizhong Li}, title = {Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {313-312}, doi = {10.1145/3597926.3598057}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p86-p doi:10.1145/3597926.3598057

FairRec: Fairness Testing for Deep Recommender Systems
Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang, and Hui Xue
(Zhejiang University, China; Alibaba Group, China)


@InProceedings{ISSTA23p326, author = {Huizhong Guo and Jinfeng Li and Jingyi Wang and Xiangyu Liu and Dongxia Wang and Zehong Hu and Rong Zhang and Hui Xue}, title = {FairRec: Fairness Testing for Deep Recommender Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {326-325}, doi = {10.1145/3597926.3598058}, year = {2023}, } Publisher's Version Archive submitted (71 kB) Article: issta23main-p89-p doi:10.1145/3597926.3598058

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Chaofan Shou, Shangyin Tan, and Koushik Sen
(University of California at Berkeley, USA)


@InProceedings{ISSTA23p339, author = {Chaofan Shou and Shangyin Tan and Koushik Sen}, title = {ItyFuzz: Snapshot-Based Fuzzer for Smart Contract}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {339-338}, doi = {10.1145/3597926.3598059}, year = {2023}, } Publisher's Version Article: issta23main-p90-p doi:10.1145/3597926.3598059

Who Judges the Judge: An Empirical Study on Online Judge Tests
Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, and Yun Ma
(Peking University, China; King’s College London, UK; University College London, UK; National Key Laboratory of Data Space Technology and System, China)


@InProceedings{ISSTA23p352, author = {Kaibo Liu and Yudong Han and Jie M. Zhang and Zhenpeng Chen and Federica Sarro and Mark Harman and Gang Huang and Yun Ma}, title = {Who Judges the Judge: An Empirical Study on Online Judge Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {352-351}, doi = {10.1145/3597926.3598060}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p91-p doi:10.1145/3597926.3598060

Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation
Zifan Xie, Ming Wen, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China)


@InProceedings{ISSTA23p365, author = {Zifan Xie and Ming Wen and Haoxiang Jia and Xiaochen Guo and Xiaotong Huang and Deqing Zou and Hai Jin}, title = {Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {365-364}, doi = {10.1145/3597926.3598061}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p93-p doi:10.1145/3597926.3598061

Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis
Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, and Limin Sun
(Shenzhen Institute of Advanced Technology at Chinese Academy of Sciences, China; Sangfor Technologies, China; Nanyang Technological University, Singapore; Pennsylvania State University, USA; University of Georgia, USA; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{ISSTA23p378, author = {Kai Cheng and Yaowen Zheng and Tao Liu and Le Guan and Peng Liu and Hong Li and Hongsong Zhu and Kejiang Ye and Limin Sun}, title = {Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {378-377}, doi = {10.1145/3597926.3598062}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p95-p doi:10.1145/3597926.3598062

Definition and Detection of Defects in NFT Smart Contracts
Shuo Yang, Jiachi Chen, and Zibin Zheng
(Sun Yat-sen University, China)


@InProceedings{ISSTA23p391, author = {Shuo Yang and Jiachi Chen and Zibin Zheng}, title = {Definition and Detection of Defects in NFT Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {391-390}, doi = {10.1145/3597926.3598063}, year = {2023}, } Publisher's Version Article: issta23main-p96-p doi:10.1145/3597926.3598063

Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, and Yao Guo
(Peking University, China; Huazhong University of Science and Technology, China; Beijing University of Posts and Telecommunications, China; Baidu Security, USA; Huawei Cloud Computing Technologies, China)


@InProceedings{ISSTA23p404, author = {Ningyu He and Zhehao Zhao and Jikai Wang and Yubin Hu and Shengjian Guo and Haoyu Wang and Guangtai Liang and Ding Li and Xiangqun Chen and Yao Guo}, title = {Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {404-403}, doi = {10.1145/3597926.3598064}, year = {2023}, } Publisher's Version Article: issta23main-p99-p doi:10.1145/3597926.3598064

Type Batched Program Reduction
Golnaz Gharachorlu and Nick Sumner
(Simon Fraser University, Canada)


@InProceedings{ISSTA23p417, author = {Golnaz Gharachorlu and Nick Sumner}, title = {Type Batched Program Reduction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3597926.3598065}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p100-p doi:10.1145/3597926.3598065

Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning
Zhaoxu Zhang, Robert Winn, Yu Zhao, Tingting Yu, and William G.J. Halfond
(University of Southern California, USA; University of Central Missouri, USA; University of Cincinnati, USA)


@InProceedings{ISSTA23p430, author = {Zhaoxu Zhang and Robert Winn and Yu Zhao and Tingting Yu and William G.J. Halfond}, title = {Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {430-429}, doi = {10.1145/3597926.3598066}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p101-p doi:10.1145/3597926.3598066

Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; University of Science and Technology of China, China)


@InProceedings{ISSTA23p443, author = {Yinlin Deng and Chunqiu Steven Xia and Haoran Peng and Chenyuan Yang and Lingming Zhang}, title = {Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3597926.3598067}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p109-p doi:10.1145/3597926.3598067

Exploring Missed Optimizations in WebAssembly Optimizers
Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, and Wei Meng
(Hong Kong University of Science and Technology, China; Chinese University of Hong Kong, China)


@InProceedings{ISSTA23p456, author = {Zhibo Liu and Dongwei Xiao and Zongjie Li and Shuai Wang and Wei Meng}, title = {Exploring Missed Optimizations in WebAssembly Optimizers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {456-455}, doi = {10.1145/3597926.3598068}, year = {2023}, } Publisher's Version Article: issta23main-p110-p doi:10.1145/3597926.3598068

PhysCov: Physical Test Coverage for Autonomous Vehicles
Carl Hildebrandt, Meriel von Stein, and Sebastian Elbaum
(University of Virginia, USA)


@InProceedings{ISSTA23p469, author = {Carl Hildebrandt and Meriel von Stein and Sebastian Elbaum}, title = {PhysCov: Physical Test Coverage for Autonomous Vehicles}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {469-468}, doi = {10.1145/3597926.3598069}, year = {2023}, } Publisher's Version Article: issta23main-p113-p doi:10.1145/3597926.3598069

Building Critical Testing Scenarios for Autonomous Driving from Real Accidents
Xudong Zhang and Yan Cai
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{ISSTA23p482, author = {Xudong Zhang and Yan Cai}, title = {Building Critical Testing Scenarios for Autonomous Driving from Real Accidents}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {482-481}, doi = {10.1145/3597926.3598070}, year = {2023}, } Publisher's Version Article: issta23main-p121-p doi:10.1145/3597926.3598070

CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, and Shiwei Wang
(Xi’an Jiaotong University, China; University of Massachusetts, USA; City University of Hong Kong, China)


@InProceedings{ISSTA23p495, author = {Xuanqi Gao and Juan Zhai and Shiqing Ma and Chao Shen and Yufei Chen and Shiwei Wang}, title = {CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3597926.3598071}, year = {2023}, } Publisher's Version Article: issta23main-p124-p doi:10.1145/3597926.3598071

BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems
Mingfei Cheng, Yuan Zhou, and Xiaofei Xie
(Singapore Management University, Singapore; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p508, author = {Mingfei Cheng and Yuan Zhou and Xiaofei Xie}, title = {BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {508-507}, doi = {10.1145/3597926.3598072}, year = {2023}, } Publisher's Version Article: issta23main-p126-p doi:10.1145/3597926.3598072

In Defense of Simple Techniques for Neural Network Test Case Selection
Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, and Wenyun Zhao
(Fudan University, China)


@InProceedings{ISSTA23p521, author = {Shenglin Bao and Chaofeng Sha and Bihuan Chen and Xin Peng and Wenyun Zhao}, title = {In Defense of Simple Techniques for Neural Network Test Case Selection}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3597926.3598073}, year = {2023}, } Publisher's Version Article: issta23main-p131-p doi:10.1145/3597926.3598073

ConfFix: Repairing Configuration Compatibility Issues in Android Apps
Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China; Huazhong University of Science and Technology, China)


@InProceedings{ISSTA23p534, author = {Huaxun Huang and Chi Xu and Ming Wen and Yepang Liu and Shing-Chi Cheung}, title = {ConfFix: Repairing Configuration Compatibility Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {534-533}, doi = {10.1145/3597926.3598074}, year = {2023}, } Publisher's Version Article: issta23main-p134-p doi:10.1145/3597926.3598074

Vectorizing Program Ingredients for Better JVM Testing
Tianchang Gao, Junjie Chen, Yingquan Zhao, Yuqun Zhang, and Lingming Zhang
(Tianjin University, China; Southern University of Science and Technology, China; University of Illinois at Urbana-Champaign, USA)


@InProceedings{ISSTA23p547, author = {Tianchang Gao and Junjie Chen and Yingquan Zhao and Yuqun Zhang and Lingming Zhang}, title = {Vectorizing Program Ingredients for Better JVM Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {547-546}, doi = {10.1145/3597926.3598075}, year = {2023}, } Publisher's Version Article: issta23main-p139-p doi:10.1145/3597926.3598075

What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications
Linlin Li, Ruifeng Wang, Xian Zhan, Ying Wang, Cuiyun Gao, Sinan Wang, and Yepang Liu
(Southern University of Science and Technology, China; Northeastern University, China; Harbin Institute of Technology, China)


@InProceedings{ISSTA23p560, author = {Linlin Li and Ruifeng Wang and Xian Zhan and Ying Wang and Cuiyun Gao and Sinan Wang and Yepang Liu}, title = {What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {560-559}, doi = {10.1145/3597926.3598076}, year = {2023}, } Publisher's Version Article: issta23main-p140-p doi:10.1145/3597926.3598076

Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Yingquan Zhao, Junjie Chen, Ruifeng Fu, Haojie Ye, and Zan Wang
(Tianjin University, China; Huawei, China)


@InProceedings{ISSTA23p573, author = {Yingquan Zhao and Junjie Chen and Ruifeng Fu and Haojie Ye and Zan Wang}, title = {Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3597926.3598077}, year = {2023}, } Publisher's Version Article: issta23main-p141-p doi:10.1145/3597926.3598077

Quantitative Policy Repair for Access Control on the Cloud
William Eiers, Ganesh Sankaran, and Tevfik Bultan
(University of California at Santa Barbara, USA)


@InProceedings{ISSTA23p586, author = {William Eiers and Ganesh Sankaran and Tevfik Bultan}, title = {Quantitative Policy Repair for Access Control on the Cloud}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {586-585}, doi = {10.1145/3597926.3598078}, year = {2023}, } Publisher's Version Article: issta23main-p142-p doi:10.1145/3597926.3598078

Validating Multimedia Content Moderation Software via Semantic Fusion
Wenxuan Wang, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang, Weibin Wu, Pinjia He, and Michael Lyu
(Chinese University of Hong Kong, China; Sun Yat-sen University, China)


@InProceedings{ISSTA23p599, author = {Wenxuan Wang and Jingyuan Huang and Chang Chen and Jiazhen Gu and Jianping Zhang and Weibin Wu and Pinjia He and Michael Lyu}, title = {Validating Multimedia Content Moderation Software via Semantic Fusion}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {599-598}, doi = {10.1145/3597926.3598079}, year = {2023}, } Publisher's Version Article: issta23main-p143-p doi:10.1145/3597926.3598079

Towards More Realistic Evaluation for Neural Test Oracle Generation
Zhongxin Liu, Kui Liu, Xin Xia, and Xiaohu Yang
(Zhejiang University, China; Huawei, China)


@InProceedings{ISSTA23p612, author = {Zhongxin Liu and Kui Liu and Xin Xia and Xiaohu Yang}, title = {Towards More Realistic Evaluation for Neural Test Oracle Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {612-611}, doi = {10.1145/3597926.3598080}, year = {2023}, } Publisher's Version Article: issta23main-p151-p doi:10.1145/3597926.3598080

Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems
Jun Wang, Yanhui Li, Xiang Huang, Lin Chen, Xiaofang Zhang, and Yuming Zhou
(Nanjing University, China; Soochow University, China)


@InProceedings{ISSTA23p625, author = {Jun Wang and Yanhui Li and Xiang Huang and Lin Chen and Xiaofang Zhang and Yuming Zhou}, title = {Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {625-624}, doi = {10.1145/3597926.3598081}, year = {2023}, } Publisher's Version Article: issta23main-p154-p doi:10.1145/3597926.3598081

DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
Simin Chen, Shiyi Wei, Cong Liu, and Wei Yang
(University of Texas at Dallas, USA; University of California at Riverside, USA)


@InProceedings{ISSTA23p638, author = {Simin Chen and Shiyi Wei and Cong Liu and Wei Yang}, title = {DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {638-637}, doi = {10.1145/3597926.3598082}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p158-p doi:10.1145/3597926.3598082

Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests
Chengpeng Li, M. Mahdi Khosravi, Wing Lam, and August Shi
(University of Texas at Austin, USA; Middle East Technical University, Turkey; George Mason University, USA)


@InProceedings{ISSTA23p651, author = {Chengpeng Li and M. Mahdi Khosravi and Wing Lam and August Shi}, title = {Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {651-650}, doi = {10.1145/3597926.3598083}, year = {2023}, } Publisher's Version Article: issta23main-p162-p doi:10.1145/3597926.3598083

Security Checking of Trigger-Action-Programming Smart Home Integrations
Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, and Xuandong Li
(Nanjing University, China; University of Queensland, Australia; Institute of Information Engineering at Chinese Academy of Sciences, China)


@InProceedings{ISSTA23p664, author = {Lei Bu and Qiuping Zhang and Suwan Li and Jinglin Dai and Guangdong Bai and Kai Chen and Xuandong Li}, title = {Security Checking of Trigger-Action-Programming Smart Home Integrations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3597926.3598084}, year = {2023}, } Publisher's Version Article: issta23main-p163-p doi:10.1145/3597926.3598084

LiResolver: License Incompatibility Resolution for Open Source Software
Sihan Xu, Ya Gao, Lingling Fan, Linyu Li, Xiangrui Cai, and Zheli Liu
(Nankai University, China)


@InProceedings{ISSTA23p677, author = {Sihan Xu and Ya Gao and Lingling Fan and Linyu Li and Xiangrui Cai and Zheli Liu}, title = {LiResolver: License Incompatibility Resolution for Open Source Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {677-676}, doi = {10.1145/3597926.3598085}, year = {2023}, } Publisher's Version Article: issta23main-p165-p doi:10.1145/3597926.3598085

More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen
(University of Texas at Austin, USA; Cornell University, USA)


@InProceedings{ISSTA23p690, author = {Yu Liu and Jiyang Zhang and Pengyu Nie and Milos Gligoric and Owolabi Legunsen}, title = {More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {690-689}, doi = {10.1145/3597926.3598086}, year = {2023}, } Publisher's Version Article: issta23main-p166-p doi:10.1145/3597926.3598086

Silent Compiler Bug De-duplication via Three-Dimensional Analysis
Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, and Jun Sun
(Tianjin University, China; Singapore Management University, Singapore)


@InProceedings{ISSTA23p703, author = {Chen Yang and Junjie Chen and Xingyu Fan and Jiajun Jiang and Jun Sun}, title = {Silent Compiler Bug De-duplication via Three-Dimensional Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {703-702}, doi = {10.1145/3597926.3598087}, year = {2023}, } Publisher's Version Article: issta23main-p167-p doi:10.1145/3597926.3598087

ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, and Wei Huo
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia; Zhongguancun Laboratory, China)


@InProceedings{ISSTA23p716, author = {Jingyi Shi and Yang Xiao and Yuekang Li and Yeting Li and Dongsong Yu and Chendong Yu and Hui Su and Yufeng Chen and Wei Huo}, title = {ACETest: Automated Constraint Extraction for Testing Deep Learning Operators}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {716-715}, doi = {10.1145/3597926.3598088}, year = {2023}, } Publisher's Version Article: issta23main-p168-p doi:10.1145/3597926.3598088

DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps
Yuhao Zhou and Wei Song
(Nanjing University of Science and Technology, China)


@InProceedings{ISSTA23p729, author = {Yuhao Zhou and Wei Song}, title = {DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3597926.3598089}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p170-p doi:10.1145/3597926.3598089

To Kill a Mutant: An Empirical Study of Mutation Testing Kills
Hang Du, Vijay Krishna Palepu, and James A. Jones
(University of California at Irvine, USA; Microsoft, USA)


@InProceedings{ISSTA23p742, author = {Hang Du and Vijay Krishna Palepu and James A. Jones}, title = {To Kill a Mutant: An Empirical Study of Mutation Testing Kills}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3597926.3598090}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p179-p doi:10.1145/3597926.3598090

iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, and Zhuotao Liu
(Case Western Reserve University, USA; Tsinghua University, China; Arizona State University, USA)


@InProceedings{ISSTA23p755, author = {Pengcheng Fang and Zhenhua Zou and Xusheng Xiao and Zhuotao Liu}, title = {iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {755-754}, doi = {10.1145/3597926.3598091}, year = {2023}, } Publisher's Version Article: issta23main-p202-p doi:10.1145/3597926.3598091

RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring
Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, and Rongrong Ji
(Xiamen University, China; Sun Yat-sen University, China; Tencent, China)


@InProceedings{ISSTA23p768, author = {Hao Liu and Yanlin Wang and Zhao Wei and Yong Xu and Juhong Wang and Hui Li and Rongrong Ji}, title = {RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {768-767}, doi = {10.1145/3597926.3598092}, year = {2023}, } Publisher's Version Article: issta23main-p208-p doi:10.1145/3597926.3598092

CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems
Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; University of Waterloo, Canada; University of Illinois at Urbana-Champaign, USA; National University of Defense Technology, China)


@InProceedings{ISSTA23p781, author = {Quan Zhang and Yongqiang Tian and Yifeng Ding and Shanshan Li and Chengnian Sun and Yu Jiang and Jiaguang Sun}, title = {CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3597926.3598093}, year = {2023}, } Publisher's Version Article: issta23main-p212-p doi:10.1145/3597926.3598093

ROME: Testing Image Captioning Systems via Recursive Object Melting
Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He, and Pinjia He
(Chinese University of Hong Kong, China; Microsoft Research, China)


@InProceedings{ISSTA23p794, author = {Boxi Yu and Zhiqing Zhong and Jiaqi Li and Yixing Yang and Shilin He and Pinjia He}, title = {ROME: Testing Image Captioning Systems via Recursive Object Melting}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {794-793}, doi = {10.1145/3597926.3598094}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p216-p doi:10.1145/3597926.3598094

GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, and Tyler Sorensen
(University of California at Santa Cruz, USA; University of California at Davis, USA)


@InProceedings{ISSTA23p807, author = {Reese Levine and Mingun Cho and Devon McKee and Andrew Quinn and Tyler Sorensen}, title = {GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {807-806}, doi = {10.1145/3597926.3598095}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p217-p doi:10.1145/3597926.3598095

COME: Commit Message Generation with Modification Embedding
Yichen He, Liran Wang, Kaiyi Wang, Yupeng Zhang, Hang Zhang, and Zhoujun Li
(Beihang University, China)


@InProceedings{ISSTA23p820, author = {Yichen He and Liran Wang and Kaiyi Wang and Yupeng Zhang and Hang Zhang and Zhoujun Li}, title = {COME: Commit Message Generation with Modification Embedding}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {820-819}, doi = {10.1145/3597926.3598096}, year = {2023}, } Publisher's Version Article: issta23main-p218-p doi:10.1145/3597926.3598096

OCFI: Make Function Entry Identification Hard Again
Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, and Bing Mao
(Nanjing University, China)


@InProceedings{ISSTA23p833, author = {Chengbin Pang and Tiantai Zhang and Xuelan Xu and Linzhang Wang and Bing Mao}, title = {OCFI: Make Function Entry Identification Hard Again}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {833-832}, doi = {10.1145/3597926.3598097}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p227-p doi:10.1145/3597926.3598097

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, and Zhiqiang Zuo
(Nanjing University, China; Nanjing University of Aeronautics and Astronautics, China)


@InProceedings{ISSTA23p846, author = {Yiyu Zhang and Tianyi Liu and Zewen Sun and Zhe Chen and Xuandong Li and Zhiqiang Zuo}, title = {Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {846-845}, doi = {10.1145/3597926.3598098}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p233-p doi:10.1145/3597926.3598098

Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing
Yisong Xiao, Aishan Liu, Tianlin Li, and Xianglong Liu
(Beihang University, China; Institute of Dataspace, China; Nanyang Technological University, Singapore; Zhongguancun Laboratory, China)


@InProceedings{ISSTA23p859, author = {Yisong Xiao and Aishan Liu and Tianlin Li and Xianglong Liu}, title = {Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {859-858}, doi = {10.1145/3597926.3598099}, year = {2023}, } Publisher's Version Article: issta23main-p235-p doi:10.1145/3597926.3598099

Simulation-Based Validation for Autonomous Driving Systems
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University Grenoble Alpes, France; CNRS, France; Grenoble INP, France; VERIMAG, France; Academy of Military Sciences, China)


@InProceedings{ISSTA23p872, author = {Changwen Li and Joseph Sifakis and Qiang Wang and Rongjie Yan and Jian Zhang}, title = {Simulation-Based Validation for Autonomous Driving Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {872-871}, doi = {10.1145/3597926.3598100}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p237-p doi:10.1145/3597926.3598100

Automated Program Repair from Fuzzing Perspective
YoungJae Kim, Seungheon Han, Askar Yeltayuly Khamit, and Jooyong Yi
(Ulsan National Institute of Science and Technology, South Korea)


@InProceedings{ISSTA23p885, author = {YoungJae Kim and Seungheon Han and Askar Yeltayuly Khamit and Jooyong Yi}, title = {Automated Program Repair from Fuzzing Perspective}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3597926.3598101}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p242-p doi:10.1145/3597926.3598101

1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing
Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo, Yong Xie, Jianjun Chen, and Chao Zhang
(Tsinghua University, China; Information Engineering University, China; Hong Kong Polytechnic University, China; Qinghai University, China)


@InProceedings{ISSTA23p898, author = {Songtao Yang and Yubo He and Kaixiang Chen and Zheyu Ma and Xiapu Luo and Yong Xie and Jianjun Chen and Chao Zhang}, title = {1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {898-897}, doi = {10.1145/3597926.3598102}, year = {2023}, } Publisher's Version Article: issta23main-p243-p doi:10.1145/3597926.3598102

A Bayesian Framework for Automated Debugging
Sungmin Kang, Wonkeun Choi, and Shin Yoo
(KAIST, South Korea)


@InProceedings{ISSTA23p911, author = {Sungmin Kang and Wonkeun Choi and Shin Yoo}, title = {A Bayesian Framework for Automated Debugging}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3597926.3598103}, year = {2023}, } Publisher's Version Article: issta23main-p245-p doi:10.1145/3597926.3598103

That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly
Daniel Lehmann, Michelle Thalakottur, Frank Tip, and Michael Pradel
(University of Stuttgart, Germany; Northeastern University, USA)


@InProceedings{ISSTA23p924, author = {Daniel Lehmann and Michelle Thalakottur and Frank Tip and Michael Pradel}, title = {That’s a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {924-923}, doi = {10.1145/3597926.3598104}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p247-p doi:10.1145/3597926.3598104

GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen, Chengcheng Wan, Lei Bu, and Jianjun Zhao
(Shanghai Jiao Tong University, China; East China Normal University, China; Nanjing University, China; Kyushu University, Japan)


@InProceedings{ISSTA23p937, author = {Zihan Wang and Pengbo Nie and Xinyuan Miao and Yuting Chen and Chengcheng Wan and Lei Bu and Jianjun Zhao}, title = {GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {937-936}, doi = {10.1145/3597926.3598105}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p249-p doi:10.1145/3597926.3598105

Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features
Yiming Zhang, Yuxin Hu, Haonan Li, Wenxuan Shi, Zhenyu Ning, Xiapu Luo, and Fengwei Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Hunan University, China)


@InProceedings{ISSTA23p950, author = {Yiming Zhang and Yuxin Hu and Haonan Li and Wenxuan Shi and Zhenyu Ning and Xiapu Luo and Fengwei Zhang}, title = {Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {950-949}, doi = {10.1145/3597926.3598106}, year = {2023}, } Publisher's Version Article: issta23main-p250-p doi:10.1145/3597926.3598106

Guiding Greybox Fuzzing with Mutation Testing
Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, and Rohan Padhye
(Carnegie Mellon University, USA; Swarthmore College, USA; University of Minnesota, USA; University of Rochester, USA)


@InProceedings{ISSTA23p963, author = {Vasudev Vikram and Isabella Laybourn and Ao Li and Nicole Nair and Kelton OBrien and Rafaello Sanna and Rohan Padhye}, title = {Guiding Greybox Fuzzing with Mutation Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3597926.3598107}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p252-p doi:10.1145/3597926.3598107

Testing Automated Driving Systems by Breaking Many Laws Efficiently
Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, and Zijiang Yang
(Xidian University, China; Singapore Management University, Singapore; GuardStrike, China)


@InProceedings{ISSTA23p976, author = {Xiaodong Zhang and Wei Zhao and Yang Sun and Jun Sun and Yulong Shen and Xuewen Dong and Zijiang Yang}, title = {Testing Automated Driving Systems by Breaking Many Laws Efficiently}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {976-975}, doi = {10.1145/3597926.3598108}, year = {2023}, } Publisher's Version Article: issta23main-p255-p doi:10.1145/3597926.3598108

DeepAtash: Focused Test Generation for Deep Learning Systems
Tahereh Zohdinasab, Vincenzo Riccio, and Paolo Tonella
(USI Lugano, Switzerland)


@InProceedings{ISSTA23p989, author = {Tahereh Zohdinasab and Vincenzo Riccio and Paolo Tonella}, title = {DeepAtash: Focused Test Generation for Deep Learning Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {989-988}, doi = {10.1145/3597926.3598109}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p259-p doi:10.1145/3597926.3598109

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations
Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, and Bin Yu
(Qufu Normal University, China; Xidian University, China)


@InProceedings{ISSTA23p1002, author = {Chu Chen and Pinghong Ren and Zhenhua Duan and Cong Tian and Xu Lu and Bin Yu}, title = {SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3597926.3598110}, year = {2023}, } Publisher's Version Article: issta23main-p264-p doi:10.1145/3597926.3598110

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Zeqin Liao, Sicheng Hao, Yuhong Nan, and Zibin Zheng
(Sun Yat-sen University, China)


@InProceedings{ISSTA23p1015, author = {Zeqin Liao and Sicheng Hao and Yuhong Nan and Zibin Zheng}, title = {SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1015-1014}, doi = {10.1145/3597926.3598111}, year = {2023}, } Publisher's Version Article: issta23main-p265-p doi:10.1145/3597926.3598111

ωTest: WebView-Oriented Testing for Android Applications
Jiajun Hu, Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; McGill University, Canada; Southern University of Science and Technology, China)


@InProceedings{ISSTA23p1028, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {ωTest: WebView-Oriented Testing for Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1028-1027}, doi = {10.1145/3597926.3598112}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p271-p doi:10.1145/3597926.3598112

ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems
Mingyi Zhou, Xiang Gao, Jing Wu, John Grundy, Xiao Chen, Chunyang Chen, and Li Li
(Monash University, Australia; Beihang University, China)


@InProceedings{ISSTA23p1041, author = {Mingyi Zhou and Xiang Gao and Jing Wu and John Grundy and Xiao Chen and Chunyang Chen and Li Li}, title = {ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3597926.3598113}, year = {2023}, } Publisher's Version Article: issta23main-p275-p doi:10.1145/3597926.3598113

AGORA: Automated Generation of Test Oracles for REST APIs
Juan C. Alonso, Sergio Segura, and Antonio Ruiz-Cortés
(University of Seville, Spain)


@InProceedings{ISSTA23p1054, author = {Juan C. Alonso and Sergio Segura and Antonio Ruiz-Cortés}, title = {AGORA: Automated Generation of Test Oracles for REST APIs}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1054-1053}, doi = {10.1145/3597926.3598114}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p279-p doi:10.1145/3597926.3598114

Fuzzing Embedded Systems using Debug Interfaces
Max Eisele, Daniel Ebert, Christopher Huth, and Andreas Zeller
(Robert Bosch, Germany; Saarland University, Germany; CISPA Helmholtz Center for Information Security, Germany)


@InProceedings{ISSTA23p1067, author = {Max Eisele and Daniel Ebert and Christopher Huth and Andreas Zeller}, title = {Fuzzing Embedded Systems using Debug Interfaces}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1067-1066}, doi = {10.1145/3597926.3598115}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p282-p doi:10.1145/3597926.3598115

Splendor: Static Detection of Stored XSS in Modern Web Applications
He Su, Feng Li, Lili Xu, Wenbo Hu, Yujie Sun, Qing Sun, Huina Chao, and Wei Huo
(Institute of Information Engineering at Chinese Academy of Sciences, China)


@InProceedings{ISSTA23p1080, author = {He Su and Feng Li and Lili Xu and Wenbo Hu and Yujie Sun and Qing Sun and Huina Chao and Wei Huo}, title = {Splendor: Static Detection of Stored XSS in Modern Web Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1080-1079}, doi = {10.1145/3597926.3598116}, year = {2023}, } Publisher's Version Article: issta23main-p283-p doi:10.1145/3597926.3598116

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
Pablo Valle, Aitor Arrieta, and Maite Arratibel
(Mondragon University, Spain; Orona, Spain)


@InProceedings{ISSTA23p1093, author = {Pablo Valle and Aitor Arrieta and Maite Arratibel}, title = {Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1093-1092}, doi = {10.1145/3597926.3598117}, year = {2023}, } Publisher's Version Article: issta23main-p285-p doi:10.1145/3597926.3598117

Finding Short Slow Inputs Faster with Grammar-Based Search
Ziyad Alsaeed and Michal Young
(Qassim University, Saudi Arabia; University of Oregon, USA)


@InProceedings{ISSTA23p1106, author = {Ziyad Alsaeed and Michal Young}, title = {Finding Short Slow Inputs Faster with Grammar-Based Search}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1106-1105}, doi = {10.1145/3597926.3598118}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p286-p doi:10.1145/3597926.3598118

Transforming Test Suites into Croissants
Yang Chen, Alperen Yildiz, Darko Marinov, and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA; Sabanci University, Turkey)


@InProceedings{ISSTA23p1119, author = {Yang Chen and Alperen Yildiz and Darko Marinov and Reyhaneh Jabbarvand}, title = {Transforming Test Suites into Croissants}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1119-1118}, doi = {10.1145/3597926.3598119}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p297-p doi:10.1145/3597926.3598119

Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
Tian Tan and Yue Li
(Nanjing University, China)


@InProceedings{ISSTA23p1132, author = {Tian Tan and Yue Li}, title = {Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1132-1131}, doi = {10.1145/3597926.3598120}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p305-p doi:10.1145/3597926.3598120

Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis
Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA)


@InProceedings{ISSTA23p1145, author = {Xiangzhe Xu and Shiwei Feng and Yapeng Ye and Guangyu Shen and Zian Su and Siyuan Cheng and Guanhong Tao and Qingkai Shi and Zhuo Zhang and Xiangyu Zhang}, title = {Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1145-1144}, doi = {10.1145/3597926.3598121}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p311-p doi:10.1145/3597926.3598121

Data Constraint Mining for Automatic Reconciliation Scripts Generation
Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin, and Shuiguang Deng
(Zhejiang University, China; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, China; Alibaba Group, China)


@InProceedings{ISSTA23p1158, author = {Tianxiao Wang and Chen Zhi and Xiaoqun Zhou and Jinjie Wu and Jianwei Yin and Shuiguang Deng}, title = {Data Constraint Mining for Automatic Reconciliation Scripts Generation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1158-1157}, doi = {10.1145/3597926.3598122}, year = {2023}, } Publisher's Version Article: issta23main-p323-p doi:10.1145/3597926.3598122

Guided Retraining to Enhance the Detection of Difficult Android Malware
Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, and Jacques Klein
(University of Luxembourg, Luxembourg; CentraleSupélec, France)


@InProceedings{ISSTA23p1171, author = {Nadia Daoudi and Kevin Allix and Tegawendé F. Bissyandé and Jacques Klein}, title = {Guided Retraining to Enhance the Detection of Difficult Android Malware}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1171-1170}, doi = {10.1145/3597926.3598123}, year = {2023}, } Publisher's Version Article: issta23main-p327-p doi:10.1145/3597926.3598123

DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, and Zibin Zheng
(Sun Yat-sen University, China)


@InProceedings{ISSTA23p1184, author = {Queping Kong and Jiachi Chen and Yanlin Wang and Zigui Jiang and Zibin Zheng}, title = {DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1184-1183}, doi = {10.1145/3597926.3598124}, year = {2023}, } Publisher's Version Article: issta23main-p331-p doi:10.1145/3597926.3598124

Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, and Lingxiao Jiang
(Hong Kong University of Science and Technology, China; Chinese University of Hong Kong, China; Xidian University, China; Mask Network, China; Nanyang Technological University, Singapore; Singapore Management University, Singapore)


@InProceedings{ISSTA23p1197, author = {Yuzhou Fang and Daoyuan Wu and Xiao Yi and Shuai Wang and Yufan Chen and Mengjie Chen and Yang Liu and Lingxiao Jiang}, title = {Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1197-1196}, doi = {10.1145/3597926.3598125}, year = {2023}, } Publisher's Version Article: issta23main-p335-p doi:10.1145/3597926.3598125

Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing
Julia Kaiwen Lau, Kelvin Kai Wen Kong, Julian Hao Yong, Per Hoong Tan, Zhou Yang, Zi Qian Yong, Joshua Chern Wey Low, Chun Yong Chong, Mei Kuan Lim, and David Lo
(Monash University Malaysia, Malaysia; Singapore Management University, Singapore)


@InProceedings{ISSTA23p1210, author = {Julia Kaiwen Lau and Kelvin Kai Wen Kong and Julian Hao Yong and Per Hoong Tan and Zhou Yang and Zi Qian Yong and Joshua Chern Wey Low and Chun Yong Chong and Mei Kuan Lim and David Lo}, title = {Synthesizing Speech Test Cases with Text-to-Speech? An Empirical Study on the False Alarms in Automated Speech Recognition Testing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1210-1209}, doi = {10.1145/3597926.3598126}, year = {2023}, } Publisher's Version Article: issta23main-p338-p doi:10.1145/3597926.3598126

A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation
Zhiyi Xue, Si Liu, Zhaodi Zhang, Yiting Wu, and Min Zhang
(East China Normal University, China; ETH Zurich, Switzerland; Chengdu Education Research Institute, China)


@InProceedings{ISSTA23p1223, author = {Zhiyi Xue and Si Liu and Zhaodi Zhang and Yiting Wu and Min Zhang}, title = {A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1223-1222}, doi = {10.1145/3597926.3598127}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p346-p doi:10.1145/3597926.3598127

SlipCover: Near Zero-Overhead Code Coverage for Python
Juan Altmayer Pizzorno and Emery D. Berger
(University of Massachusetts Amherst, USA)


@InProceedings{ISSTA23p1236, author = {Juan Altmayer Pizzorno and Emery D. Berger}, title = {SlipCover: Near Zero-Overhead Code Coverage for Python}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3597926.3598128}, year = {2023}, } Publisher's Version Article: issta23main-p348-p doi:10.1145/3597926.3598128

Systematic Testing of the Data-Poisoning Robustness of KNN
Yannan Li, Jingbo Wang, and Chao Wang
(University of Southern California, USA)


@InProceedings{ISSTA23p1249, author = {Yannan Li and Jingbo Wang and Chao Wang}, title = {Systematic Testing of the Data-Poisoning Robustness of KNN}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1249-1248}, doi = {10.1145/3597926.3598129}, year = {2023}, } Publisher's Version Article: issta23main-p351-p doi:10.1145/3597926.3598129

GrayC: Greybox Fuzzing of Compilers and Analysers for C
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, and Cristian Cadar
(King’s College London, UK; Imperial College London, UK)


@InProceedings{ISSTA23p1262, author = {Karine Even-Mendoza and Arindam Sharma and Alastair F. Donaldson and Cristian Cadar}, title = {GrayC: Greybox Fuzzing of Compilers and Analysers for C}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1262-1261}, doi = {10.1145/3597926.3598130}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p352-p doi:10.1145/3597926.3598130

Enhancing REST API Testing with NLP Techniques
Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, and Mariano Ceccato
(Georgia Institute of Technology, USA; University of Verona, Italy; IBM Research, USA; IBM Research, Israel)


@InProceedings{ISSTA23p1275, author = {Myeongsoo Kim and Davide Corradini and Saurabh Sinha and Alessandro Orso and Michele Pasqua and Rachel Tzoref-Brill and Mariano Ceccato}, title = {Enhancing REST API Testing with NLP Techniques}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1275-1274}, doi = {10.1145/3597926.3598131}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p356-p doi:10.1145/3597926.3598131

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode
Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, and Mu Zhang
(University of Utah, USA)


@InProceedings{ISSTA23p1288, author = {Yu Pan and Zhichao Xu and Levi Taiji Li and Yunhe Yang and Mu Zhang}, title = {Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1288-1287}, doi = {10.1145/3597926.3598132}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p359-p doi:10.1145/3597926.3598132

Toward Automated Detecting Unanticipated Price Feed in Smart Contract
Yifan Mo, Jiachi Chen, Yanlin Wang, and Zibin Zheng
(Sun Yat-sen University, China)


@InProceedings{ISSTA23p1301, author = {Yifan Mo and Jiachi Chen and Yanlin Wang and Zibin Zheng}, title = {Toward Automated Detecting Unanticipated Price Feed in Smart Contract}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3597926.3598133}, year = {2023}, } Publisher's Version Article: issta23main-p364-p doi:10.1145/3597926.3598133

Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications
Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano, Xue Qin, and Foyzul Hassan
(University of Michigan at Dearborn, USA; Villanova University, USA)


@InProceedings{ISSTA23p1314, author = {Dhia Elhaq Rzig and Nafees Iqbal and Isabella Attisano and Xue Qin and Foyzul Hassan}, title = {Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1314-1313}, doi = {10.1145/3597926.3598134}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p366-p doi:10.1145/3597926.3598134

How Effective Are Neural Networks for Fixing Security Vulnerabilities
Yi Wu, Nan Jiang, Hung Viet Pham, Thibaud Lutellier, Jordan Davis, Lin Tan, Petr Babkin, and Sameena Shah
(Purdue University, USA; York University, Canada; University of Alberta, Canada; J.P. Morgan AI Research, USA)


@InProceedings{ISSTA23p1327, author = {Yi Wu and Nan Jiang and Hung Viet Pham and Thibaud Lutellier and Jordan Davis and Lin Tan and Petr Babkin and Sameena Shah}, title = {How Effective Are Neural Networks for Fixing Security Vulnerabilities}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1327-1326}, doi = {10.1145/3597926.3598135}, year = {2023}, } Publisher's Version Article: issta23main-p369-p doi:10.1145/3597926.3598135

Rare Path Guided Fuzzing
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, and Tevfik Bultan
(University of California at Santa Barbara, USA)


@InProceedings{ISSTA23p1340, author = {Seemanta Saha and Laboni Sarker and Md Shafiuzzaman and Chaofan Shou and Albert Li and Ganesh Sankaran and Tevfik Bultan}, title = {Rare Path Guided Fuzzing}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1340-1339}, doi = {10.1145/3597926.3598136}, year = {2023}, } Publisher's Version Article: issta23main-p373-p doi:10.1145/3597926.3598136

CGuard: Scalable and Precise Object Bounds Protection for C
Piyus Kedia, Rahul Purandare, Udit Agarwal, and Rishabh
(IIIT Delhi, India; University of Nebraska-Lincoln, USA; University of British Columbia, Canada; GGSIPU, India)


@InProceedings{ISSTA23p1353, author = {Piyus Kedia and Rahul Purandare and Udit Agarwal and Rishabh}, title = {CGuard: Scalable and Precise Object Bounds Protection for C}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1353-1352}, doi = {10.1145/3597926.3598137}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p376-p doi:10.1145/3597926.3598137

An Empirical Study of Functional Bugs in Android Apps
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, and Zhendong Su
(East China Normal University, China; Nanjing University, China; ETH Zurich, Switzerland)


@InProceedings{ISSTA23p1366, author = {Yiheng Xiong and Mengqian Xu and Ting Su and Jingling Sun and Jue Wang and He Wen and Geguang Pu and Jifeng He and Zhendong Su}, title = {An Empirical Study of Functional Bugs in Android Apps}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1366-1365}, doi = {10.1145/3597926.3598138}, year = {2023}, } Publisher's Version Article: issta23main-p378-p doi:10.1145/3597926.3598138

NodeRT: Detecting Races in Node.js Applications Practically
Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, and Xiangyu Zhang
(Nanjing University, China; Suzhou City University, China; Nanjing University of Posts and Telecommunications, China; Purdue University, USA)


@InProceedings{ISSTA23p1379, author = {Jingyao Zhou and Lei Xu and Gongzheng Lu and Weifeng Zhang and Xiangyu Zhang}, title = {NodeRT: Detecting Races in Node.js Applications Practically}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1379-1378}, doi = {10.1145/3597926.3598139}, year = {2023}, } Publisher's Version Article: issta23main-p379-p doi:10.1145/3597926.3598139

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)


@InProceedings{ISSTA23p1392, author = {Chao Li and Rui Chen and Boxiang Wang and Zhixuan Wang and Tingting Yu and Yunsong Jiang and Bin Gu and Mengfei Yang}, title = {An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1392-1391}, doi = {10.1145/3597926.3598140}, year = {2023}, } Publisher's Version Article: issta23main-p384-p doi:10.1145/3597926.3598140

CodeGrid: A Grid Representation of Code
Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, and Tegawendé F. Bissyandé
(University of Luxembourg, Luxembourg; University College London, UK; Google DeepMind, Canada)


@InProceedings{ISSTA23p1405, author = {Abdoul Kader Kaboré and Earl T. Barr and Jacques Klein and Tegawendé F. Bissyandé}, title = {CodeGrid: A Grid Representation of Code}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1405-1404}, doi = {10.1145/3597926.3598141}, year = {2023}, } Publisher's Version Article: issta23main-p386-p doi:10.1145/3597926.3598141

Detecting Condition-Related Bugs with Control Flow Graph Neural Network
Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu, Chunming Hu, and Yang Liu
(Beihang University, China; Chongqing University, China; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p1418, author = {Jian Zhang and Xu Wang and Hongyu Zhang and Hailong Sun and Xudong Liu and Chunming Hu and Yang Liu}, title = {Detecting Condition-Related Bugs with Control Flow Graph Neural Network}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1418-1417}, doi = {10.1145/3597926.3598142}, year = {2023}, } Publisher's Version Article: issta23main-p388-p doi:10.1145/3597926.3598142

Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Ling Jiang, Hengchen Yuan, Qiyi Tang, Sen Nie, Shi Wu, and Yuqun Zhang
(Southern University of Science and Technology, China; Tencent Security Keen Lab, China)


@InProceedings{ISSTA23p1431, author = {Ling Jiang and Hengchen Yuan and Qiyi Tang and Sen Nie and Shi Wu and Yuqun Zhang}, title = {Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1431-1430}, doi = {10.1145/3597926.3598143}, year = {2023}, } Publisher's Version Article: issta23main-p389-p doi:10.1145/3597926.3598143

Green Fuzzer Benchmarking
Jiradet Ounjai, Valentin Wüstholz, and Maria Christakis
(MPI-SWS, Germany; ConsenSys, Austria; TU Wien, Austria)


@InProceedings{ISSTA23p1444, author = {Jiradet Ounjai and Valentin Wüstholz and Maria Christakis}, title = {Green Fuzzer Benchmarking}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1444-1443}, doi = {10.1145/3597926.3598144}, year = {2023}, } Publisher's Version Article: issta23main-p394-p doi:10.1145/3597926.3598144

Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?
Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China; Wuhan University, China; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p1457, author = {Yutao Hu and Suyuan Wang and Wenke Li and Junru Peng and Yueming Wu and Deqing Zou and Hai Jin}, title = {Interpreters for GNN-Based Vulnerability Detection: Are We There Yet?}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1457-1456}, doi = {10.1145/3597926.3598145}, year = {2023}, } Publisher's Version Article: issta23main-p410-p doi:10.1145/3597926.3598145

An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Kunlun Ren, Weizhong Qiang, Yueming Wu, Yi Zhou, Deqing Zou, and Hai Jin
(Huazhong University of Science and Technology, China; Nanyang Technological University, Singapore)


@InProceedings{ISSTA23p1470, author = {Kunlun Ren and Weizhong Qiang and Yueming Wu and Yi Zhou and Deqing Zou and Hai Jin}, title = {An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1470-1469}, doi = {10.1145/3597926.3598146}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23main-p411-p doi:10.1145/3597926.3598146

Understanding Breaking Changes in the Wild
Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich, Samuel Ou, and Kelly Blincoe
(University of Auckland, New Zealand; Victoria University of Wellington, New Zealand)


@InProceedings{ISSTA23p1483, author = {Dhanushka Jayasuriya and Valerio Terragni and Jens Dietrich and Samuel Ou and Kelly Blincoe}, title = {Understanding Breaking Changes in the Wild}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1483-1482}, doi = {10.1145/3597926.3598147}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: issta23main-p417-p doi:10.1145/3597926.3598147

Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction
Dylan Callaghan and Bernd Fischer
(Stellenbosch University, South Africa)


@InProceedings{ISSTA23p1496, author = {Dylan Callaghan and Bernd Fischer}, title = {Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1496-1495}, doi = {10.1145/3597926.3598148}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: issta23main-p426-p doi:10.1145/3597926.3598148

Extracting Inline Tests from Unit Tests
Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, and Owolabi Legunsen
(University of Texas at Austin, USA; Cornell University, USA)


@InProceedings{ISSTA23p1509, author = {Yu Liu and Pengyu Nie and Anna Guo and Milos Gligoric and Owolabi Legunsen}, title = {Extracting Inline Tests from Unit Tests}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1509-1508}, doi = {10.1145/3597926.3598149}, year = {2023}, } Publisher's Version Article: issta23main-p429-p doi:10.1145/3597926.3598149

DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
Yuhao Zhou and Wei Song
(Nanjing University of Science and Technology, China)


@InProceedings{ISSTA23p1522, author = {Yuhao Zhou and Wei Song}, title = {DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1522-1521}, doi = {10.1145/3597926.3604916}, year = {2023}, } Publisher's Version Article: issta23demo-p2-p doi:10.1145/3597926.3604916

Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Roland Kuhn and Alan Darmasaputra
(Actyx, Germany)


@InProceedings{ISSTA23p1526, author = {Roland Kuhn and Alan Darmasaputra}, title = {Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1526-1525}, doi = {10.1145/3597926.3604917}, year = {2023}, } Publisher's Version Article: issta23demo-p3-p doi:10.1145/3597926.3604917

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, and Shiyi Wei
(University of Texas at Dallas, USA)


@InProceedings{ISSTA23p1530, author = {Austin Mordahl and Dakota Soles and Miao Miao and Zenong Zhang and Shiyi Wei}, title = {ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1530-1529}, doi = {10.1145/3597926.3604918}, year = {2023}, } Publisher's Version Article: issta23demo-p4-p doi:10.1145/3597926.3604918

RustSmith: Random Differential Compiler Testing for Rust
Mayank Sharma, Pingshi Yu, and Alastair F. Donaldson
(Imperial College London, UK)


@InProceedings{ISSTA23p1534, author = {Mayank Sharma and Pingshi Yu and Alastair F. Donaldson}, title = {RustSmith: Random Differential Compiler Testing for Rust}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1534-1533}, doi = {10.1145/3597926.3604919}, year = {2023}, } Publisher's Version Article: issta23demo-p5-p doi:10.1145/3597926.3604919

KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
Qinglong Wang, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu, Tao Ma, Houbing Song, and Heyuan Shi
(Alibaba Group, China; University of Maryland, Baltimore County, USA; Central South University, China)


@InProceedings{ISSTA23p1538, author = {Qinglong Wang and Runzhe Wang and Yuxi Hu and Xiaohai Shi and Zheng Liu and Tao Ma and Houbing Song and Heyuan Shi}, title = {KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1538-1537}, doi = {10.1145/3597926.3604920}, year = {2023}, } Publisher's Version Article: issta23demo-p8-p doi:10.1145/3597926.3604920

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar
(Imperial College London, UK; RWTH Aachen University, Germany)


@InProceedings{ISSTA23p1542, author = {Daniel Schemmel and Julian Büning and Frank Busse and Martin Nowack and Cristian Cadar}, title = {KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1542-1541}, doi = {10.1145/3597926.3604921}, year = {2023}, } Publisher's Version Article: issta23demo-p12-p doi:10.1145/3597926.3604921

EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
Konstantinos Sagonas and Thanasis Typaldos
(Uppsala University, Sweden; National Technical University of Athens, Greece)


@InProceedings{ISSTA23p1546, author = {Konstantinos Sagonas and Thanasis Typaldos}, title = {EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1546-1545}, doi = {10.1145/3597926.3604922}, year = {2023}, } Publisher's Version Article: issta23demo-p13-p doi:10.1145/3597926.3604922

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, and José Fragoso Santos
(Instituto Superior Técnico, Portugal; University of Lleida, Spain; INESC-ID, Portugal)


@InProceedings{ISSTA23p1550, author = {Frederico Ramos and Diogo Costa Reis and Miguel Trigo and António Morgado and José Fragoso Santos}, title = {MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1550-1549}, doi = {10.1145/3597926.3604923}, year = {2023}, } Publisher's Version Published Artifact Artifacts Available Article: issta23demo-p14-p doi:10.1145/3597926.3604923

RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
Sven Peldszus, Noubar Akopian, and Thorsten Berger
(Ruhr University Bochum, Germany; Chalmers, Sweden; University of Gothenburg, Sweden)


@InProceedings{ISSTA23p1554, author = {Sven Peldszus and Noubar Akopian and Thorsten Berger}, title = {RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1554-1553}, doi = {10.1145/3597926.3604924}, year = {2023}, } Publisher's Version Article: issta23demo-p15-p doi:10.1145/3597926.3604924

TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
Ziyad Alsaeed and Michal Young
(Qassim University, Saudi Arabia; University of Oregon, USA)


@InProceedings{ISSTA23p1558, author = {Ziyad Alsaeed and Michal Young}, title = {TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1558-1557}, doi = {10.1145/3597926.3604925}, year = {2023}, } Publisher's Version Article: issta23demo-p16-p doi:10.1145/3597926.3604925

Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
Francisco Ferreira and Sung-Shik Jongmans
(Royal Holloway University of London, UK; Open University of the Netherlands, Netherlands; CWI, Netherlands)


@InProceedings{ISSTA23p1562, author = {Francisco Ferreira and Sung-Shik Jongmans}, title = {Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1562-1561}, doi = {10.1145/3597926.3604926}, year = {2023}, } Publisher's Version Article: issta23demo-p18-p doi:10.1145/3597926.3604926

SymRustC: A Hybrid Fuzzer for Rust
Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, and Steven Y. Ko
(Simon Fraser University, Canada; Boston University, USA)


@InProceedings{ISSTA23p1566, author = {Frédéric Tuong and Mohammad Omidvar Tehrani and Marco Gaboardi and Steven Y. Ko}, title = {SymRustC: A Hybrid Fuzzer for Rust}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1566-1565}, doi = {10.1145/3597926.3604927}, year = {2023}, } Publisher's Version Article: issta23demo-p20-p doi:10.1145/3597926.3604927

EvoSpex: A Search-Based Tool for Postcondition Inference
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
(IMDEA Software Institute, Spain; University of Rio Cuarto, Argentina; CONICET, Argentina; University of Texas at El Paso, USA)


@InProceedings{ISSTA23p1570, author = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias}, title = {EvoSpex: A Search-Based Tool for Postcondition Inference}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1570-1569}, doi = {10.1145/3597926.3604928}, year = {2023}, } Publisher's Version Article: issta23demo-p22-p doi:10.1145/3597926.3604928

PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
Sunzhou Huang and Xiaoyin Wang
(University of Texas at San Antonio, USA)


@InProceedings{ISSTA23p1574, author = {Sunzhou Huang and Xiaoyin Wang}, title = {PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1574-1573}, doi = {10.1145/3597926.3604929}, year = {2023}, } Publisher's Version Article: issta23demo-p23-p doi:10.1145/3597926.3604929

Quantitative Robustness Analysis of Neural Networks
Mara Downing
(University of California at Santa Barbara, USA)


@InProceedings{ISSTA23p1578, author = {Mara Downing}, title = {Quantitative Robustness Analysis of Neural Networks}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1578-1577}, doi = {10.1145/3597926.3605231}, year = {2023}, } Publisher's Version Article: issta23docs-p48-p doi:10.1145/3597926.3605231

Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Austin Mordahl
(University of Texas at Dallas, USA)


@InProceedings{ISSTA23p1583, author = {Austin Mordahl}, title = {Automatic Testing and Benchmarking for Configurable Static Analysis Tools}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1583-1582}, doi = {10.1145/3597926.3605232}, year = {2023}, } Publisher's Version Article: issta23docs-p60-p doi:10.1145/3597926.3605232

Type Automata
Ori Roth
(Technion, Israel)


@InProceedings{ISSTA23p1588, author = {Ori Roth}, title = {Type Automata}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1588-1587}, doi = {10.1145/3597926.3605237}, year = {2023}, } Publisher's Version Article: issta23docs-p41-p doi:10.1145/3597926.3605237

Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis
Sohil Lal Shrestha
(University of Texas at Arlington, USA)


@InProceedings{ISSTA23p1593, author = {Sohil Lal Shrestha}, title = {Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1593-1592}, doi = {10.1145/3597926.3605233}, year = {2023}, } Publisher's Version Article: issta23docs-p87-p doi:10.1145/3597926.3605233

Fairness Testing for Recommender Systems
Huizhong Guo
(Zhejiang University, China)


@InProceedings{ISSTA23p1598, author = {Huizhong Guo}, title = {Fairness Testing for Recommender Systems}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1598-1597}, doi = {10.1145/3597926.3605235}, year = {2023}, } Publisher's Version Article: issta23docs-p39-p doi:10.1145/3597926.3605235

Quantitative Symbolic Similarity Analysis
Laboni Sarker
(University of California at Santa Barbara, USA)


@InProceedings{ISSTA23p1603, author = {Laboni Sarker}, title = {Quantitative Symbolic Similarity Analysis}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1603-1602}, doi = {10.1145/3597926.3605238}, year = {2023}, } Publisher's Version Article: issta23docs-p65-p doi:10.1145/3597926.3605238

Reasoning about MLIR Semantics through Effects and Handlers
Pingshi Yu
(Imperial College London, UK)


@InProceedings{ISSTA23p1608, author = {Pingshi Yu}, title = {Reasoning about MLIR Semantics through Effects and Handlers}, booktitle = {Proc.\ ISSTA}, publisher = {ACM}, pages = {1608-1607}, doi = {10.1145/3597926.3605239}, year = {2023}, } Publisher's Version Article: issta23docs-p59-p doi:10.1145/3597926.3605239