- Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853 - Yannan Li, Jingbo Wang, Chao Wang:
Systematic Testing of the Data-Poisoning Robustness of KNN. ISSTA 2023: 1207-1218 - Linlin Li, Ruifeng Wang, Xian Zhan, Ying Wang, Cuiyun Gao, Sinan Wang, Yepang Liu:
What You See Is What You Get? It Is Not the Case! Detecting Misleading Icons for Mobile Applications. ISSTA 2023: 538-550 - Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng:
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. ISSTA 2023: 980-991 - 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: 127-139 - Zhongxin Liu, Kui Liu, Xin Xia, Xiaohu Yang:
Towards More Realistic Evaluation for Neural Test Oracle Generation. ISSTA 2023: 589-600 - Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. ISSTA 2023: 664-676 - Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen:
Extracting Inline Tests from Unit Tests. ISSTA 2023: 1458-1470 - Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen:
A Comprehensive Study on Quality Assurance Tools for Java. ISSTA 2023: 285-297 - 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: 334-346 - 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: 114-126 - 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: 740-752 - Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang, Wei Meng:
Exploring Missed Optimizations in WebAssembly Optimizers. ISSTA 2023: 436-448 - Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung:
Fuzzing Deep Learning Compilers with HirGen. ISSTA 2023: 248-260 - Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis:
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA 2023: 236-247 - Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng:
Toward Automated Detecting Unanticipated Price Feed in Smart Contract. ISSTA 2023: 1257-1268 - Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias:
EvoSpex: A Search-Based Tool for Postcondition Inference. ISSTA 2023: 1519-1522 - Austin Mordahl:
Automatic Testing and Benchmarking for Configurable Static Analysis Tools. ISSTA 2023: 1532-1536 - Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei:
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. ISSTA 2023: 1479-1482 - Xu Nie, Ningke Li, Kailong Wang, Shangguang Wang, Xiapu Luo, Haoyu Wang:
Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). ISSTA 2023: 52-63 - Jiradet Ounjai, Valentin Wüstholz, Maria Christakis:
Green Fuzzer Benchmarking. ISSTA 2023: 1396-1406 - Yu Pan, Zhichao Xu, Levi Taiji Li, Yunhe Yang, Mu Zhang:
Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. ISSTA 2023: 1244-1256 - Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao:
OCFI: Make Function Entry Identification Hard Again. ISSTA 2023: 804-815 - Sven Peldszus, Noubar Akopian, Thorsten Berger:
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. ISSTA 2023: 1503-1506 - Juan Altmayer Pizzorno, Emery D. Berger:
SlipCover: Near Zero-Overhead Code Coverage for Python. ISSTA 2023: 1195-1206 - Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos:
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA 2023: 1499-1502 - 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: 1420-1432 - Ori Roth:
Type Automata. ISSTA 2023: 1537-1540 - 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: 1269-1281 - Konstantinos Sagonas, Thanasis Typaldos:
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. ISSTA 2023: 1495-1498