share record
persistent URL:
Seemanta Saha , Laboni Sarker , Md Shafiuzzaman , Chaofan Shou , Albert Li , Ganesh Sankaran , Tevfik Bultan : Rare Path Guided Fuzzing. ISSTA 2023 : 1295-1306 share record
persistent URL:
Laboni Sarker : Quantitative Symbolic Similarity Analysis. ISSTA 2023 : 1549-1551 export record
dblp key:
conf/issta/SchemmelBBNC23 share record
persistent URL:
Daniel Schemmel , Julian Büning , Frank Busse , Martin Nowack , Cristian Cadar : KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA 2023 : 1491-1494 share record
persistent URL:
Richard Schumi , Jun Sun : Semantic-Based Neural Network Repair. ISSTA 2023 : 150-162 share record
persistent URL:
Mayank Sharma , Pingshi Yu , Alastair F. Donaldson : RustSmith: Random Differential Compiler Testing for Rust. ISSTA 2023 : 1483-1486 share record
persistent URL:
Ensheng Shi , Yanlin Wang , Hongyu Zhang , Lun Du , Shi Han , Dongmei Zhang , Hongbin Sun : Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. ISSTA 2023 : 39-51 share record
persistent URL:
Jingyi Shi , Yang Xiao , Yuekang Li , Yeting Li , Dongsong Yu , Chendong Yu , Hui Su , Yufeng Chen , Wei Huo : ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. ISSTA 2023 : 690-702 share record
persistent URL:
Chaofan Shou , Shangyin Tan , Koushik Sen : ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. ISSTA 2023 : 322-333 share record
persistent URL:
Sohil Lal Shrestha : Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. ISSTA 2023 : 1541-1545 share record
persistent URL:
He Su , Feng Li , Lili Xu , Wenbo Hu , Yujie Sun , Qing Sun , Huina Chao , Wei Huo : Splendor: Static Detection of Stored XSS in Modern Web Applications. ISSTA 2023 : 1043-1054 share record
persistent URL:
Tian Tan , Yue Li : Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. ISSTA 2023 : 1093-1105 share record
persistent URL:
Frédéric Tuong , Mohammad Omidvar Tehrani , Marco Gaboardi , Steven Y. Ko : SymRustC: A Hybrid Fuzzer for Rust. ISSTA 2023 : 1515-1518 share record
persistent URL:
Pablo Valle , Aitor Arrieta , Maite Arratibel : Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). ISSTA 2023 : 1055-1067 export record
dblp key:
conf/issta/VikramLLNOSP23 share record
persistent URL:
Vasudev Vikram , Isabella Laybourn , Ao Li , Nicole Nair , Kelton OBrien , Rafaello Sanna , Rohan Padhye : Guiding Greybox Fuzzing with Mutation Testing. ISSTA 2023 : 929-941 share record
persistent URL:
Wenxuan Wang , Jingyuan Huang , Chang Chen , Jiazhen Gu , Jianping Zhang , Weibin Wu , Pinjia He , Michael R. Lyu : Validating Multimedia Content Moderation Software via Semantic Fusion. ISSTA 2023 : 576-588 share record
persistent URL:
Jun Wang , Yanhui Li , Xiang Huang , Lin Chen , Xiaofang Zhang , Yuming Zhou : Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. ISSTA 2023 : 601-613 share record
persistent URL:
Zihan Wang , Pengbo Nie , Xinyuan Miao , Yuting Chen , Chengcheng Wan , Lei Bu , Jianjun Zhao : GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. ISSTA 2023 : 904-916 share record
persistent URL:
Qinglong Wang , Runzhe Wang , Yuxi Hu , Xiaohai Shi , Zheng Liu , Tao Ma , Houbing Song , Heyuan Shi : KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. ISSTA 2023 : 1487-1490 share record
persistent URL:
Tianxiao Wang , Chen Zhi , Xiaoqun Zhou , Jinjie Wu , Jianwei Yin , Shuiguang Deng : Data Constraint Mining for Automatic Reconciliation Scripts Generation. ISSTA 2023 : 1119-1130 share record
persistent URL:
Yi Wu , Nan Jiang , Hung Viet Pham , Thibaud Lutellier , Jordan Davis , Lin Tan , Petr Babkin , Sameena Shah : How Effective Are Neural Networks for Fixing Security Vulnerabilities. ISSTA 2023 : 1282-1294 share record
persistent URL:
Shuohan Wu , Jianfeng Li , Hao Zhou , Yongsheng Fang , Kaifa Zhao , Haoyu Wang , Chenxiong Qian , Xiapu Luo : CydiOS: A Model-Based Testing Framework for iOS Apps. ISSTA 2023 : 1-13 share record
persistent URL:
Yisong Xiao , Aishan Liu , Tianlin Li , Xianglong Liu : Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. ISSTA 2023 : 829-841 share record
persistent URL:
Zifan Xie , Ming Wen , Haoxiang Jia , Xiaochen Guo , Xiaotong Huang , Deqing Zou , Hai Jin : Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. ISSTA 2023 : 347-359 export record
dblp key:
conf/issta/XiongX0SWWP0023 share record
persistent URL:
Yiheng Xiong , Mengqian Xu , Ting Su , Jingling Sun , Jue Wang , He Wen , Geguang Pu , Jifeng He , Zhendong Su : An Empirical Study of Functional Bugs in Android Apps. ISSTA 2023 : 1319-1331 share record
persistent URL:
Xiangzhe Xu , Shiwei Feng , Yapeng Ye , Guangyu Shen , Zian Su , Siyuan Cheng , Guanhong Tao , Qingkai Shi , Zhuo Zhang , Xiangyu Zhang : Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. ISSTA 2023 : 1106-1118 share record
persistent URL:
Sihan Xu , Ya Gao , Lingling Fan , Linyu Li , Xiangrui Cai , Zheli Liu : LiResolver: License Incompatibility Resolution for Open Source Software. ISSTA 2023 : 652-663 share record
persistent URL:
Zhiyi Xue , Si Liu , Zhaodi Zhang , Yiting Wu , Min Zhang : A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. ISSTA 2023 : 1182-1194 share record
persistent URL:
Chen Yang , Junjie Chen , Xingyu Fan , Jiajun Jiang , Jun Sun : Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA 2023 : 677-689 share record
persistent URL:
Shuo Yang , Jiachi Chen , Zibin Zheng : Definition and Detection of Defects in NFT Smart Contracts. ISSTA 2023 : 373-384 share record
persistent URL:
Songtao Yang , Yubo He , Kaixiang Chen , Zheyu Ma , Xiapu Luo , Yong Xie , Jianjun Chen , Chao Zhang : 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. ISSTA 2023 : 867-879