Software Engineering Empirical Research Radar
ISSTA 2023 Papers
ISSTA 2023 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| 1dFuzz: Reproduce 1-Day Vulnerabilities with Directed Differential Fuzzing. Songtao Yang, Yubo He, Kaixiang Chen, Zheyu Ma, Xiapu Luo | ISSTA | 2023 | Testing / QA |
| A Bayesian Framework for Automated Debugging. Sungmin Kang, Wonkeun Choi, Shin Yoo | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| A Comprehensive Study on Quality Assurance Tools for Java. Han Liu 0012, Sen Chen 0001, Ruitao Feng, Chengwei Liu, Kaixuan Li 0002 | ISSTA | 2023 | Human / Empirical / Socio-technical |
| A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation. Zhiyi Xue, Si Liu 0003, Zhaodi Zhang, Yiting Wu, Min Zhang 0002 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| ACETest: Automated Constraint Extraction for Testing Deep Learning Operators. Jingyi Shi, Yang Xiao 0011, Yuekang Li, Yeting Li, Dongsong Yu | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| AGORA: Automated Generation of Test Oracles for REST APIs. Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés | ISSTA | 2023 | Testing / QA |
| API2Vec: Learning Representations of API Sequences for Malware Detection. Lei Cui 0003, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Alligator in Vest: A Practical Failure-Diagnosis Framework via Arm Hardware Features. Yiming Zhang 0030, Yuxin Hu, Haonan Li 0009, Wenxuan Shi, Zhenyu Ning | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| An Empirical Study of Functional Bugs in Android Apps. Yiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang | ISSTA | 2023 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. Chao Li 0078, Rui Chen 0042, Boxiang Wang, Zhixuan Wang, Tingting Yu | ISSTA | 2023 | Human / Empirical / Socio-technical |
| An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors. Kunlun Ren, Weizhong Qiang, Yueming Wu 0001, Yi Zhou, Deqing Zou | ISSTA | 2023 | AI / LLM for SE; Human / Empirical / Socio-technical |
| Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper). Pablo Valle, Aitor Arrieta, Maite Arratibel | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair |
| Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. Yu Pan, Zhichao Xu 0001, Levi Taiji Li, Yunhe Yang, Mu Zhang 0001 | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Automated Program Repair from Fuzzing Perspective. Youngjae Kim, Seungheon Han, Askar Yeltayuly Khamit, Jooyong Yi | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Automatic Testing and Benchmarking for Configurable Static Analysis Tools. Austin Mordahl | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| Automatically Reproducing Android Bug Reports using Natural Language Processing and Reinforcement Learning. Zhaoxu Zhang, Robert Winn, Yu Zhao 0010, Tingting Yu 0001, William G. J. Halfond | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Back Deduction Based Testing for Word Sense Disambiguation Ability of Machine Translation Systems. Jun Wang 0151, Yanhui Li, Xiang Huang, Lin Chen 0015, Xiaofang Zhang | ISSTA | 2023 | Testing / QA |
| BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. Mingfei Cheng, Yuan Zhou 0005, Xiaofei Xie | ISSTA | 2023 | Testing / QA |
| Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. Roland Kuhn 0002, Alan Darmasaputra | ISSTA | 2023 | Other |
| Beware of the Unexpected: Bimodal Taint Analysis. Yiu Wai Chow, Max Schäfer, Michael Pradel | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang 0011, Yufan Chen | ISSTA | 2023 | Security / Privacy / Vulnerability; Human / Empirical / Socio-technical |
| Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. Xudong Zhang 0007, Yan Cai 0001 | ISSTA | 2023 | Testing / QA |
| CGuard: Scalable and Precise Object Bounds Protection for C. Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal, Rishabh | ISSTA | 2023 | Other |
| CILIATE: Towards Fairer Class-Based Incremental Learning by Dataset and Training Refinement. Xuanqi Gao, Juan Zhai, Shiqing Ma, Chao Shen 0001, Yufei Chen 0001 | ISSTA | 2023 | Other |
| CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. Yihong Dong, Ge Li 0001, Zhi Jin 0001 | ISSTA | 2023 | Other |
| COME: Commit Message Generation with Modification Embedding. Yichen He, Liran Wang, Kaiyi Wang, Yupeng Zhang, Hang Zhang | ISSTA | 2023 | AI / LLM for SE; DevOps / CI / Build / Release |
| CONCORD: Clone-Aware Contrastive Learning for Source Code. Yangruibo Ding, Saikat Chakraborty 0001, Luca Buratti, Saurabh Pujar, Alessandro Morari | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen 0011, Xuandong Li | ISSTA | 2023 | Other |
| CodeGrid: A Grid Representation of Code. Abdoul Kader Kaboré, Earl T. Barr, Jacques Klein, Tegawendé F. Bissyandé | ISSTA | 2023 | Other |
| Concept-Based Automated Grading of CS-1 Programming Assignments. Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury | ISSTA | 2023 | Other |
| ConfFix: Repairing Configuration Compatibility Issues in Android Apps. Huaxun Huang, Chi Xu, Ming Wen 0001, Yepang Liu 0001, Shing-Chi Cheung | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release; Mobile / Web / GUI / Android |
| CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. Quan Zhang 0003, Yongqiang Tian 0001, Yifeng Ding, Shanshan Li 0001, Chengnian Sun | ISSTA | 2023 | AI / LLM for SE |
| CydiOS: A Model-Based Testing Framework for iOS Apps. Shuohan Wu, Jianfeng Li 0006, Hao Zhou 0043, Yongsheng Fang, Kaifa Zhao | ISSTA | 2023 | Testing / QA; Mobile / Web / GUI / Android |
| DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. Yuhao Zhou, Wei Song 0003 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. Yuhao Zhou, Wei Song 0003 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Data Constraint Mining for Automatic Reconciliation Scripts Generation. Tianxiao Wang, Chen Zhi, Xiaoqun Zhou, Jinjie Wu, Jianwei Yin | ISSTA | 2023 | Other |
| DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. Queping Kong, Jiachi Chen, Yanlin Wang 0001, Zigui Jiang, Zibin Zheng | ISSTA | 2023 | Other |
| DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. Zhuo Chen 0023, Jie Liu, Yubo Hu, Lei Wu 0012, Yajin Zhou | ISSTA | 2023 | Mobile / Web / GUI / Android |
| DeepAtash: Focused Test Generation for Deep Learning Systems. Tahereh Zohdinasab, Vincenzo Riccio, Paolo Tonella | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Definition and Detection of Defects in NFT Smart Contracts. Shuo Yang 0012, Jiachi Chen, Zibin Zheng | ISSTA | 2023 | Other |
| Dependency-Aware Metamorphic Testing of Datalog Engines. Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Testing / QA |
| Detecting Condition-Related Bugs with Control Flow Graph Neural Network. Jian Zhang 0087, Xu Wang 0007, Hongyu Zhang 0002, Hailong Sun 0001, Xudong Liu 0001 | ISSTA | 2023 | AI / LLM for SE |
| Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing. Mingxi Ye, Yuhong Nan, Zibin Zheng, Dongpeng Wu, Huizhong Li | ISSTA | 2023 | Testing / QA |
| Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu 0005 | ISSTA | 2023 | Other |
| DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. Simin Chen, Shiyi Wei, Cong Liu 0005, Wei Yang 0013 | ISSTA | 2023 | AI / LLM for SE; Performance / Energy / Reliability |
| ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. Austin Mordahl, Dakota Soles, Miao Miao 0001, Zenong Zhang, Shiyi Wei | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods; DevOps / CI / Build / Release |
| EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. Konstantinos Sagonas, Thanasis Typaldos | ISSTA | 2023 | Other |
| Enhancing REST API Testing with NLP Techniques. Myeongsoo Kim, Davide Corradini, Saurabh Sinha 0003, Alessandro Orso, Michele Pasqua | ISSTA | 2023 | Testing / QA |
| Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu 0003, Shengjian Guo | ISSTA | 2023 | Other |
| EvoSpex: A Search-Based Tool for Postcondition Inference. Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias | ISSTA | 2023 | Other |
| Exploring Missed Optimizations in WebAssembly Optimizers. Zhibo Liu, Dongwei Xiao, Zongjie Li, Shuai Wang 0011, Wei Meng 0001 | ISSTA | 2023 | Other |
| Extracting Inline Tests from Unit Tests. Yu Liu 0079, Pengyu Nie 0001, Anna Guo, Milos Gligoric 0001, Owolabi Legunsen | ISSTA | 2023 | Testing / QA |
| FairRec: Fairness Testing for Deep Recommender Systems. Huizhong Guo 0001, Jinfeng Li, Jingyi Wang 0004, Xiangyu Liu, Dongxia Wang 0002 | ISSTA | 2023 | Testing / QA |
| Fairness Testing for Recommender Systems. Huizhong Guo 0001 | ISSTA | 2023 | Testing / QA |
| Finding Short Slow Inputs Faster with Grammar-Based Search. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Other |
| Fine-Grained Code Clone Detection with Block-Based Splitting of Abstract Syntax Tree. Tiancheng Hu, Zijing Xu, Yilin Fang, Yueming Wu 0001, Bin Yuan | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Fuzzing Deep Learning Compilers with HirGen. Haoyang Ma, Qingchao Shen, Yongqiang Tian 0001, Junjie Chen 0003, Shing-Chi Cheung | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Fuzzing Embedded Systems using Debug Interfaces. Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| GDsmith: Detecting Bugs in Cypher Graph Database Engines. Ziyue Hua, Wei Lin 0016, Luyao Ren, Zongyang Li, Lu Zhang 0023 | ISSTA | 2023 | Other |
| GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn 0001, Tyler Sorensen 0001 | ISSTA | 2023 | Testing / QA |
| GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing. Zihan Wang, Pengbo Nie, Xinyuan Miao, Yuting Chen 0001, Chengcheng Wan 0001 | ISSTA | 2023 | Testing / QA |
| GrayC: Greybox Fuzzing of Compilers and Analysers for C. Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar | ISSTA | 2023 | Testing / QA |
| Green Fuzzer Benchmarking. Jiradet Ounjai, Valentin Wüstholz, Maria Christakis | ISSTA | 2023 | Other |
| Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction. Stephan Lipp, Daniel Elsner, Severin Kacianka, Alexander Pretschner, Marcel Böhme | ISSTA | 2023 | Testing / QA |
| Guided Retraining to Enhance the Detection of Difficult Android Malware. Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein | ISSTA | 2023 | Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| Guiding Greybox Fuzzing with Mutation Testing. Vasudev Vikram, Isabella Laybourn, Ao Li 0009, Nicole Nair, Kelton OBrien | ISSTA | 2023 | Testing / QA |
| 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 | ISSTA | 2023 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| How Effective Are Neural Networks for Fixing Security Vulnerabilities. Yi Wu 0023, Nan Jiang 0012, Hung Viet Pham, Thibaud Lutellier, Jordan Davis | ISSTA | 2023 | AI / LLM for SE; Security / Privacy / Vulnerability |
| Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis. Jiangchao Liu, Jierui Liu, Peng Di, Diyu Wu, Hengjie Zheng | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. Michael Chesser, Surya Nepal, Damith C. Ranasinghe | ISSTA | 2023 | Testing / QA |
| Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. Xiangzhe Xu, Shiwei Feng 0002, Yapeng Ye, Guangyu Shen, Zian Su | ISSTA | 2023 | AI / LLM for SE |
| Improving Bit-Blasting for Nonlinear Integer Constraints. Fuqi Jia, Rui Han, Pei Huang 0002, Minghao Liu 0001, Feifei Ma | ISSTA | 2023 | Other |
| Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. Dylan Callaghan, Bernd Fischer 0002 | ISSTA | 2023 | Testing / QA |
| In Defense of Simple Techniques for Neural Network Test Case Selection. Shenglin Bao, Chaofeng Sha, Bihuan Chen 0001, Xin Peng 0001, Wenyun Zhao | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Interpreters for GNN-Based Vulnerability Detection: Are We There Yet? Yutao Hu, Suyuan Wang, Wenke Li, Junru Peng, Yueming Wu 0001 | ISSTA | 2023 | Other |
| ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. Chaofan Shou, Shangyin Tan, Koushik Sen | ISSTA | 2023 | Security / Privacy / Vulnerability |
| June: A Type Testability Transformation for Improved ATG Performance. Dan Bruce, David A. Kelly, Héctor D. Menéndez 0001, Earl T. Barr, David Clark 0001 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability |
| KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization. Qinglong Wang 0003, Runzhe Wang, Yuxi Hu, Xiaohai Shi, Zheng Liu | ISSTA | 2023 | Testing / QA; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability |
| Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang 0001 | ISSTA | 2023 | Testing / QA |
| Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testing. Yisong Xiao, Aishan Liu, Tianlin Li, Xianglong Liu 0001 | ISSTA | 2023 | Testing / QA |
| LiResolver: License Incompatibility Resolution for Open Source Software. Sihan Xu, Ya Gao, Lingling Fan 0003, Linyu Li 0002, Xiangrui Cai | ISSTA | 2023 | Human / Empirical / Socio-technical |
| Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. Shiwen Yu, Ting Wang 0009, Ji Wang 0001 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado 0001, José Fragoso Santos | ISSTA | 2023 | Testing / QA |
| ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems. Mingyi Zhou, Xiang Gao 0012, Jing Wu 0021, John C. Grundy, Xiao Chen 0002 | ISSTA | 2023 | Other |
| More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. Yu Liu 0079, Jiyang Zhang 0003, Pengyu Nie 0001, Milos Gligoric 0001, Owolabi Legunsen | ISSTA | 2023 | Testing / QA; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| NodeRT: Detecting Races in Node.js Applications Practically. Jingyao Zhou, Lei Xu 0003, Gongzheng Lu, Weifeng Zhang 0001, Xiangyu Zhang 0001 | ISSTA | 2023 | Other |
| OCFI: Make Function Entry Identification Hard Again. Chengbin Pang, Tiantai Zhang, Xuelan Xu, Linzhang Wang, Bing Mao 0001 | ISSTA | 2023 | Other |
| Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. Francisco Ferreira 0001, Sung-Shik Jongmans | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System. Sunzhou Huang, Xiaoyin Wang | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release |
| Pattern-Based Peephole Optimizations with Java JIT Tests. Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric 0001 | ISSTA | 2023 | Testing / QA |
| PhysCov: Physical Test Coverage for Autonomous Vehicles. Carl Hildebrandt, Meriel von Stein, Sebastian G. Elbaum | ISSTA | 2023 | Testing / QA |
| Precise and Efficient Patch Presence Test for Android Applications against Code Obfuscation. Zifan Xie, Ming Wen 0001, Haoxiang Jia, Xiaochen Guo, Xiaotong Huang | ISSTA | 2023 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Quantitative Policy Repair for Access Control on the Cloud. William Eiers, Ganesh Sankaran, Tevfik Bultan | ISSTA | 2023 | Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems |
| Quantitative Robustness Analysis of Neural Networks. Mara Downing | ISSTA | 2023 | AI / LLM for SE |
| Quantitative Symbolic Similarity Analysis. Laboni Sarker | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| ROME: Testing Image Captioning Systems via Recursive Object Melting. Boxi Yu, Zhiqing Zhong, Jiaqi Li, Yixing Yang, Shilin He | ISSTA | 2023 | Testing / QA |
| Rare Path Guided Fuzzing. Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li | ISSTA | 2023 | Testing / QA |
| Reasoning about MLIR Semantics through Effects and Handlers. Pingshi Yu | ISSTA | 2023 | Other |
| Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue | ISSTA | 2023 | Other |
| RefBERT: A Two-Stage Pre-trained Framework for Automatic Rename Refactoring. Hao Liu 0003, Yanlin Wang 0001, Zhao Wei, Yong Xu 0007, Juhong Wang | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework. Sven Peldszus, Noubar Akopian, Thorsten Berger | ISSTA | 2023 | Testing / QA; Program Analysis / Verification / Formal Methods |
| RustSmith: Random Differential Compiler Testing for Rust. Mayank Sharma, Pingshi Yu, Alastair F. Donaldson | ISSTA | 2023 | Testing / QA |
| SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian 0001, Xu Lu 0003 | ISSTA | 2023 | Testing / QA |
| Security Checking of Trigger-Action-Programming Smart Home Integrations. Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Semantic-Based Neural Network Repair. Richard Schumi, Jun Sun 0001 | ISSTA | 2023 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Silent Compiler Bug De-duplication via Three-Dimensional Analysis. Chen Yang, Junjie Chen 0003, Xingyu Fan, Jiajun Jiang, Jun Sun 0001 | ISSTA | 2023 | Other |
| Simulation-Based Validation for Autonomous Driving Systems. Changwen Li, Joseph Sifakis, Qiang Wang 0020, Rongjie Yan, Jian Zhang 0001 | ISSTA | 2023 | Testing / QA |
| SlipCover: Near Zero-Overhead Code Coverage for Python. Juan Altmayer Pizzorno, Emery D. Berger | ISSTA | 2023 | Testing / QA |
| SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. Zeqin Liao, Sicheng Hao 0001, Yuhong Nan, Zibin Zheng | ISSTA | 2023 | Other |
| Splendor: Static Detection of Stored XSS in Modern Web Applications. He Su, Feng Li 0045, Lili Xu, Wenbo Hu, Yujie Sun | ISSTA | 2023 | Mobile / Web / GUI / Android |
| SymRustC: A Hybrid Fuzzer for Rust. Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko | ISSTA | 2023 | Other |
| 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 0003 | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Systematic Testing of the Data-Poisoning Robustness of KNN. Yannan Li 0002, Jingbo Wang 0006, Chao Wang 0001 | ISSTA | 2023 | Testing / QA |
| Systematically Producing Test Orders to Detect Order-Dependent Flaky Tests. Chengpeng Li 0002, Mohammad Mahdi Khosravi, Wing Lam, August Shi | ISSTA | 2023 | Testing / QA; DevOps / CI / Build / Release |
| Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics. Tian Tan 0001, Yue Li 0006 | ISSTA | 2023 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| Testing Automated Driving Systems by Breaking Many Laws Efficiently. Xiaodong Zhang 0036, Wei Zhao, Yang Sun 0008, Jun Sun 0001, Yulong Shen 0001 | ISSTA | 2023 | Testing / QA |
| Testing Graph Database Engines via Query Partitioning. Matteo Kamm, Manuel Rigger, Chengyu Zhang 0001, Zhendong Su 0001 | ISSTA | 2023 | Testing / QA |
| Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper). Yingquan Zhao, Junjie Chen 0003, Ruifeng Fu, Haojie Ye, Zan Wang | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. Daniel Lehmann 0002, Michelle Thalakottur, Frank Tip, Michael Pradel | ISSTA | 2023 | Other |
| Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We? Ling Jiang, Hengchen Yuan, Qiyi Tang 0003, Sen Nie, Shi Wu | ISSTA | 2023 | Other |
| To Kill a Mutant: An Empirical Study of Mutation Testing Kills. Hang Du, Vijay Krishna Palepu, James A. Jones | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| Toward Automated Detecting Unanticipated Price Feed in Smart Contract. Yifan Mo, Jiachi Chen, Yanlin Wang 0001, Zibin Zheng | ISSTA | 2023 | Security / Privacy / Vulnerability |
| Towards Efficient Fine-Tuning of Pre-trained Code Models: An Experimental Study and Beyond. Ensheng Shi, Yanlin Wang 0001, Hongyu Zhang 0002, Lun Du, Shi Han | ISSTA | 2023 | Human / Empirical / Socio-technical |
| Towards More Realistic Evaluation for Neural Test Oracle Generation. Zhongxin Liu 0002, Kui Liu 0001, Xin Xia 0001, Xiaohu Yang 0001 | ISSTA | 2023 | Testing / QA; AI / LLM for SE |
| Transforming Test Suites into Croissants. Yang Chen 0059, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand | ISSTA | 2023 | Testing / QA |
| TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. Ziyad Alsaeed, Michal Young | ISSTA | 2023 | Testing / QA; Performance / Energy / Reliability |
| Type Automata. Ori Roth | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Type Batched Program Reduction. Golnaz Gharachorlu, Nick Sumner | ISSTA | 2023 | Program Analysis / Verification / Formal Methods |
| Understanding Breaking Changes in the Wild. Dhanushka Jayasuriya, Valerio Terragni, Jens Dietrich 0001, Samuel Ou, Kelly Blincoe | ISSTA | 2023 | Maintenance / Evolution / Refactoring / Review |
| Understanding and Tackling Label Errors in Deep Learning-Based Vulnerability Detection (Experience Paper). Xu Nie, Ningke Li, Kailong Wang 0001, Shangguang Wang, Xiapu Luo | ISSTA | 2023 | AI / LLM for SE |
| Validating Multimedia Content Moderation Software via Semantic Fusion. Wenxuan Wang 0001, Jingyuan Huang, Chang Chen, Jiazhen Gu, Jianping Zhang 0002 | ISSTA | 2023 | Other |
| Vectorizing Program Ingredients for Better JVM Testing. Tianchang Gao, Junjie Chen 0003, Yingquan Zhao, Yuqun Zhang, Lingming Zhang 0001 | ISSTA | 2023 | Testing / QA |
| 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, Foyzul Hassan | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| 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 0038, Cuiyun Gao 0001 | ISSTA | 2023 | Mobile / Web / GUI / Android |
| Who Judges the Judge: An Empirical Study on Online Judge Tests. Kaibo Liu, Yudong Han 0001, Jie M. Zhang, Zhenpeng Chen, Federica Sarro | ISSTA | 2023 | Testing / QA; Human / Empirical / Socio-technical |
| iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu | ISSTA | 2023 | Security / Privacy / Vulnerability |
| ωTest: WebView-Oriented Testing for Android Applications. Jiajun Hu, Lili Wei 0001, Yepang Liu 0001, Shing-Chi Cheung | ISSTA | 2023 | Testing / QA; Mobile / Web / GUI / Android |