ISSTA

Publications

2023

Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme, Sebastian Banescu
Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. ISSTA (2023)
Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen, Yufei Chen, Shiwei Wang
CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. ISSTA (2023)
Yuhao Zhou, Wei Song
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. ISSTA (2023)
Tianchang Gao, Junjie Chen, Yingquan Zhao, Yuqun Zhang, Lingming Zhang
Vectorizing Program Ingredients for Better JVM Testing. ISSTA (2023)
Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao
OCFI: Make Function Entry Identification Hard Again. ISSTA (2023)
Pablo Valle, Aitor Arrieta, Maite Arratibel
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). ISSTA (2023)
Xudong Zhang, Yan Cai
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. ISSTA (2023)
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. ISSTA (2023)
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)
Kunlun Ren, Weizhong Qiang, Yueming Wu, Yi Zhou, Deqing Zou, Hai Jin
An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. ISSTA (2023)
Dan Bruce, David Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark
June: A Type Testability Transformation for Improved ATG Performance. ISSTA (2023)
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)
Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji
RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. ISSTA (2023)
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)
Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA (2023)
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)
Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng, Alex X. Liu, Jingling Xue
Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. ISSTA (2023)
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA (2023)
Kaibo Liu, Yudong Han, Jie M. Zhang, Zhenpeng Chen, Federica Sarro, Mark Harman, Gang Huang, Yun Ma
Who Judges the Judge: An Empirical Study on Online Judge Tests. ISSTA (2023)
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. ISSTA (2023)
Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric
Pattern-Based Peephole Optimizations with Java JIT Tests. ISSTA (2023)
Dylan Callaghan, Bernd Fischer
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ISSTA (2023)
Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. ISSTA (2023)
Huizhong Guo, Jinfeng Li, Jingyi Wang, Xiangyu Liu, Dongxia Wang, Zehong Hu, Rong Zhang, Hui Xue
FairRec: Fairness Testing for Deep Recommender Systems. ISSTA (2023)
Mingfei Cheng, Yuan Zhou, Xiaofei Xie
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. ISSTA (2023)
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. ISSTA (2023)
Mingyi Zhou, Xiang Gao, Jing Wu, John C. Grundy, Xiao Chen, Chunyang Chen, Li Li
ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. ISSTA (2023)
Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, Wenyun Zhao
In Defense of Simple Techniques for Neural Network Test Case Selection. ISSTA (2023)
Shiwen Yu, Ting Wang, Ji Wang
Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. ISSTA (2023)
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)
Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko
SymRustC: A Hybrid Fuzzer for Rust. ISSTA (2023)
Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu
iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. ISSTA (2023)
Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA (2023)
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA (2023)
Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA (2023)
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)
Dhia Elhaq Rzig, Nafees Iqbal, Isabella Attisano, Xue Qin, Foyzul Hassan
Virtual Reality (VR) Automated Testing in the Wild: A Case Study on Unity-Based VR Applications. ISSTA (2023)
Chengpeng Li, M. Mahdi Khosravi, Wing Lam, August Shi
Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests. ISSTA (2023)
Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin, Shuiguang Deng
Data Constraint Mining for Automatic Reconciliation Scripts Generation. ISSTA (2023)
Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He, Pinjia He
ROME: Testing Image Captioning Systems via Recursive Object Melting. ISSTA (2023)
Juan Altmayer Pizzorno, Emery D. Berger
SlipCover: Near Zero-Overhead Code Coverage for Python. ISSTA (2023)
Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. ISSTA (2023)
Hang Du, Vijay Krishna Palepu, James A. Jones
To Kill a Mutant: An Empirical Study of Mutation Testing Kills. ISSTA (2023)
Yiming Zhang, Yuxin Hu, Haonan Li, Wenxuan Shi, Zhenyu Ning, Xiapu Luo, Fengwei Zhang
Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. ISSTA (2023)
Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu, Bin Yuan, Deqing Zou, Hai Jin
Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree. ISSTA (2023)
Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA (2023)
Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA (2023)
Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella
DeepAtash: Focused Test Generation for Deep Learning Systems. ISSTA (2023)
William Eiers, Ganesh Sankaran, Tevfik Bultan
Quantitative Policy Repair for Access Control on the Cloud. ISSTA (2023)
Yannan Li, Jingbo Wang, Chao Wang
Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA (2023)