ISSTA 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (830)

A Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Research Papers-track
Nader Al AwarAl Awar, Nader The University of Texas at Austin Dynamically Fusing Python HPC Kernels
Shaukat AliAli, Shaukat Simula Research Laboratory and Oslo Metropolitan UniversityNorway Committee Member in Program Committee within the ISSTA Research Papers-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Luana Almeida MartinsAlmeida Martins, Luana University of Salerno Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
James Almgren-BellAlmgren-Bell, James The University of Texas at Austin Dynamically Fusing Python HPC Kernels
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Committee Member in Program Committee within the ISSTA Research Papers-track
Luca ArditoArdito, Luca Politecnico di TorinoItaly Gamifying Testing in IntelliJ: A Replicability Study
Mohammad Rifat ArefinArefin, Mohammad Rifat University of Texas at ArlingtonUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Aitor ArrietaArrieta, Aitor Mondragon UniversitySpain ASTRAL: A Tool for the Automated Safety Testing of Large Language Models Committee Member in Program Committee within the ISSTA Research Papers-track
Wendkuuni Arzouma Marc Christian OUEDRAOGOArzouma Marc Christian OUEDRAOGO, Wendkuuni University of Luxembourg AudioTest: Prioritizing Audio Test Cases
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Committee Member in Program Committee within the ISSTA Research Papers-track
B Hamid BagheriBagheri, Hamid University of Nebraska-LincolnUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning Frameworks Committee Member in Program Committee within the ISSTA Research Papers-track
Deepan Karthik BalasubramanianBalasubramanian, Deepan Karthik Amazon Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Jonathan BellBell, Jonathan Northeastern UniversityUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Benyamin BeyzaeiBeyzaei, Benyamin UC Irvine Automated Test Transfer Across Android Apps Using Large Language Models
Arunkumar BhattarBhattar, Arunkumar Purdue University Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
George BirosBiros, George The University of Texas at Austin Dynamically Fusing Python HPC Kernels
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of LuxembourgLuxembourg AudioTest: Prioritizing Audio Test Cases Committee Member in Program Committee within the ISSTA Research Papers-track
Xavier BlancBlanc, Xavier Université de BordeauxFrance Are Autonomous Web Agents good testers?
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Program Feature-based Benchmarking for Fuzz Testing
Yannis BollanosBollanos, Yannis Dedaub The Incredible Shrinking Context... in a decompiler near you
Islem BOUZENIABOUZENIA, Islem University of Stuttgart You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects
Marcel BöhmeBöhme, Marcel MPI for Security and PrivacyGermany Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection
C Haipeng CaiCai, Haipeng University at Buffalo, SUNYUnited States VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models Committee Member in Program Committee within the ISSTA Research Papers-track
Lijun CaiCai, Lijun Institute of Information Engineering，Chinese Academy of Sciences Pepper: Preference-Aware Active Trapping for Ransomware
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Jie CaoCao, Jie China A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Rongyu CaoCao, Rongyu Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Shaoheng CaoCao, Shaoheng Nanjing University Intention-based GUI Test Migration for Mobile Apps using Large Language Models
Weining CaoCao, Weining Nanjing University, China Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Yiheng CaoCao, Yiheng Fudan University Recurring Vulnerability Detection: How Far Are We?
Yongchang CaoCao, Yongchang Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Yushi CaoCao, Yushi Nanyang Technological University Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Zhixiang CaoCao, Zhixiang Xi'an Jiaotong UniversityChina Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate CenterUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Mariano CeccatoCeccato, Mariano University of VeronaItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Sang Kil ChaCha, Sang Kil KAISTSouth Korea Committee Member in Program Committee within the ISSTA Research Papers-track
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Rui ChangChang, Rui Zhejiang University Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
Jiarui CheChe, Jiarui College of Computer Science, Nankai University Uncovering API-Scope Misalignment in the App-in-App Ecosystem
An Ran ChenChen, An Ran University of AlbertaCanada Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina Recurring Vulnerability Detection: How Far Are We? Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing Committee Member in Program Committee within the ISSTA Research Papers-track
Guanjie ChenChen, Guanjie Shanghai Jiao Tong University GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Hongqiao ChenChen, Hongqiao School of Informatics, Xiamen University QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support
Jiachi ChenChen, Jiachi Sun Yat-sen UniversityChina Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation Committee Member in Program Committee within the ISSTA Research Papers-track
Jialuo ChenChen, Jialuo Zhejiang University S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Jianhai ChenChen, Jianhai Zhejiang UniversityChina FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Jingyuan ChenChen, Jingyuan Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Jue ChenChen, Jue Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Junjie ChenChen, Junjie Tianjin UniversityChina No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups Committee Member in Program Committee within the ISSTA Research Papers-track
Junkai ChenChen, Junkai Zhejiang UniversityChina Understanding Practitioners’ Expectations on Clear Code Review Comments
Kai ChenChen, Kai Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-based RAG
Kaichen ChenChen, Kaichen A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Kun ChenChen, Kun National University of Defense Technology Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Liqian ChenChen, Liqian National University of Defense TechnologyChina Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Qicai ChenChen, Qicai Fudan University, China Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Rui ChenChen, Rui Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Sen ChenChen, Sen Nankai UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Songqiang ChenChen, Songqiang The Hong Kong University of Science and TechnologyChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Tao ChenChen, Tao University of BirminghamUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Taolue ChenChen, Taolue Birkbeck, University of LondonUnited Kingdom Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Tianqi ChenChen, Tianqi Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Tieming ChenChen, Tieming Zhejiang University of Technology Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Wei ChenChen, Wei Institute of Software at Chinese Academy of SciencesChina Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Xiang ChenChen, Xiang Nantong UniversityChina Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yanwei ChenChen, Yanwei Nanjing University DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Yongle ChenChen, Yongle Taiyuan University of Technology, China ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
Yuchen ChenChen, Yuchen Nanjing University DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Yuefeng ChenChen, Yuefeng Alibaba Group S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Yuqi ChenChen, Yuqi ShanghaiTech UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing Committee Member in Program Committee within the ISSTA Research Papers-track
Zhuangbin ChenChen, Zhuangbin Sun Yat-sen UniversityChina Tracezip: Efficient Distributed Tracing via Trace Compression
Jiaxing ChengCheng, Jiaxing Beijing Key Laboratory of IoT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
Mingfei ChengCheng, Mingfei Singapore Management UniversitySingapore MoDitector: Module-Directed Testing for Autonomous Driving Systems Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Renhong ChengCheng, Renhong College of Computer Science, Nankai University Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Shiqi ChengCheng, Shiqi Institute of Software, Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Xiao ChengCheng, Xiao UNSWAustralia Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sourag CherupattamoolayilCherupattamoolayil, Sourag Purdue University Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Antoine chevrotchevrot, Antoine Are Autonomous Web Agents good testers?
Jianlei ChiChi, Jianlei REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Chun Yong ChongChong, Chun Yong Huawei Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks
Tobias CloostersCloosters, Tobias University of Duisburg-Essen Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Myra CohenCohen, Myra Iowa State UniversityUnited States Program Co-Chair in Organizing Committee for ISSTA 2025 Program Co-Chair in Program Committee within the ISSTA Research Papers-track
Emilio CoppaCoppa, Emilio LUISS UniversityItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Aymeric CretinCretin, Aymeric Smartesting Are Autonomous Web Agents good testers?
Di CuiCui, Di Xidian UniversityChina REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Yuxin CuiCui, Yuxin Institute for Network Sciences and Cyberspace, Tsinghua University BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Ziyu CuiCui, Ziyu Institute of Software at Chinese Academy of SciencesChina Detecting Isolation Anomalies in Relational DBMSs
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques Committee Member in Program Committee within the ISSTA Research Papers-track
Marc DacierDacier, Marc ReGraph: A Tool for Binary Similarity Identification
Xueqi DangDang, Xueqi University of Luxembourg, SnT AudioTest: Prioritizing Audio Test Cases PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Lucas DaviDavi, Lucas University of Duisburg-Essen Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Istvan DavidDavid, Istvan McMaster University / McMaster Centre for Software Certification (McSCert)Canada Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
James C. DavisDavis, James C. Purdue UniversityUnited States Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) Committee Member in Program Committee within the ISSTA Research Papers-track
Alix DecropDecrop, Alix University of NamurBelgium Web Chair in Organizing Committee for ISSTA 2025
Renzo DegiovanniDegiovanni, Renzo Luxembourg Institute of Science and TechnologyLuxembourg Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Thomas DegueuleDegueule, Thomas CNRSFrance What Happened in This Pipeline? Diffing Build Logs With CiDiff
Jiapeng DengDeng, Jiapeng Huazhong University of Science and Technology Walls Have Ears: Demystifying Notification Listener Usage in Android Apps
Xavier DevroeyDevroey, Xavier University of NamurBelgium Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2025 Artifact Evaluation Co-Chair in Artifacts Committee within the ISSTA Artifact Evaluation-track
Peng DiDi, Peng Ant GroupChina Committee Member in Organizing Committee within the EXPRESS-track
wenqiang dingding, wenqiang Nanjing Institute of Software, Nanjing, China Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Zuohua DingDing, Zuohua A Cloud Native Tool for Testing Automation in Kubernetes
Julian DolbyDolby, Julian IBM ResearchUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Jin Song DongDong, Jin Song National University of SingaporeSingapore GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs ConTested: Consistency-Aided Tested Code Generation with LLM Committee Member in Program Committee within the ISSTA Research Papers-track
Jinhao DongDong, Jinhao Peking UniversityChina ConTested: Consistency-Aided Tested Code Generation with LLM
Naipeng DongDong, Naipeng The University of Queensland, Australia Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Wei DongDong, Wei National University of Defense TechnologyChina Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Yiwen DongDong, Yiwen University of WaterlooCanada Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Zhen DongDong, Zhen Fudan UniversityChina RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Wensheng DouDou, Wensheng Institute of Software Chinese Academy of SciencesChina Detecting Isolation Anomalies in Relational DBMSs Model Checking Guided Incremental Testing for Distributed Systems Committee Member in Program Committee within the ISSTA Research Papers-track
Oussama DraissiDraissi, Oussama University of Duisburg-Essen Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Jianfeng DuDu, Jianfeng Guangdong University of Foreign StudiesChina NADA: Neural Acceptance-driven Approximate Specification Mining
Junwei DuDu, Junwei Qingdao University of Science and Technology Enhanced Prompting Framework for Code Summarization with Large Language Models
Xiaoning DuDu, Xiaoning Monash UniversityAustralia No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups Committee Member in Program Committee within the ISSTA Research Papers-track
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Committee Member in Program Committee within the ISSTA Research Papers-track
Thomas DurieuxDurieux, Thomas TU DelftNetherlands What Happened in This Pipeline? Diffing Build Logs With CiDiff
Arpita DuttaDutta, Arpita National University of SingaporeSingapore Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Saikat DuttaDutta, Saikat Cornell UniversityUnited States BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques Committee Member in Program Committee within the ISSTA Research Papers-track
Salijona DYRMISHIDYRMISHI, Salijona University of Luxembourg Diversity and Inclusion Chair in Organizing Committee for ISSTA 2025 PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
E Martin EberleinEberlein, Martin Humboldt-Universtität zu BerlinGermany PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Beyza EkenEken, Beyza Sakarya UniversityTurkey Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yuval EloviciElovici, Yuval Ben Gurion University of the Negev Robust Vulnerability Detection Across Compilations: LLVM-IR vs. Assembly with Transformer Model
Amr ElsayedElsayed, Amr The University of ArizonaUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the ISSTA Research Papers-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Jean-Rémy FalleriFalleri, Jean-Rémy Bordeaux INPFrance Are Autonomous Web Agents good testers? What Happened in This Pipeline? Diffing Build Logs With CiDiff
Dongyi FanFan, Dongyi A Cloud Native Tool for Testing Automation in Kubernetes
Guangsheng FanFan, Guangsheng National University of Defense TechnologyChina Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Guodong FanFan, Guodong Shandong Agriculture and Engineering UniversityChina Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks
Lingling FanFan, Lingling Nankai UniversityChina Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Chunrong FangFang, Chunrong Nanjing UniversityChina Enhanced Prompting Framework for Code Summarization with Large Language Models DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing Committee Member in Program Committee within the ISSTA Research Papers-track
Cundi FangFang, Cundi National University of Defense Technology DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
Dongliang FangFang, Dongliang Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, ChinaChina ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
fangminying fangminying Qingdao University of Science and Technology Enhanced Prompting Framework for Code Summarization with Large Language Models
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Mikołaj FejzerFejzer, Mikołaj Nicolaus Copernicus University in ToruńPoland PatchScope – A Modular Tool for Annotating and Analyzing Contributions
Sidong FengFeng, Sidong Monash UniversityAustralia Programme Committee in Program Committee within the EXPRESS-track Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Siyuan FengFeng, Siyuan Shanghai Jiao Tong University Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Wenhan FengFeng, Wenhan Institute of Software, Chinese Academy of SciencesChina Model Checking Guided Incremental Testing for Distributed Systems
Yuan FengFeng, Yuan Wuhan Dameng Database Co., Ltd Model Checking Guided Incremental Testing for Distributed Systems
Yuming FengFeng, Yuming Peng Cheng Laboratory Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the ISSTA Research Papers-track
Sophie FortzFortz, Sophie King's College LondonUnited Kingdom Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Gordon FraserFraser, Gordon University of Passau Gamifying Testing in IntelliJ: A Replicability Study Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
Dominik FreyFrey, Dominik Linköping University Automated Scene Generation for Testing COLREGS-Compliance of Autonomous Surface Vehicles
Jingzhou FuFu, Jingzhou School of Software, Tsinghua University Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
Yingjie FuFu, Yingjie Peking UniversityChina The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation
Tommaso FulciniFulcini, Tommaso Politecnico di TorinoItaly Gamifying Testing in IntelliJ: A Replicability Study
G Alessio GambiGambi, Alessio Austrian Institute of Technology (AIT)Austria Committee Member in Program Committee within the ISSTA Research Papers-track
Shuitao GanGan, Shuitao Labortory for Advanced Computing and Intelligence Engineering xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks MLLM-Based UI2Code Automation Guided by UI Layout Information Extended Reality Cybersickness Assessment via User Review Analysis Committee Member in Program Committee within the ISSTA Research Papers-track
Hui GaoGao, Hui Nanjing UniversityChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Lian GaoGao, Lian University of California, Riverside BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
Xiang GaoGao, Xiang Beihang UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Ying GaoGao, Ying School of Cyber Science and Technology, Beihang University; Zhongguancun Laboratory OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Yu GaoGao, Yu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Detecting Isolation Anomalies in Relational DBMSs Model Checking Guided Incremental Testing for Distributed Systems
Zeyu GaoGao, Zeyu Tsinghua UniversityChina BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Zhipeng GaoGao, Zhipeng Shanghai Institute for Advanced Study - Zhejiang UniversityChina Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Giacomo GaraccioneGaraccione, Giacomo Politecnico di Torino Gamifying Testing in IntelliJ: A Replicability Study
Aayush GargGarg, Aayush Luxembourg Institute of Science and TechnologyLuxembourg PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Arthur GervaisGervais, Arthur Imperial College LondonUnited Kingdom Enhancing Smart Contract Security Analysis with Execution Property Graphs
Salah GhamiziGhamizi, Salah SntT - University of Luxembourg PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Ali GhanbariGhanbari, Ali Auburn UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Dynamically Fusing Python HPC Kernels
Connor Everett GlosnerGlosner, Connor Everett Purdue University Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sichen GongGong, Sichen Fudan University, China Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Neville GrechGrech, Neville Dedaub LimitedMalta The Incredible Shrinking Context... in a decompiler near you
Tim GrellerGreller, Tim Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
Bin GuGu, Bin Beijing Institute of Control EngineeringChina STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Siqi GuGu, Siqi Nanjing University A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
Hao GuanGuan, Hao University of Queensland, Southern University of Science and Technology CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning Frameworks
Jihong GuanGuan, Jihong Tongji University LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Yujiang GuiGui, Yujiang UNSWAustralia Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
An GuoGuo, An Nanjing UniversityChina Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Chenkai GuoGuo, Chenkai Nankai University, ChinaChina Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Jiawei GuoGuo, Jiawei University at Buffalo, SUNY VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models
Jiyu GuoGuo, Jiyu Harbin Institute of Technology, Shenzhen Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks
Lianghong GuoGuo, Lianghong Sun Yat-sen UniversityChina OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
Lihua GuoGuo, Lihua Preventing Disruption of System Backup Against Ransomware Attacks
Xiaoyu GuoGuo, Xiaoyu Kyushu University Quantum Concolic Testing
Radu GăceanuGăceanu, Radu Babes-Bolyai University, Cluj-Napoca, Romania Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
H Sarra HabchiHabchi, Sarra UbisoftCanada Workshops Co-Chair in Organizing Committee for ISSTA 2025 Workshops Co-Chair in Workshops Committee within the ISSTA Workshops-track
Sujin HanHan, Sujin KAIST Automated Attack Synthesis for Constant Product Market Makers
Tingchen HanHan, Tingchen Sun Yat-Sen University NADA: Neural Acceptance-driven Approximate Specification Mining
Xingshuo HanHan, Xingshuo Nanyang Technological University, Singapore Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Dan HaoHao, Dan Peking UniversityChina ConTested: Consistency-Aided Tested Code Generation with LLM
Mark HarmanHarman, Mark Meta Platforms, Inc. and UCLUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Christophe HauserHauser, Christophe Dartmouth CollegeUnited States WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery
Dongjie HeHe, Dongjie Chongqing University, ChinaChina Committee Member in Program Committee within the ISSTA Research Papers-track
Lili HeHe, Lili zstuChina A Cloud Native Tool for Testing Automation in Kubernetes
Ningyu HeHe, Ningyu Hong Kong Polytechnic UniversityHong Kong SAR China OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Ningyu HeHe, Ningyu Hong Kong Polytechnic UniversityHong Kong SAR China Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in Program Committee within the ISSTA Research Papers-track
Qinming HeHe, Qinming Zhejiang University FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Shilin HeHe, Shilin Microsoft Research Committee Member in Program Committee within the ISSTA Research Papers-track
Yirui HeHe, Yirui University of California, IrvineUnited States Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Dominik HelmHelm, Dominik University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENEGermany Committee Member in Program Committee within the ISSTA Research Papers-track
Quan HongHong, Quan Institute of Information Engineering, Chinese Academy of Sciences & School of Cyber Security, University of Chinese Academy of SciencesChina DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
Andre HoraHora, Andre UFMGBrazil PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Max HortHort, Max Simula Research LaboratoryNorway PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Yiwei HouHou, Yiwei Tsinghua UniversityChina Preventing Disruption of System Backup Against Ransomware Attacks
Chang HuHu, Chang Macau University of Science and Technology AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
Chao HuHu, Chao Central South UniversityChina PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Kun HuHu, Kun School of Computer Science, Fudan UniversityChina Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Xing HuHu, Xing Zhejiang UniversityChina Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs Understanding Practitioners’ Expectations on Clear Code Review Comments Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets Committee Member in Program Committee within the ISSTA Research Papers-track
Chun HuangHuang, Chun National University of Defense Technology DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
Fei HuangHuang, Fei Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Han HuangHuang, Han South China University of Technology A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Haocheng HuangHuang, Haocheng Soochow University DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Heqing HuangHuang, Heqing City University of Hong Kong KRAKEN: Program-Adaptive Parallel Fuzzing Committee Member in Program Committee within the ISSTA Research Papers-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go
Longtao HuangHuang, Longtao Alibaba Group S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Mingyu HuangHuang, Mingyu University of Electronic Science and Technology of China Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective
Yiheng HuangHuang, Yiheng Fudan University Recurring Vulnerability Detection: How Far Are We?
Yu HuangHuang, Yu Vanderbilt UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yuhan HuangHuang, Yuhan Xidian University REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Zhirong HuangHuang, Zhirong Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Zunchen HuangHuang, Zunchen Centrum Wiskunde & InformaticaNetherlands Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Nicolas HubnerHubner, Nicolas University of Bordeaux, LaBRI, UMR 5800, F-33400, Talence, France What Happened in This Pipeline? Diffing Build Logs With CiDiff
Dmytro HumeniukHumeniuk, Dmytro Polytechnique MontréalCanada Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Soha HusseinHussein, Soha Ain Shams University, EgyptEgypt PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
I Tahiatul IslamIslam, Tahiatul New Jersey Institute of Technology Static Program Reduction via Type-Directed Slicing
J Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Shouling JiJi, Shouling Zhejiang UniversityChina Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Zhenlan JiJi, Zhenlan The Hong Kong University of Science and TechnologyChina Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation
Zhouyang JiaJia, Zhouyang National University of Defense TechnologyChina DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
jiafeng jiafeng Harbin Institute of Technology Extended Reality Cybersickness Assessment via User Review Analysis
Wu JiahuiJiahui, Wu Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
Chaoya JiangJiang, Chaoya Peking University Programme Committee in Program Committee within the EXPRESS-track
Haowen JiangJiang, Haowen Fudan University, China Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
He JiangJiang, He Dalian University of TechnologyChina Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Runhan JiangJiang, Runhan Sun Yat-sen University OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
Yu JiangJiang, Yu Tsinghua UniversityChina Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems Preventing Disruption of System Backup Against Ransomware Attacks Committee Member in Organizing Committee within the EXPRESS-track Committee Member in Program Committee within the ISSTA Research Papers-track
Zhiyuan JiangJiang, Zhiyuan National University of Defense Technology xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Ruikai JinJin, Ruikai Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Martin JohnsJohns, Martin TU Braunschweig Wemby’s Web: Hunting for Memory Corruption in WebAssembly
James JonesJones, James University of California at IrvineUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Dhruva JulooriJuloori, Dhruva Uber Technologies, Inc Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
K Paul KalbitzerKalbitzer, Paul XAVIER: Grammar-Based Testing for XML Injection Attacks
Hong Jin KangKang, Hong Jin University of SydneyAustralia PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Sungmin KangKang, Sungmin KAISTSouth Korea PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Ulf KargénKargén, Ulf Linköping University Automated Scene Generation for Testing COLREGS-Compliance of Autonomous Surface Vehicles
Maria KechagiaKechagia, Maria National and Kapodistrian University of AthensGreece Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2025 Committee Member in Program Committee within the ISSTA Research Papers-track Artifact Evaluation Co-Chair in Artifacts Committee within the ISSTA Artifact Evaluation-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Static Program Reduction via Type-Directed Slicing Committee Member in Program Committee within the ISSTA Research Papers-track
Jacky KeungKeung, Jacky City University of Hong KongHong Kong SAR China ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Tooba KhanKhan, Tooba University of Southern California Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations
Dongsun KimKim, Dongsun Korea UniversitySouth Korea Committee Member in Program Committee within the ISSTA Research Papers-track
Jinhan KimKim, Jinhan Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the ISSTA Research Papers-track
Jinseo KimKim, Jinseo KAIST Automated Attack Synthesis for Constant Product Market Makers
Mijung KimKim, Mijung UNISTSouth Korea PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
David KleinKlein, David TU BraunschweigGermany Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Jacques KleinKlein, Jacques University of LuxembourgLuxembourg AudioTest: Prioritizing Audio Test Cases Committee Member in Program Committee within the ISSTA Research Papers-track
Dezhen KongKong, Dezhen Zhejiang UniversityChina More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph
kevin kongkong, kevin Fudan UniversityChina Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Charalambos KonstantinouKonstantinou, Charalambos ReGraph: A Tool for Binary Similarity Identification
Anil KoyuncuKoyuncu, Anil Bilkent UniversityTurkey Committee Member in Program Committee within the ISSTA Research Papers-track
Rrezarta KrasniqiKrasniqi, Rrezarta University of North Carolina at CharlotteUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Sanjaya Kumar PandaKumar Panda, Sanjaya National Institute of Technology WarangalIndia Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sriteja KummitaKummita, Sriteja Fraunhofer Institute for Mechatronic Systems Design (Fraunhofer IEM) Program Feature-based Benchmarking for Fuzz Testing
L Sifis LagouvardosLagouvardos, Sifis University of AthensGreece The Incredible Shrinking Context... in a decompiler near you
Ruihang LaiLai, Ruihang Carnegie Mellon University Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Yang LanLan, Yang xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Yuanhong LanLan, Yuanhong Nanjing University Intention-based GUI Test Migration for Mobile Apps using Large Language Models
Claire Le GouesLe Goues, Claire Carnegie Mellon University AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Sung-Ju LeeLee, Sung-Ju KAIST Automated Attack Synthesis for Constant Product Market Makers
Sungho LeeLee, Sungho Chungnam National University, KoreaSouth Korea Committee Member in Program Committee within the ISSTA Research Papers-track
Bruno LegeardLegeard, Bruno Université de Bourgogne Franche-Comté and SmartestingFrance Are Autonomous Web Agents good testers?
Sam LenzLenz, Sam New Jersey Institute of Technology Static Program Reduction via Type-Directed Slicing
Binhua LiLi, Binhua Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Bozhou LiLi, Bozhou Peking University The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation
Chao LiLi, Chao Beijing Institute of Control Engineering; Beijing Sunwise Information TechnologyChina STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Cong LiLi, Cong Ant GroupChina Programme Committee in Program Committee within the EXPRESS-track
Ganlin LiLi, Ganlin Nanjing University, China Bridge the Islands: Pointer Analysis for Microservice Systems
haodong lili, haodong Beijing University of Posts and Telecommunications Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection
Haojie LiLi, Haojie Qingdao University of Science and Technology Enhanced Prompting Framework for Code Summarization with Large Language Models
Huan LiLi, Huan Zhejiang University, China Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs
Hui LiLi, Hui Fudan University, China RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Jia LiLi, Jia Peking UniversityChina ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Jiaqi LiLi, Jiaqi Institute of Information Engineering, Chinese Academy of Sciences DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
Jinfeng LiLi, Jinfeng Alibaba GroupChina S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Kaixuan LiLi, Kaixuan East China Normal University; Nanyang Technological UniversityChina Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
Ke LiLi, Ke University of ExeterUnited Kingdom Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective
Li LiLi, Li Beihang UniversityChina Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS Committee Member in Program Committee within the ISSTA Research Papers-track
Linhan LiLi, Linhan COOLer: A Language Support Extension for COOL in VS Code
Linyi LiLi, Linyi Simon Fraser UniversityCanada The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation
Longxing LiLi, Longxing Institute of Information Engineering, Chinese Academy of Sciences, China Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-based RAG
Shanshan LiLi, Shanshan National University of Defense TechnologyChina DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems Committee Member in Program Committee within the ISSTA Research Papers-track
Shaofeng LiLi, Shaofeng Xidian University STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Shuqing LiLi, Shuqing The Chinese University of Hong KongChina MLLM-Based UI2Code Automation Guided by UI Layout Information Extended Reality Cybersickness Assessment via User Review Analysis
Sisheng LiLi, Sisheng Central South University, China PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Weilin LiLi, Weilin University College London Enhancing Smart Contract Security Analysis with Execution Property Graphs
Xiang LiLi, Xiang Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Xiaochen LiLi, Xiaochen Dalian University of TechnologyChina Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Xuandong LiLi, Xuandong Nanjing UniversityChina Intention-based GUI Test Migration for Mobile Apps using Large Language Models
Xuezixiang LiLi, Xuezixiang UC Riverside ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection
Yi LiLi, Yi Nanyang Technological UniversitySingapore Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations
Yinghua LiLi, Yinghua University of LuxembourgLuxembourg AudioTest: Prioritizing Audio Test Cases PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Yitao LiLi, Yitao Dalian University of Technology Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Yiwei LiLi, Yiwei Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Yongbin LiLi, Yongbin Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Yue LiLi, Yue Nanjing UniversityChina Bridge the Islands: Pointer Analysis for Microservice Systems
Yuekang LiLi, Yuekang UNSWAustralia Programme Committee in Program Committee within the EXPRESS-track Committee Member in Program Committee within the ISSTA Research Papers-track
Yuying LiLi, Yuying Qingdao University of Science and Technology Enhanced Prompting Framework for Code Summarization with Large Language Models
Zhenhao LiLi, Zhenhao York UniversityCanada Understanding Practitioners’ Expectations on Clear Code Review Comments
Zhiming LiLi, Zhiming Nanyang Technological University, SingaporeChina Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Jie LiangLiang, Jie Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
Ruigang LiangLiang, Ruigang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-based RAG
Siyuan LiangLiang, Siyuan National University of Singapore Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
Yu LiangLiang, Yu Institute of Software Chinese Academy of Sciences Model Checking Guided Incremental Testing for Distributed Systems
Yufei LiangLiang, Yufei Nanjing University, China Bridge the Islands: Pointer Analysis for Microservice Systems
Lizhi LiaoLiao, Lizhi Memorial University of NewfoundlandCanada Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Qing LiaoLiao, Qing Harbin Institute of TechnologyChina MLLM-Based UI2Code Automation Guided by UI Layout Information
Zeqin LiaoLiao, Zeqin Sun Yat-sen UniversityChina Programme Committee in Program Committee within the EXPRESS-track
Bo LinLin, Bo National University of Defense TechnologyChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Dan LinLin, Dan Sun Yat-sen UniversityChina Programme Committee in Program Committee within the EXPRESS-track
Li LinLin, Li Xiamen UniversityChina QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support
Shang-Wei LINLIN, Shang-Wei Singapore Institute of TechnologySingapore Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Wang LinLin, Wang A Cloud Native Tool for Testing Automation in Kubernetes
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Lingfeng Bao Lingfeng Bao Zhejiang UniversityChina More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Ai LiuLiu, Ai TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
Aishan LiuLiu, Aishan Beihang University; Institute of DataspaceChina Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
Chengjie LiuLiu, Chengjie Peking UniversityChina Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Guiyang LiuLiu, Guiyang Alibaba LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Han LiuLiu, Han The Hong Kong University of Science and TechnologyHong Kong SAR China Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Hongjian LiuLiu, Hongjian Zhejiang University, Hangzhou, China Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
Hui LiuLiu, Hui Beijing Institute of TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Jiakun LiuLiu, Jiakun Singapore Management University More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
Jiawei LiuLiu, Jiawei University of Illinois at Urbana-ChampaignUnited States Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Jinbu LiuLiu, Jinbu Alibaba LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Jing LiuLiu, Jing Max Planck Institute for Security and Privacy Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Jinwei LiuLiu, Jinwei Xidian UniversityChina STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Kui LiuLiu, Kui HuaweiChina Understanding Practitioners’ Expectations on Clear Code Review Comments Committee Member in Program Committee within the ISSTA Research Papers-track
Long LiuLiu, Long Ant GroupChina FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Peiyu LiuLiu, Peiyu Zhejiang University Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Puzhuo LiuLiu, Puzhuo Ant Group; Tsinghua UniversityChina Programme Committee in Program Committee within the EXPRESS-track
Rongkai LiuLiu, Rongkai Central South University PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Ruofan LiuLiu, Ruofan Shanghai Jiao Tong University; National University of Singapore GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Shaoying LiuLiu, Shaoying TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
Shuning LiuLiu, Shuning Central South University, China PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Tianming LiuLiu, Tianming Monash UniverisityAustralia Walls Have Ears: Demystifying Notification Listener Usage in Android Apps
Ting LiuLiu, Ting Xi'an Jiaotong University Committee Member in Program Committee within the ISSTA Research Papers-track
Wenhuan LiuLiu, Wenhuan Tsinghua University/Union Tech Preventing Disruption of System Backup Against Ransomware Attacks
Xianglong LiuLiu, Xianglong Beihang University; Institute of Dataspace; Zhongguancun LaboratoryChina Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
Xiaoxia LiuLiu, Xiaoxia Zhejiang University S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Xilin LiuLiu, Xilin Huawei Cloud OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
Xin LiuLiu, Xin Lanzhou University Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Yan LiuLiu, Yan Ant Group Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Yanan LiuLiu, Yanan SUN YAT-SEN UNIVERSITY NADA: Neural Acceptance-driven Approximate Specification Mining
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool Assessment Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Yang LiuLiu, Yang TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore Committee Member in Program Committee within the ISSTA Research Papers-track
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning Frameworks
Yibo LiuLiu, Yibo Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Yuchen LiuLiu, Yuchen Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Zheli LiuLiu, Zheli Nankai UniversityChina Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Zhibo LiuLiu, Zhibo The Hong Kong University of Science and TechnologyChina DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Zhijie LiuLiu, Zhijie ShanghaiTech University, ChinaChina KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
David LoLo, David Singapore Management UniversitySingapore Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina Committee Member in Program Committee within the ISSTA Research Papers-track
Yiling LouLou, Yiling Fudan UniversityChina Sponsorship Co-Chair in Organizing Committee for ISSTA 2025 Committee Member in Program Committee within the ISSTA Research Papers-track Sponsorship Chair in Sponsorship Committee within the ISSTA Sponsorship-track
Chenhao LuLu, Chenhao Fudan UniversityChina Recurring Vulnerability Detection: How Far Are We?
Junyi LuLu, Junyi Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Kangjie LuLu, Kangjie University of MinnesotaUnited States Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs Type-Alias Analysis: Enabling LLVM IR with Accurate Types
You LuLu, You Fudan UniversityChina Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Chuan LuoLuo, Chuan Beihang UniversityChina No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups
Weilin LuoLuo, Weilin Sun Yat-sen University NADA: Neural Acceptance-driven Approximate Specification Mining
Xiangyang LuoLuo, Xiangyang State Key Laboratory of Mathematical Engineering and Advanced Computing Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Zhengxiong LuoLuo, Zhengxiong National University of SingaporeChina PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Thibaud LutellierLutellier, Thibaud University of AlbertaCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Michael LyuLyu, Michael Chinese University of Hong Kong Extended Reality Cybersickness Assessment via User Review Analysis Committee Member in Program Committee within the ISSTA Research Papers-track
Xiran LyuLyu, Xiran Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
M M M Abid NaziriM Abid Naziri, M BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
Jie M. ZhangM. Zhang, Jie King's College LondonUnited Kingdom Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2025 Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA Doctoral Symposium-track Committee Member in Program Committee within the ISSTA Research Papers-track
Jiajia MaMa, Jiajia Institute of Software, Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Jie MaMa, Jie Beihang University; Zhongguancun LaboratoryChina OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Lei MaMa, Lei The University of Tokyo & University of AlbertaJapan MoDitector: Module-Directed Testing for Autonomous Driving Systems Committee Member in Program Committee within the ISSTA Research Papers-track
Pingchuan MaMa, Pingchuan HKUST Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation
Shiqing MaMa, Shiqing University of Massachusetts at AmherstUnited States DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Wei MaMa, Wei SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool Assessment
Xiaoxing MaMa, Xiaoxing State Key Laboratory for Novel Software Technology, Nanjing UniversityChina Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Yingwei MaMa, Yingwei Alibaba GroupChina SWE-GPT: A Process-Centric Language Model for Automated Software Improvement Programme Committee in Program Committee within the EXPRESS-track
Yuchi MaMa, Yuchi Huawei Cloud Computing TechnologiesChina OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Zheyu MaMa, Zheyu Tsinghua UniversityChina xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Aravind MachiryMachiry, Aravind Purdue UniversityUnited States Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper) Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
Tarek MahmudMahmud, Tarek Texas State UniversityBangladesh Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yubo MaiMai, Yubo Zhejiang University Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Nidhi MajojuMajoju, Nidhi University of Texas at Dallas An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
Sam MalekMalek, Sam University of California at IrvineUnited States Automated Test Transfer Across Android Apps Using Large Language Models
Mingzhi MaoMao, Mingzhi Sun Yat-sen University OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Peili MaoMao, Peili University of Electronic Science and Technology of China Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective
Qiheng MaoMao, Qiheng Zhejiang University Understanding Practitioners’ Expectations on Clear Code Review Comments
Xiaofeng MaoMao, Xiaofeng Alibaba Group S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Michaël MarcozziMarcozzi, Michaël Université Paris-Saclay, CEA, ListFrance Publicity Co-Chair in Organizing Committee for ISSTA 2025
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2025 Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA Doctoral Symposium-track Committee Member in Program Committee within the ISSTA Research Papers-track
Alberto Martin-LopezMartin-Lopez, Alberto Software Institute - USI, LuganoSwitzerland Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
Matias MartinezMartinez, Matias Universitat Politècnica de Catalunya (UPC)Spain PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Matias MartinezMartinez, Matias Universitat Politècnica de Catalunya (UPC)Spain Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sergey MechtaevMechtaev, Sergey Peking UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Nenad MedvidovićMedvidović, Nenad University of Southern CaliforniaUnited States Automated Test Transfer Across Android Apps Using Large Language Models
Hong MeiMei, Hong Shanghai Jiao Tong UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Dan MengMeng, Dan Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Pepper: Preference-Aware Active Trapping for Ransomware
Mark Huasong MengMeng, Mark Huasong Technical University of Munich (TUM)Germany Programme Committee in Program Committee within the EXPRESS-track
Xun MiMi, Xun College of Cyber Science, Nankai University Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Miao MiaoMiao, Miao The University of Texas at DallasUnited States Program Feature-based Benchmarking for Fuzz Testing Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Charalambos Ioannis MitropoulosMitropoulos, Charalambos Ioannis Technical University of CreteGreece Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece Workshops Co-Chair in Organizing Committee for ISSTA 2025 Committee Member in Program Committee within the ISSTA Research Papers-track Workshops Co-Chair in Workshops Committee within the ISSTA Workshops-track
Davide MolinelliMolinelli, Davide USI Lugano; Schaffhausen Institute of TechnologySwitzerland Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Austin MordahlMordahl, Austin University of Illinois ChicagoUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Donn MorrisonMorrison, Donn Sponsorship Co-Chair in Organizing Committee for ISSTA 2025
Manish MotwaniMotwani, Manish Oregon State UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yanzhou MuMu, Yanzhou Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Marius MuschMusch, Marius TU Braunschweig Wemby’s Web: Hunting for Memory Corruption in WebAssembly
N Muhammad Hannan NaeemNaeem, Muhammad Hannan The University of Texas at Austin Dynamically Fusing Python HPC Kernels
Stefan NagyNagy, Stefan University of Utah WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery
Jakub NarębskiNarębski, Jakub Nicolaus Copernicus University in ToruńPoland PatchScope – A Modular Tool for Annotating and Analyzing Contributions
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Rumyana NeykovaNeykova, Rumyana Brunel University London PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Loi Ngo Duc NguyenNguyen, Loi Ngo Duc University of California, Riverside Static Program Reduction via Type-Directed Slicing
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States COOLer: A Language Support Extension for COOL in VS Code Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code
Chao NiNi, Chao Zhejiang UniversityChina More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph
Changhai NieNie, Changhai Nanjing University Effective REST APIs Testing with Error Message Analysis
Liming NieNie, Liming SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool Assessment
Pengyu NieNie, Pengyu University of WaterlooCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Sen NieNie, Sen Tencent Security Keen LabChina KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Xintao NiuNiu, Xintao Nanjing UniversityChina Effective REST APIs Testing with Error Message Analysis
Yannic NollerNoller, Yannic Ruhr University BochumGermany Publicity Co-Chair in Organizing Committee for ISSTA 2025
O Mitchell OlsthoornOlsthoorn, Mitchell Delft University of TechnologyNetherlands PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
P Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Minxue PanPan, Minxue Nanjing UniversityChina Intention-based GUI Test Migration for Mobile Apps using Large Language Models
Zhenyu PanPan, Zhenyu Effective REST APIs Testing with Error Message Analysis
Ziyue PanPan, Ziyue Zhejiang University Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg General Chair in Organizing Committee for ISSTA 2025
José Antonio Parejo MaestreParejo Maestre, José Antonio Universidad de SevillaSpain ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
Michele PasquaPasqua, Michele University of VeronaItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Jiaqi PeiPei, Jiaqi College of Cyber Science, Nankai University Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Yifei PeiPei, Yifei Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Bo PengPeng, Bo Sun Yat-Sen University NADA: Neural Acceptance-driven Approximate Specification Mining
Xin PengPeng, Xin Fudan UniversityChina RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search Recurring Vulnerability Detection: How Far Are We? Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing Committee Member in Program Committee within the ISSTA Research Papers-track
Mauro PezzePezze, Mauro Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca and CIT Constructor Institute of TechnologySwitzerland Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
Thuan PhamPham, Thuan University of MelbourneAustralia Committee Member in Program Committee within the ISSTA Research Papers-track
Stefania PicioreaPiciorea, Stefania Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code
Akul Abhilash PillaiPillai, Akul Abhilash Purdue University Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)
Denys PoshyvanykPoshyvanyk, Denys William & MaryUnited States GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Chris PoskittPoskitt, Chris Singapore Management UniversitySingapore Committee Member in Program Committee within the ISSTA Research Papers-track
Michael PradelPradel, Michael University of StuttgartGermany You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects
Alexander PretschnerPretschner, Alexander Technical University of MunichGermany Committee Member in Program Committee within the ISSTA Research Papers-track
Piotr PrzymusPrzymus, Piotr Nicolaus Copernicus University in Toruń, Poland PatchScope – A Modular Tool for Annotating and Analyzing Contributions
Junsong PuPu, Junsong Beijing University of Posts and TelecommunicationChina Tracezip: Efficient Distributed Tracing via Trace Compression
Q Guanxiao QiQi, Guanxiao Dalian University of Technology Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Peng QianQian, Peng Zhejiang UniversityChina FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Zhiyun QianQian, Zhiyun University of California at Riverside, USA Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Feiran QinQin, Feiran BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
Kaihua QinQin, Kaihua Yale University Enhancing Smart Contract Security Analysis with Execution Property Graphs
Siliang QinQin, Siliang Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Zhengkai QinQin, Zhengkai Institute of Information Engineering，Chinese Academy of Sciences Pepper: Preference-Aware Active Trapping for Ransomware
Junming QiuQiu, Junming Sun Yat-sen UniversityChina NADA: Neural Acceptance-driven Approximate Specification Mining
Tong QiuQiu, Tong LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yibo QuQu, Yibo Beijing Key Laboratory of IoT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
R Rafiqul RabinRabin, Rafiqul UL Research InstitutesUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Ghazal RafieiRafiei, Ghazal University of Southern California Automated Test Transfer Across Android Apps Using Large Language Models
Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Germán RegisRegis, Germán University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Research Papers-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Kui RenRen, Kui Zhejiang University S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Ruofei RenRen, Ruofei Shanghai Jiao Tong University GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Zhilei RenRen, Zhilei Dalian University of Technology Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Oliviero RiganelliRiganelli, Oliviero University of Milano - BicoccaItaly Committee Member in Program Committee within the ISSTA Research Papers-track
Niklas RisseRisse, Niklas Max-Planck-Institute for Security and PrivacyGermany Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection
Michael RodlerRodler, Michael Amazon Web Services Wemby’s Web: Hunting for Memory Corruption in WebAssembly
Charlie F. RuanRuan, Charlie F. Carnegie Mellon University Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
S Bestoun S. AhmedS. Ahmed, Bestoun Karlstad UniversitySweden Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Nuno SaavedraSaavedra, Nuno INESC-ID and IST, University of LisbonPortugal InfraFix: Technology-Agnostic Repair of Infrastructure as Code
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Program Committee within the ISSTA Research Papers-track
Amit SamantaSamanta, Amit University of Utah Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Jordan SamhiSamhi, Jordan University of Luxembourg, LuxembourgLuxembourg Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Samira Santos da SilvaSantos da Silva, Samira Gran Sasso Science Institute (GSSI)Italy Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Hassan SartajSartaj, Hassan Simula Research LaboratoryNorway Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Sergio SeguraSegura, Sergio SCORE Lab, I3US Institute, Universidad de Sevilla, Seville, SpainSpain ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
Asaf ShabtaiShabtai, Asaf Ben Gurion University of the Negev Robust Vulnerability Detection Across Compilations: LLVM-IR vs. Assembly with Transformer Model
ye shangshang, ye Nanjing University A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Kshitij SharmaSharma, Kshitij Norwegian University of Science and TechnologyNorway Local Arrangement Chair in Organizing Committee for ISSTA 2025
Dongdong SheShe, Dongdong HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Ravishka Shemal RathnasuriyaShemal Rathnasuriya, Ravishka The University of Texas - Dallas An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
Chenjie ShenShen, Chenjie Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Liwei ShenShen, Liwei Fudan University, China RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Mingjie ShenShen, Mingjie Purdue University Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)
Wenbo ShenShen, Wenbo Zhejiang UniversityChina Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Yuheng ShenShen, Yuheng Tsinghua UniversityChina PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Zhaoyan ShenShen, Zhaoyan Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
August ShiShi, August The University of Texas at AustinUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Ensheng ShiShi, Ensheng Xi’an Jiaotong UniversityChina LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Heyuan ShiShi, Heyuan Central South UniversityChina PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Jiaqi ShiShi, Jiaqi Northeastern University Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Qingkai ShiShi, Qingkai Nanjing UniversityChina Validating Network Protocol Parsers with Traceable RFC Document Interpretation Programme Committee in Program Committee within the EXPRESS-track Committee Member in Program Committee within the ISSTA Research Papers-track
Xiaohai ShiShi, Xiaohai Alibaba GroupChina PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Donghwan ShinShin, Donghwan University of SheffieldUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Rony ShirShir, Rony Ben Gurion University of the Negev Robust Vulnerability Detection Across Compilations: LLVM-IR vs. Assembly with Transformer Model
Shuaizong Si Shuaizong Si Beijing Key Laboratory of IoT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
Mohammed Latif SiddiqSiddiq, Mohammed Latif University of Notre DameUnited States Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Aman Kumar SinghSingh, Aman Kumar Amrita Vishwa VidyapeethamIndia BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece The Incredible Shrinking Context... in a decompiler near you
Marius SmytzekSmytzek, Marius CISPA Helmholtz Center for Information Security FANDANGO: Evolving Language-Based Testing
Sunbeom SoSo, Sunbeom GIST (Gwangju Institute of Science and Technology) Committee Member in Program Committee within the ISSTA Research Papers-track
Jeongju SohnSohn, Jeongju Kyungpook National UniversitySouth Korea Tool demonstrations co-chair in Organizing Committee for ISSTA 2025 Tool demonstrations co-chair in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Dawn SongSong, Dawn UC Berkeley Enhancing Smart Contract Security Analysis with Execution Property Graphs
Jiansen SongSong, Jiansen Institute of Software at Chinese Academy of SciencesChina Detecting Isolation Anomalies in Relational DBMSs
Qijie SongSong, Qijie Zhejiang University of Technology Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Wei SongSong, Wei Nanjing University of Science and TechnologyChina GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go Committee Member in Program Committee within the ISSTA Research Papers-track
Zihe SongSong, Zihe University of Texas at DallasUnited States An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
Ezekiel SoremekunSoremekun, Ezekiel Singapore University of Technology and DesignSingapore Tool demonstrations co-chair in Organizing Committee for ISSTA 2025 Tool demonstrations co-chair in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track Committee Member in Program Committee within the ISSTA Research Papers-track
Prashast SrivastavaSrivastava, Prashast Columbia University, USAUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Krzysztof StencelStencel, Krzysztof University of WarsawPoland PatchScope – A Modular Tool for Annotating and Analyzing Contributions
Clay StevensStevens, Clay Iowa State University Sponsorship Co-Chair in Organizing Committee for ISSTA 2025 Committee Member in Program Committee within the ISSTA Research Papers-track
Andrea StoccoStocco, Andrea Technical University of Munich, fortissGermany Committee Member in Program Committee within the ISSTA Research Papers-track
Philipp StraubingerStraubinger, Philipp University of PassauGermany Gamifying Testing in IntelliJ: A Replicability Study Teaching Software Testing and Debugging with the Serious Game Sojourner under Sabotage
Yuxin SuSu, Yuxin Sun Yat-sen UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Yulei SuiSui, Yulei UNSWAustralia Committee Member in Program Committee within the ISSTA Research Papers-track
Bingkun SunSun, Bingkun Fudan UniversityChina Structure-Aware, Diagnosis-Guided ECU Firmware Fuzzing
Chengnian SunSun, Chengnian University of WaterlooCanada Preventing Disruption of System Backup Against Ransomware Attacks Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques Committee Member in Program Committee within the ISSTA Research Papers-track
Dianxiang SunSun, Dianxiang Nanyang Technological University SoK: A Taxonomic Analysis of DeFi Rug Pulls - Types, Dataset, and Tool Assessment
Jianguo SunSun, Jianguo Xidian University REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
JianLing SunSun, JianLing Zhejiang UniversityChina Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets
Jun SunSun, Jun Singapore Management UniversitySingapore Enhancing Vulnerability Detection via Inter-procedural Semantic Completion REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models ConTested: Consistency-Aided Tested Code Generation with LLM Committee Member in Program Committee within the ISSTA Research Papers-track
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
Maolin SunSun, Maolin Nanjing UniversityChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Weisong SunSun, Weisong Nanyang Technological UniversitySingapore DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management Committee Member in Program Committee within the ISSTA Research Papers-track
Youcheng SunSun, Youcheng University of ManchesterUnited Kingdom Committee Member in Program Committee within the ISSTA Research Papers-track
Chungha SungSung, Chungha Amazon Web Services, USAUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Priyanka SurveSurve, Priyanka Ben Gurion University of the Negev Robust Vulnerability Detection Across Compilations: LLVM-IR vs. Assembly with Transformer Model
T Saghar TalebipourTalebipour, Saghar University of Southern CaliforniaUnited States Automated Test Transfer Across Android Apps Using Large Language Models
Tian TanTan, Tian Nanjing UniversityChina Bridge the Islands: Pointer Analysis for Microservice Systems
Wende TanTan, Wende Tsinghua University xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Lingxiao TangTang, Lingxiao Zhejiang University LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
Qiyi TangTang, Qiyi Tencent Security Keen LabChina KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Yiming TangTang, Yiming Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yutian TangTang, Yutian University of GlasgowUnited Kingdom KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis
Dacheng TaoTao, Dacheng Nanyang Technological University Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
Wei TaoTao, Wei Independent ResearcherChina OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
Xiwen TeohTeoh, Xiwen National University of SingaporeSingapore GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Committee Member in Program Committee within the ISSTA Research Papers-track
Haoxiang TianTian, Haoxiang Institute of Software, Chinese Academy of SciencesChina Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yongqiang TianTian, Yongqiang Monash University Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Yongqiang TianTian, Yongqiang Hong Kong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Abhishek TiwariTiwari, Abhishek University of Southern Denmark, SDU Software EngineeringDenmark Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Illinois ChicagoUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Flavio ToffaliniToffalini, Flavio EPFL Committee Member in Program Committee within the ISSTA Research Papers-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland Program Co-Chair in Organizing Committee for ISSTA 2025 Program Co-Chair in Program Committee within the ISSTA Research Papers-track
Anh-Duy TranTran, Anh-Duy imec-DistriNet, KU LeuvenBelgium Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Omer TrippTripp, Omer Amazon Web Services Committee Member in Program Committee within the ISSTA Research Papers-track
Li Tsz OnTsz On, Li The Hong Kong University of Science and TechnologyChina Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Alexi TurcotteTurcotte, Alexi CISPAGermany Committee Member in Program Committee within the ISSTA Research Papers-track
U Miriam UgarteUgarte, Miriam Mondragon University ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
Raluca UricaruUricaru, Raluca Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, F-33400 Talence, FranceFrance What Happened in This Pipeline? Diffing Build Logs With CiDiff
V Pablo ValleValle, Pablo Mondragon UniversitySpain ASTRAL: A Tool for the Automated Safety Testing of Large Language Models
Daniel VarroVarro, Daniel Linköping University / McGill UniversitySweden Automated Scene Generation for Testing COLREGS-Compliance of Autonomous Surface Vehicles
Alexandre VernotteVernotte, Alexandre Smartesting Are Autonomous Web Agents good testers?
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
W WONG Wai KinWai Kin, WONG Hong Kong University of Science and Technology DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Hai WanWan, Hai Sun Yat-sen UniversityChina NADA: Neural Acceptance-driven Approximate Specification Mining
Yao WanWan, Yao Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Zhiyuan WanWan, Zhiyuan Zhejiang UniversityChina Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain
Bei WangWang, Bei Peking University, China Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs
Chao WangWang, Chao University of Science and Technology of ChinaChina Walls Have Ears: Demystifying Notification Listener Usage in Android Apps
Chengpeng WangWang, Chengpeng Purdue UniversityUnited States Validating Network Protocol Parsers with Traceable RFC Document Interpretation Committee Member in Program Committee within the ISSTA Research Papers-track
Chengyi WangWang, Chengyi Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Chong WangWang, Chong Nanyang Technological University Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Dingbang WangWang, Dingbang University of ConnecticutUnited States PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Dong WangWang, Dong Institute of software, Chinese academy of sciencesChina Model Checking Guided Incremental Testing for Distributed Systems
Dongxia WangWang, Dongxia Zhejiang UniversityChina S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Haining WangWang, Haining South China University of TechnologyChina A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Hao WangWang, Hao Tsinghua UniversityChina BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine Walls Have Ears: Demystifying Notification Listener Usage in Android Apps Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection Committee Member in Program Committee within the ISSTA Research Papers-track
Huaijin WangWang, Huaijin Ohio State UniversityChina DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Ji WangWang, Ji National University of Defense TechnologyChina Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions Committee Member in Program Committee within the ISSTA Research Papers-track
Jiashui WangWang, Jiashui Zhejiang UniversityChina FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Jingbo WangWang, Jingbo Purdue University Committee Member in Program Committee within the ISSTA Research Papers-track
Jingyi WangWang, Jingyi Zhejiang UniversityChina S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models Committee Member in Program Committee within the ISSTA Research Papers-track
Jue WangWang, Jue Nanjing UniversityChina PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis
Renzhi WangWang, Renzhi University of AlbertaCanada MoDitector: Module-Directed Testing for Autonomous Driving Systems
Ruiqi WangWang, Ruiqi Harbin Institute of Technology, Shenzhen Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks
Ruisi WangWang, Ruisi Fudan University Recurring Vulnerability Detection: How Far Are We?
Runzhe WangWang, Runzhe Alibaba GroupChina PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina Effective REST APIs Testing with Error Message Analysis Committee Member in Program Committee within the ISSTA Research Papers-track
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Siao WangWang, Siao Fudan University RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
Song WangWang, Song York UniversityCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Theron WangWang, Theron The Academy for Mathematics, Science & Engineering, USA Static Program Reduction via Type-Directed Slicing
Tuowei WangWang, Tuowei Tsinghua University Committee Member in Artifacts Committee within the ISSTA Artifact Evaluation-track
Wenhai WangWang, Wenhai Zhejiang University Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Xiaotian WangWang, Xiaotian Harbin Engineering University REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Xingkai WangWang, Xingkai Zhejiang University Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Ying WangWang, Ying Northeastern UniversityChina Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Yiyi WangWang, Yiyi Tsinghua University, Huazhong University of Science and Technology xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Zan WangWang, Zan Tianjin UniversityChina No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups
Zexu WangWang, Zexu Sun Yat-sen University Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Zhaoyu WangWang, Zhaoyu HKUST Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation
Zhen WangWang, Zhen Institute of Information Engineering, CAS, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China ICEPRE: ICS protocol reverse engineering via data-driven concolic execution
Zhijie WangWang, Zhijie University of AlbertaCanada Proceedings Co-Chair in Organizing Committee for ISSTA 2025 Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Zhuangda WangWang, Zhuangda Xiamen UniversityChina QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support
Zhun WangWang, Zhun UC Berkeley Enhancing Smart Contract Security Analysis with Execution Property Graphs
Hengfeng WeiWei, Hengfeng State Key Laboratory for Novel Software Technology, Nanjing UniversityChina Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems Detecting Isolation Anomalies in Relational DBMSs Model Checking Guided Incremental Testing for Distributed Systems LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator
Lili WeiWei, Lili McGill UniversityCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Program Feature-based Benchmarking for Fuzz Testing Committee Member in Program Committee within the ISSTA Research Papers-track
Xin-Cheng WenWen, Xin-Cheng Harbin Institute of Technology MLLM-Based UI2Code Automation Guided by UI Layout Information
Benjamin WuWu, Benjamin BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques
bozhi wuwu, bozhi Singapore Management University Enhancing Vulnerability Detection via Inter-procedural Semantic Completion
Chunming WuWu, Chunming Zhejiang University Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Daoyuan WuWu, Daoyuan The Hong Kong University of Science and TechnologyHong Kong SAR China DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code Committee Member in Program Committee within the ISSTA Research Papers-track
Fan WuWu, Fan Harbin Institute of Technology, ShenzhenChina MLLM-Based UI2Code Automation Guided by UI Layout Information
Guangyuan WuWu, Guangyuan Nanjing University, China Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Guoquan WuWu, Guoquan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power GridChina Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Huayao WuWu, Huayao Nanjing UniversityChina Effective REST APIs Testing with Error Message Analysis
Linhao WuWu, Linhao Shandong UniversityChina ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Rongxin WuWu, Rongxin Xiamen UniversityChina QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support Committee Member in Program Committee within the ISSTA Research Papers-track
Shi WuWu, Shi Tencent Security Keen LabChina KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Susheng WuWu, Susheng Fudan University Recurring Vulnerability Detection: How Far Are We?
Wei-Cheng WuWu, Wei-Cheng Dartmouth College WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery
Yifan WuWu, Yifan Peking UniversityChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Yueming WuWu, Yueming Nanyang Technological University Committee Member in Program Committee within the ISSTA Research Papers-track
Zhiyong WuWu, Zhiyong Tsinghua University, ChinaChina Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems
Zhuo WuWu, Zhuo Tianjin International Engineering Institute, Tianjin University No Bias Left Behind: Fairness Testing for Deep Recommender Systems Targeting General Disadvantaged Groups
X Jinwen XiXi, Jinwen OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Shangzhou XiaXia, Shangzhou Kyushu University Quantum Concolic Testing
Xin XiaXia, Xin HuaweiChina Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs Understanding Practitioners’ Expectations on Clear Code Review Comments Committee Member in Program Committee within the ISSTA Research Papers-track
Yifan XiaXia, Yifan Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Yi XiangXiang, Yi South China University of TechnologyChina A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Guohui XiaoXiao, Guohui Southeast University NADA: Neural Acceptance-driven Approximate Specification Mining
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yisong XiaoXiao, Yisong Beihang UniversityChina Fairness Mediator: Neutralize Stereotype Associations to Mitigate Bias in Large Language Models
Yuan XiaoXiao, Yuan Nanjing UniversityChina DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Danning XieXie, Danning Purdue University Validating Network Protocol Parsers with Traceable RFC Document Interpretation
Difan XieXie, Difan Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain
Fuman XieXie, Fuman University of QueenslandAustralia Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations
Tao XieXie, Tao Peking UniversityChina The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation Committee Member in Program Committee within the ISSTA Research Papers-track
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore MoDitector: Module-Directed Testing for Autonomous Driving Systems Committee Member in Program Committee within the ISSTA Research Papers-track
Xiaoheng XieXie, Xiaoheng Ant Group QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support Programme Committee in Program Committee within the EXPRESS-track
Xiaoyuan XieXie, Xiaoyuan Wuhan UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Xuan XieXie, Xuan University of AlbertaCanada Proceedings Co-Chair in Organizing Committee for ISSTA 2025 Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Xudong XieXie, Xudong Institute of Software Chinese Academy of Sciences, China Detecting Isolation Anomalies in Relational DBMSs
Xueshuo XieXie, Xueshuo College of Computer Science, Nankai University Uncovering API-Scope Misalignment in the App-in-App Ecosystem
Yuanmin XieXie, Yuanmin Tsinghua University Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Yuchong XieXie, Yuchong Hong Kong University of Science and Technology ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Zichen XieXie, Zichen Zhejiang University, China Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
Qi XinXin, Qi Wuhan UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Mingzhe XingXing, Mingzhe Zhongguancun Laboratory OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Chang XuXu, Chang Nanjing UniversityChina Bridge the Islands: Pointer Analysis for Microservice Systems
Guoai XuXu, Guoai Harbin Institute of Technology, Shenzhen Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection
Guosheng XuXu, Guosheng Beijing University of Posts and Telecommunications Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection
Lixin XuXu, Lixin Nanjing University, China Effective REST APIs Testing with Error Message Analysis
Tangzhi XuXu, Tangzhi Nanjing University, China Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Tongtong XuXu, Tongtong HuaweiChina Effective REST APIs Testing with Error Message Analysis
Wenying XuXu, Wenying Fudan University LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Programme Committee in Program Committee within the EXPRESS-track
Xiaofan XuXu, Xiaofan Nanjing University of Science and TechnologyChina GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go
Xiufeng XuXu, Xiufeng Nanyang Technological University Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations
Zhengzi XuXu, Zhengzi Nanyang Technological University; Imperial Global SingaporeSingapore Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Zhenyang XuXu, Zhenyang University of WaterlooCanada Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Jifeng XuanXuan, Jifeng Wuhan UniversityChina Reinforcement Learning-based Fuzz Testing for the Gazebo Robotic Simulator
Hui XueXue, Hui Alibaba GroupChina S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Organizing Committee within the EXPRESS-track Committee Member in Program Committee within the ISSTA Research Papers-track
Pengyu XueXue, Pengyu Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Y Jiwei YanYan, Jiwei Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the ISSTA Research Papers-track
Meng YanYan, Meng Chongqing UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Ming YanYan, Ming Tianjin University, ChinaChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Aidan Z.H. YangYang, Aidan Z.H. Carnegie Mellon UniversityUnited States AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
Guowei YangYang, Guowei University of QueenslandAustralia Committee Member in Program Committee within the ISSTA Research Papers-track
Haoran YangYang, Haoran Washington State UniversityUnited States VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models
Jinqiu YangYang, Jinqiu Concordia UniversityCanada Committee Member in Program Committee within the ISSTA Research Papers-track
Li YangYang, Li Institute of Software, Chinese Academy of SciencesChina Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Mengfei YangYang, Mengfei China Academy of Space TechnologyChina STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs
Peiran YangYang, Peiran Nanjing University Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Rui YangYang, Rui Institute of Software, Chinese Academy of SciencesChina Detecting Isolation Anomalies in Relational DBMSs
Wei YangYang, Wei UT DallasUnited States An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection Committee Member in Program Committee within the ISSTA Research Papers-track
Xiaohu YangYang, Xiaohu Zhejiang UniversityChina Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain LLM4SZZ: Enhancing SZZ Algorithm with Context-Enhanced Assessment on Large Language Models
Xiaowei YangYang, Xiaowei South China University of Technology A Low-Cost Feature Interaction Fault Localization Approach for Software Product Lines
Zhen YangYang, Zhen Shandong UniversityChina ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Zhou YangYang, Zhou Singapore Management University; University of AlbertaSingapore PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions Committee Member in Program Committee within the ISSTA Research Papers-track
Yuan YaoYao, Yuan Nanjing UniversityChina Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference
Guixin YeYe, Guixin Northwest UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
He YeYe, He Carnegie Mellon UniversityUnited States AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
Zhe YeYe, Zhe UC Berkeley Enhancing Smart Contract Security Analysis with Execution Property Graphs
Jooyong YiYi, Jooyong UNISTSouth Korea Committee Member in Program Committee within the ISSTA Research Papers-track
Banghu YinYin, Banghu College of Computer, National University of Defense Technology, Changsha, ChinaChina Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Heng YinYin, Heng University of California at RiversideUnited States BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection
Liangze YinYin, Liangze National University of Defense Technology Incremental Verification of Concurrent Programs through Refinement Constraint Adaptation
Xinlei YingYing, Xinlei Ant GroupChina FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Juyeon YoonYoon, Juyeon Korea Advanced Institute of Science and TechnologySouth Korea PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Aimin YuYu, Aimin Institute of Information Engineering, Chinese Academy of Sciences Pepper: Preference-Aware Active Trapping for Ransomware
DongSong YuYu, DongSong Zhongguancun LaboratoryChina xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition
Hai YuYu, Hai Northeastern University, China Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Jiongchi YuYu, Jiongchi Singapore Management UniversitySingapore Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Lechen YuYu, Lechen Microsoft REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models
Lei YuYu, Lei Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Qingchen YuYu, Qingchen Zhejiang University Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Sheng YuYu, Sheng Deepbits Technology Inc. ALMOND: Learning an Assembly Language Model for 0-Shot Code Obfuscation Detection
Shengcheng YuYu, Shengcheng Nanjing UniversityChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Tingting YuYu, Tingting University of ConnecticutUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Yong YuYu, Yong Shanghai Jiao Tong University Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
Brian A. YuanYuan, Brian A. Purdue University Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)
Hang YuanYuan, Hang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Xiaohan YuanYuan, Xiaohan Zhejiang University S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
Xing YuanYuan, Xing Qingdao University of Science and Technology Enhanced Prompting Framework for Code Summarization with Large Language Models
Tao YueYue, Tao Beihang UniversityChina Committee Member in Program Committee within the ISSTA Research Papers-track
Yinliang YueYue, Yinliang Zhongguancun Laboratory OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
Insu YunYun, Insu KAIST Automated Attack Synthesis for Constant Product Market Makers
Z Elliott ZackroneZackrone, Elliott University of Washington Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
José Antonio Zamudio AmayaZamudio Amaya, José Antonio CISPA Helmholtz Center for Information SecuritySpain FANDANGO: Evolving Language-Based Testing XAVIER: Grammar-Based Testing for XML Injection Attacks
Daoguang ZanZan, Daoguang ByteDance, ChinaChina Programme Committee in Program Committee within the EXPRESS-track
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany FANDANGO: Evolving Language-Based Testing XAVIER: Grammar-Based Testing for XML Injection Attacks
Fanlang ZengZeng, Fanlang Zhejiang UniversityChina Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic
Juan ZhaiZhai, Juan University of Massachusetts at AmherstUnited States Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing Committee Member in Program Committee within the ISSTA Research Papers-track
Lidong ZhaiZhai, Lidong Institute of Information Engineering, Chinese Academy of Sciences DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
Bolun ZhangZhang, Bolun Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Cen ZhangZhang, Cen Georgia Institute of TechnologyUnited States Programme Committee in Program Committee within the EXPRESS-track
Chao ZhangZhang, Chao Tsinghua UniversityChina xFUZZ: A Flexible Framework for Fine-Grained, Runtime-Adaptive Fuzzing Strategy Composition BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval Enhancing Smart Contract Security Analysis with Execution Property Graphs Committee Member in Program Committee within the ISSTA Research Papers-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina KRAKEN: Program-Adaptive Parallel Fuzzing
Chenbo ZhangZhang, Chenbo Fudan University LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Chengyu ZhangZhang, Chengyu Loughborough UniversityUnited Kingdom PC Member in Tool Demonstrations Committee within the ISSTA Tool Demonstrations-track
Fengjun ZhangZhang, Fengjun Institute of Software, Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Fuyuan ZhangZhang, Fuyuan Kyushu University Quantum Concolic Testing
Hongyu ZhangZhang, Hongyu Chongqing UniversityChina OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution Committee Member in Program Committee within the ISSTA Research Papers-track
Huan ZhangZhang, Huan Institute of Information Engineering, Chinese Academy of Sciences Pepper: Preference-Aware Active Trapping for Ransomware
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Committee Member in Program Committee within the ISSTA Research Papers-track
Jingyuan ZhangZhang, Jingyuan Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection
Junqi ZhangZhang, Junqi University of Science and Technology of China, China Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Liangfeng ZhangZhang, Liangfeng School of Information Science and Technology, ShanghaiTech University KEENHash: Hashing Programs into Function-aware Embeddings for Large-scale Binary Code Similarity Analysis
Lin ZhangZhang, Lin The National Computer Emergency Response Team/Coordination Center of China (CNCERT/CC) Walls Have Ears: Demystifying Notification Listener Usage in Android Apps
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging Committee Member in Program Committee within the ISSTA Research Papers-track
Lu ZhangZhang, Lu Fudan University LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Lun ZhangZhang, Lun GoPlus Security FreeWavm: Enhanced WebAssembly Runtime Fuzzing Guided by Parse Tree Mutation and Snapshot
Lyuye ZhangZhang, Lyuye Nanyang Technological UniversitySingapore Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
Man ZhangZhang, Man Beihang University, China Committee Member in Program Committee within the ISSTA Research Papers-track
Qian ZhangZhang, Qian University of California at RiversideUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Quan ZhangZhang, Quan Tsinghua UniversityChina Preventing Disruption of System Backup Against Ransomware Attacks
Quanjun ZhangZhang, Quanjun Nanjing UniversityChina A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
suqiong zhangzhang, suqiong A Cloud Native Tool for Testing Automation in Kubernetes
Tao ZhangZhang, Tao Macau University of Science and TechnologyMacao SAR China AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts Committee Member in Program Committee within the ISSTA Research Papers-track
Teng ZhangZhang, Teng Nanjing UniversityChina Bridge the Islands: Pointer Analysis for Microservice Systems
Tianwei ZhangZhang, Tianwei Nanyang Technological University Testing the Fault-Tolerance of Multi-Sensor Fusion Perception in Autonomous Driving Systems
Weizhe ZhangZhang, Weizhe Harbin Institute of Technology Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Wen ZhangZhang, Wen China Unicom Online Information Technology CO.,Ltd DataHook: An Efficient and Lightweight System Call Hooking Technique without Instruction Modification
Wenhui ZhangZhang, Wenhui Hunan University, Changsha, China ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Wenjie ZhangZhang, Wenjie National University of Singapore ConTested: Consistency-Aided Tested Code Generation with LLM
Wentao ZhangZhang, Wentao Peking University The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation
Wenyu ZhangZhang, Wenyu National University of Defense Technology Program Analysis Combining Generalized Bit-Level and Word-Level Abstractions
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Validating Network Protocol Parsers with Traceable RFC Document Interpretation
Xiaofang ZhangZhang, Xiaofang Soochow UniversityChina DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Yu ZhangZhang, Yu Harbin Institute of Technology Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Yuanliang ZhangZhang, Yuanliang National University of Defense TechnologyChina Programme Committee in Program Committee within the EXPRESS-track
Yue ZhangZhang, Yue Tongyi Lab, Alibaba, China SWE-GPT: A Process-Centric Language Model for Automated Software Improvement
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Research Papers-track
Yuxiang ZhangZhang, Yuxiang Shandong University ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
Zhiyu ZhangZhang, Zhiyu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-based RAG
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Committee Member in Program Committee within the ISSTA Research Papers-track
Ziyao ZhangZhang, Ziyao Sun Yat-sen University LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Beibei ZhaoZhao, Beibei Institute of Information Engineering, Chinese Academy of Sciences. School of Cyber Security, University of Chinese Academy of Sciences, China BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Quantum Concolic Testing Committee Member in Program Committee within the ISSTA Research Papers-track
Kexin ZhaoZhao, Kexin Nanjing University Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
Lida ZhaoZhao, Lida Nanyang Technological University Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
Lixin ZhaoZhao, Lixin Institute of Information Engineering，Chinese Academy of Sciences Pepper: Preference-Aware Active Trapping for Ransomware
Yanjie ZhaoZhao, Yanjie Huazhong University of Science and TechnologyChina Walls Have Ears: Demystifying Notification Listener Usage in Android Apps Understanding Model Weaknesses: A Path to Strengthening DNN-Based Android Malware Detection Committee Member in Program Committee within the ISSTA Research Papers-track
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Author in Artifacts Committee within the ISSTA Artifact Evaluation-track
Mingwei ZhengZheng, Mingwei Purdue UniversityUnited States Validating Network Protocol Parsers with Traceable RFC Document Interpretation Programme Committee in Program Committee within the EXPRESS-track
Qisheng ZhengZheng, Qisheng Harbin Institute of Technology Extended Reality Cybersickness Assessment via User Review Analysis
Xiaoye ZhengZheng, Xiaoye Zhejiang UniversityChina Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana Blockchain
Yaowen ZhengZheng, Yaowen Institute of Information Engineering at Chinese Academy of SciencesChina Programme Committee in Program Committee within the EXPRESS-track
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts Tracezip: Efficient Distributed Tracing via Trace Compression OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Zhu ZhilingZhiling, Zhu Zhejiang University of Technology Doctor: Optimizing Container Rebuild Efficiency by Instruction Re-Orchestration
Wanjun ZhongZhong, Wanjun Sun Yat-sen UniversityChina LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
Anshunkang ZhouZhou, Anshunkang Hong Kong University of Science and TechnologyChina KRAKEN: Program-Adaptive Parallel Fuzzing
Bo ZhouZhou, Bo Northeastern University Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Chijin ZhouZhou, Chijin Tsinghua UniversityChina Preventing Disruption of System Backup Against Ransomware Attacks
Hao ZhouZhou, Hao Hong Kong Polytechnic University, China Committee Member in Program Committee within the ISSTA Research Papers-track
Jianyi ZhouZhou, Jianyi Huawei Cloud Computing Technologies Co., Ltd. A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing
Jinmeng ZhouZhou, Jinmeng Zhejiang University Type-Alias Analysis: Enabling LLVM IR with Accurate Types
Li ZhouZhou, Li ReGraph: A Tool for Binary Similarity Identification
Liyi ZhouZhou, Liyi The University of Sydney Enhancing Smart Contract Security Analysis with Execution Property Graphs
Min ZhouZhou, Min Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Qi ZhouZhou, Qi Alibaba LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Qingguo ZhouZhou, Qingguo Lanzhou University Bridging the Gaps Between Graph Neural Networks and Data-Flow Analysis: The Closer, the Better
Shuigeng ZhouZhou, Shuigeng Fudan University LogBase: A Large-Scale Benchmark for Semantic Log Parsing
Xintong ZhouZhou, Xintong University of Waterloo Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques
Yuan ZhouZhou, Yuan Zhejiang Sci-Tech UniversityChina MoDitector: Module-Directed Testing for Autonomous Driving Systems
Zhi Quan (George) ZhouZhou, Zhi Quan (George) NIOChina Committee Member in Organizing Committee within the EXPRESS-track
Zhuotong ZhouZhou, Zhuotong Fudan University, ChinaChina Recurring Vulnerability Detection: How Far Are We?
Chenguang ZhuZhu, Chenguang Meta AIUnited States Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations
Jiaxin ZhuZhu, Jiaxin Institute of Software at Chinese Academy of SciencesChina LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator
Qinglin ZhuZhu, Qinglin School of Informatics, Xiamen University QTRAN: Extending Metamorphic-Oracle based Logical Bug Detection Techniques for Multiple-DBMS Dialect Support
Yunfeng ZhuZhu, Yunfeng Nanjing University DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
Zhiliang ZhuZhu, Zhiliang Northeastern University, China Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS
Li ZongjieZongjie, Li Hong Kong University of Science and TechnologyChina Causality-Aided Evaluation and Explanation of Large Language Model-based Code Generation DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code
Chun ZuoZuo, Chun SinosoftChina Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection