ISSTA 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (915)

A Rui AbreuAbreu, Rui INESC-ID; University of PortoPortugal Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Mathieu AcherAcher, Mathieu University of Rennes - Inria - CNRS - IRISAFrance Policy Testing with MDPFuzz (Replicability Study)
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Technical Papers-track
Iftekhar AhmedAhmed, Iftekhar University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Elvira AlbertAlbert, Elvira Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Nikolaos AlexopoulosAlexopoulos, Nikolaos Athens University of Economics and BusinessGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Parsa AlianAlian, Parsa University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Idan AmitAmit, Idan The Hebrew University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Paul AmmannAmmann, Paul George Mason UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance
Paolo ArcainiArcaini, Paolo National Institute of Informatics Japan Committee Member in Program Committee within the ISSTA Technical Papers-track
Iván Arcuschin MorenoArcuschin Moreno, Iván Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Vishnu Asutosh DasuAsutosh Dasu, Vishnu Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Vaggelis AtlidakisAtlidakis, Vaggelis LaceworkGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
B Hamid BagheriBagheri, Hamid University of Nebraska-LincolnUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Guangdong BaiBai, Guangdong University of QueenslandAustralia Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts Committee Member in Program Committee within the ISSTA Technical Papers-track
Mingqiang BaiBai, Mingqiang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Lucas BangBang, Lucas Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Jonathan BellBell, Jonathan Northeastern UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Bernhard BergerBerger, Bernhard Hamburg University of TechnologyGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yann BesseBesse, Yann AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Yuyang BiBi, Yuyang Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Tegawendé F. BissyandéBissyandé, Tegawendé F. University of LuxembourgLuxembourg Call Graph Soundness in Android Static Analysis CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors Committee Member in Program Committee within the ISSTA Technical Papers-track
Christoph BlumscheinBlumschein, Christoph Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Sponsorship Co-Chair in Organizing Committee for ISSTA 2024 Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Stefan BrunthalerBrunthaler, Stefan μCSRL, CODE Research Institute, University of the Bundeswehr MunichGermany Session Chair of WebAssembly and Browsers (part of ISSTA Technical Papers)
Lei BuBu, Lei Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Marcel BöhmeBöhme, Marcel MPI-SP, BochumGermany Session Chair of Fuzzing 2 (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
C Joanna C. S. SantosC. S. Santos, Joanna University of Notre DameUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Session Chair of Empirical Studies (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Haipeng CaiCai, Haipeng University at Buffalo, SUNYUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaobao CaiCai, Xiaobao Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yufan CaiCai, Yufan Shanghai Jiao Tong University; National University of SingaporeChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Zhipeng CaiCai, Zhipeng Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Aysu Betin CanCan, Aysu Betin Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Paulo CanelasCanelas, Paulo Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Shangtong CaoCao, Shangtong Beijing University of Posts and TelecommunicationsChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Xuejie CaoCao, Xuejie Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Ying CaoCao, Ying Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Yuan CaoCao, Yuan Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Yukai CaoCao, Yukai Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Darion CasselCassel, Darion Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tatiana Castro VélezCastro Vélez, Tatiana City University of New York (CUNY) Graduate CenterUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ana Cavalcante-StudartCavalcante-Studart, Ana Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Sang Kil ChaCha, Sang Kil KAISTSouth Korea Session Chair of Compilers and Decompilers (part of ISSTA Technical Papers) AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference Committee Member in Program Committee within the ISSTA Technical Papers-track
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Rui ChangChang, Rui Zhejiang UniversityChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Oscar ChaparroChaparro, Oscar William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Wachiraphan (Ping) CharoenwetCharoenwet, Wachiraphan (Ping) University of MelbourneAustralia An Empirical Study of Static Analysis Tools for Secure Code Review
An Ran ChenChen, An Ran University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Bihuan ChenChen, Bihuan Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking Committee Member in Program Committee within the ISSTA Technical Papers-track
Chong ChenChen, Chong Sun Yat-sen UniversityChina Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Chunyang ChenChen, Chunyang TU MunichGermany Session Chair of UI-Level Testing (part of ISSTA Technical Papers) Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
David ChenChen, David Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Hao ChenChen, Hao University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Huaming ChenChen, Huaming Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Huaming ChenChen, Huaming The University of SydneyAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiachi ChenChen, Jiachi Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow Committee Member in Program Committee within the ISSTA Technical Papers-track
Jialuo ChenChen, Jialuo Zhejiang UniversityChina Isolation-Based Debugging for Neural Networks TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Jianhai ChenChen, Jianhai Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Jieshan ChenChen, Jieshan CSIRO's Data61Australia Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiming ChenChen, Jiming Zhejiang University; Hangzhou Dianzi UniversityChina Isolation-Based Debugging for Neural Networks TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Juan ChenChen, Juan Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Junjie ChenChen, Junjie Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Large Language Models for Equivalent Mutant Detection: How Far Are We? Towards Understanding the Bugs in Solidity Compiler Committee Member in Program Committee within the ISSTA Technical Papers-track
Kai ChenChen, Kai Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers Committee Member in Program Committee within the ISSTA Technical Papers-track
Liangyu ChenChen, Liangyu East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Liqian ChenChen, Liqian National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair Synthesizing Boxes Preconditions for Deep Neural Networks
Liwei ChenChen, Liwei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Polong ChenChen, Polong Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Sen ChenChen, Sen Tianjin UniversityChina Bugs in Pods: Understanding Bugs in Container Runtime Systems PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software Committee Member in Program Committee within the ISSTA Technical Papers-track
Songqiang ChenChen, Songqiang The Hong Kong University of Science and TechnologyChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tao ChenChen, Tao University of BirminghamUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Ting ChenChen, Ting University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Xiao ChenChen, Xiao University of NewcastleAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Xiaohong ChenChen, Xiaohong East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Xiaohui ChenChen, Xiaohui China Mobile Research InstituteChina DeLink: Source File Information Recovery in Binaries
Yan ChenChen, Yan Northwestern UniversityUnited States Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Neurosymbolic Repair of Test Flakiness Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yixiang ChenChen, Yixiang East China Normal UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Yixiong ChenChen, Yixiong Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Yizhou ChenChen, Yizhou Peking University Commit Artifact Preserving Build Prediction
Yujia ChenChen, Yujia Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Yuqi ChenChen, Yuqi ShanghaiTech UniversityChina DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenpeng ChenChen, Zhenpeng Nanyang Technological UniversitySingapore Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhuangbin ChenChen, Zhuangbin Sun Yat-sen UniversityChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Zuohui ChenChen, Zuohui Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Mingfei ChengCheng, Mingfei Singapore Management UniversitySingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Peng ChengCheng, Peng Zhejiang UniversityChina Isolation-Based Debugging for Neural Networks TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Runxiang ChengCheng, Runxiang University of Illinois at Urbana-ChampaignUnited States Revisiting Test-Case Prioritization on Long-Running Test Suites
Xiao ChengCheng, Xiao UNSWAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler Committee Member in Program Committee within the ISSTA Technical Papers-track
Maria ChristakisChristakis, Maria TU WienAustria General Chair in Organizing Committee for ISSTA 2024 Session Chair of Opening and Awards (part of ISSTA Keynotes) Session Chair of ISSTA 2025 Preview and Closing (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes)
Zhaoyang ChuChu, Zhaoyang Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Jürgen CitoCito, Jürgen TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Models of Code (part of ISSTA Technical Papers)
Myra CohenCohen, Myra Iowa State UniversityUnited States Session Chair of Testing (part of ISSTA Technical Papers) Traceback: A Fault Localization Technique for Molecular Programs Committee Member in Program Committee within the ISSTA Technical Papers-track
Jesús CorreasCorreas, Jesús Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Di CuiCui, Di Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Mengqi CuiCui, Mengqi Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Siwei CuiCui, Siwei Texas A & M UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ziyu CuiCui, Ziyu Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Gao CuiyingCuiying, Gao Huazhong University of Science and Technology; JD.comChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
D Giordano d'Aloisiod'Aloisio, Giordano University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States Session Chair of Domain-Specific Testing (part of ISSTA Technical Papers) Feedback-Directed Partial Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiarun DaiDai, Jiarun Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Qinming DaiDai, Qinming Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Student Volunteers Co-Chair in Organizing Committee for ISSTA 2024 Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Istvan DavidDavid, Istvan McMaster UniversityCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
James C. DavisDavis, James C. Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters Committee Member in Program Committee within the ISSTA Technical Papers-track
Demet DemirDemir, Demet Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Huan DengDeng, Huan Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Anmol Vilas DeshpandeDeshpande, Anmol Vilas University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Tung Do-VietDo-Viet, Tung Cinnamon AIVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Swaroopa DolaDola, Swaroopa University of Virginia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jin Song DongDong, Jin Song National University of SingaporeSingapore CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature Committee Member in Program Committee within the ISSTA Technical Papers-track
Yiwen DongDong, Yiwen University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhen DongDong, Zhen Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay Committee Member in Program Committee within the ISSTA Technical Papers-track
Wensheng DouDou, Wensheng Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling Committee Member in Program Committee within the ISSTA Technical Papers-track
Jianfeng DuDu, Jianfeng Guangdong University of Foreign StudiesChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Qingpeng DuDu, Qingpeng Beijing University of Posts and TelecommunicationsChina Logos: Log Guided Fuzzing for Protocol Implementations
Xiaoning DuDu, Xiaoning Monash UniversityAustralia Session Chair of Code Transformation (part of ISSTA Technical Papers) Testing Graph Database Systems with Graph-State Persistence Oracle AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyong DuDu, Xiaoyong Renmin University of China Testing Graph Database Systems with Graph-State Persistence Oracle
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Johannes DüsingDüsing, Johannes TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really?
E Hasan Ferit EniserEniser, Hasan Ferit MPI-SWSGermany Web Co-Chair in Organizing Committee for ISSTA 2024
Jueon EomEom, Jueon Yonsei UniversitySouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Call Graph Soundness in Android Static Analysis
Nafise EskandaniEskandani, Nafise ABB Corporate Research Center Diversity and Inclusion Chair in Organizing Committee for ISSTA 2024
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
F Gang FanFan, Gang Ant GroupChina SQLess: Dialect-Agnostic SQL Query Simplification DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Lingling FanFan, Lingling Nankai UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhiyu FanFan, Zhiyu National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Aoyang FangFang, Aoyang Chinese University of Hong Kong, Shenzhen Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chunrong FangFang, Chunrong Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems Committee Member in Program Committee within the ISSTA Technical Papers-track
Haoran FangFang, Haoran Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Weiyuan FangFang, Weiyuan Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Ryan FeathermanFeatherman, Ryan University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Cong FengFeng, Cong Huawei Cloud Computing TechnologyChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Ruitao FengFeng, Ruitao Singapore Management UniversitySingapore FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Shiwei FengFeng, Shiwei Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sidong FengFeng, Sidong Monash UniversityAustralia Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yang FengFeng, Yang Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Yebo FengFeng, Yebo Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Alcides FonsecaFonseca, Alcides LASIGE; University of LisbonPortugal Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Fabrizio FornariFornari, Fabrizio University of Camerino, ItalyItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Michael FosterFoster, Michael The University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos AiresUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Cai FuFu, Cai Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
G Alessio GambiGambi, Alessio Austrian Institute of Technology (AIT)Austria Session Chair of Test Generation (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina Session Chair of Vulnerability Detection (part of ISSTA Technical Papers) Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Hui GaoGao, Hui Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Shuzheng GaoGao, Shuzheng Chinese University of Hong KongChina SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Xiang GaoGao, Xiang Beihang UniversityChina Session Chair of Program Repair 1 (part of ISSTA Technical Papers) API Misuse Detection via Probabilistic Graphical Model Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiangshan GaoGao, Xiangshan Zhejiang University; Huawei TechnologyChina TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Xinyu GaoGao, Xinyu Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Xuanqi GaoGao, Xuanqi Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Yu GaoGao, Yu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zeyu GaoGao, Zeyu Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Zhipeng GaoGao, Zhipeng Shanghai Institute for Advanced Study - Zhejiang UniversityChina SelfPiCo: Self-Guided Partial Code Execution with LLMs
Joshua GarciaGarcia, Joshua University of California, IrvineUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Carlos Gavidia-CalderonGavidia-Calderon, Carlos The Alan Turing InstituteUnited Kingdom Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jidong GeGe, Jidong Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xiuting GeGe, Xiuting Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Michael C. GertenGerten, Michael C. Iowa State UniversityUnited States Traceback: A Fault Localization Technique for Molecular Programs
Ali GhanbariGhanbari, Ali Auburn UniversityUnited States Decomposition of Deep Neural Networks into Modules via Mutation Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Gwihwan GoGo, Gwihwan Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Usman GoharGohar, Usman Dept. of Computer Science, Iowa State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Divya GopinathGopinath, Divya KBR; NASA AmesUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Rahul GopinathGopinath, Rahul University of SydneyAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Pablo GordilloGordillo, Pablo Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
Arnaud GotliebGotlieb, Arnaud Simula Research LaboratoryNorway Policy Testing with MDPFuzz (Replicability Study)
John GrundyGrundy, John Monash UniversityAustralia Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Jiazhen GuGu, Jiazhen Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Taotao GuGu, Taotao Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Hao GuanGuan, Hao University of Queensland; Southern University of Science and TechnologyAustralia Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Kevin GuanGuan, Kevin Cornell UniversityUnited States An In-Depth Study of Runtime Verification Overheads during Software Testing
Nan GuanGuan, Nan City University of Hong KongChina Enhancing ROS System Fuzzing through Callback Tracing
Yujiang GuiGui, Yujiang UNSWAustralia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
An GuoGuo, An Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Jin GuoGuo, Jin Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Lianghong GuoGuo, Lianghong Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Qi GuoGuo, Qi Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xiaochen GuoGuo, Xiaochen Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Xiaowei GuoGuo, Xiaowei Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Yiwen GuoGuo, Yiwen UnaffiliatedChina UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Yiyuan GuoGuo, Yiyuan Hong Kong University of Science and TechnologyChina Precise Compositional Buffer Overflow Detection via Heap Disjointness
Ziyi GuoGuo, Ziyi Northwestern University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Bhanukiran GurijalaGurijala, Bhanukiran The University of Texas at El PasoUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontréalCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Lansheng HanHan, Lansheng Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Dan HaoHao, Dan Peking UniversityChina Commit Artifact Preserving Build Prediction Synthesis-Based Enhancement for GUI Test Case Migration
Yu HaoHao, Yu University of California at Riverside, USAUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zongyin HaoHao, Zongyin Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Mark HarmanHarman, Mark Meta Platforms, Inc. and UCLUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Sepehr HashtroudiHashtroudi, Sepehr University of CalgaryCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Ishrak HayetHayet, Ishrak North Carolina State UniversityUnited States Feedback-Directed Partial Execution
Biao HeHe, Biao Ant GroupChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Dongjie HeHe, Dongjie Chongqing University, ChinaChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Dongnan HeHe, Dongnan Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Ningyu HeHe, Ningyu Peking UniversityChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Qidan HeHe, Qidan JD.comChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Shilin HeHe, Shilin Microsoft Researchn.n. Committee Member in Program Committee within the ISSTA Technical Papers-track
Siyang HeHe, Siyang Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Yifeng HeHe, Yifeng University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Zheyuan HeHe, Zheyuan University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Dominik HelmHelm, Dominik University of Duisburg-Essen; TU Darmstadt; National Research Center for Applied Cybersecurity ATHENEGermany Session Chair of Static analysis (part of ISSTA Technical Papers) Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really? Committee Member in Program Committee within the ISSTA Technical Papers-track
Hadi HemmatiHemmati, Hadi York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Ben HermannHermann, Ben TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really?
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Christoph HochrainerHochrainer, Christoph TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024
Andre HoraHora, Andre UFMGBrazil Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Max HortHort, Max Simula Research LaboratoryNorway Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yiwei HouHou, Yiwei Tsinghua UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chunming HuHu, Chunming Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Jiang HuHu, Jiang Sun Yat-sen UniversityChina Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jie HuHu, Jie University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Jingmei HuHu, Jingmei Amazon Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jingzhao HuHu, Jingzhao Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Ming HuHu, Ming Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Qiang HuHu, Qiang The University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tianmin HuHu, Tianmin Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Xing HuHu, Xing Zhejiang UniversityChina Silent Taint-Style Vulnerability Fixes Identification SelfPiCo: Self-Guided Partial Code Execution with LLMs Automating Zero-Shot Patch Porting for Hard Forks Practitioners’ Expectations on Automated Test Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Yupeng HuHu, Yupeng Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Hanxian HuangHuang, Hanxian University of California at San DiegoUnited States Multi-modal Learning for WebAssembly Reverse Engineering
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiabo HuangHuang, Jiabo TencentChina UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Jianjun HuangHuang, Jianjun Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Junjie HuangHuang, Junjie Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Kaifeng HuangHuang, Kaifeng Tongji UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Tao HuangHuang, Tao Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Xilin HuangHuang, Xilin Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Yu HuangHuang, Yu Vanderbilt UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuhuan HuangHuang, Yuhuan Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Zongan HuangHuang, Zongan Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Zunchen HuangHuang, Zunchen United States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Nargiz HumbatovaHumbatova, Nargiz USI LuganoSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yintong HuoHuo, Yintong Chinese University of Hong KongChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Hieu HuynhHuynh, Hieu KatalonVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
I Anastasia IsychevIsychev, Anastasia TU WienAustria Publicity Chair in Organizing Committee for ISSTA 2024
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Neurosymbolic Repair of Test Flakiness Revisiting Test-Case Prioritization on Long-Running Test Suites Committee Member in Program Committee within the ISSTA Technical Papers-track
Gunel JahangirovaJahangirova, Gunel King's College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Purvish JajalJajal, Purvish Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Seyeon JeongJeong, Seyeon SuresofttechSouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
Ruihua JiJi, Ruihua Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Shouling JiJi, Shouling Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Bo JiangJiang, Bo Bytedance Network TechnologyChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Haoyu JiangJiang, Haoyu Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Jiajun JiangJiang, Jiajun Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Testing Graph Database Systems with Graph-State Persistence Oracle Committee Member in Program Committee within the ISSTA Technical Papers-track
Tingting JiangJiang, Tingting Guotai Junan SecuritiesChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Weipeng JiangJiang, Weipeng Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Wenxin JiangJiang, Wenxin Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Yu JiangJiang, Yu Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing Logos: Log Guided Fuzzing for Protocol Implementations Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhihan JiangJiang, Zhihan Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Hai JinJin, Hai Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Shunfu JinJin, Shunfu Yanshan UniversityChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Wenqiang JinJin, Wenqiang Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Xianhao JinJin, Xianhao ByteDance Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
René JustJust, René University of WashingtonUnited States Session Chair of Android and AR (part of ISSTA Technical Papers) Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs Benchmarks and Replicability in Software Engineering Research: Challenges and Opportunities Call Graph Soundness in Android Static Analysis
K David KaindlstorferKaindlstorfer, David Web Co-Chair in Organizing Committee for ISSTA 2024
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yasutaka KameiKamei, Yasutaka Kyushu UniversityJapan Large Language Models for Equivalent Mutant Detection: How Far Are We?
Anemone KampkötterKampkötter, Anemone TU DortmundGermany Total Recall? How Good Are Static Call Graphs Really?
Mira KaniyurKaniyur, Mira Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Samuel KaufmanKaufman, Samuel University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Tool demonstrations co-chair in Organizing Committee for ISSTA 2024 Committee Member in Program Committee within the ISSTA Technical Papers-track Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Sven KeidelKeidel, Sven TU DarmstadtGermany Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really?
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Jacky KeungKeung, Jacky City University of Hong KongHong Kong SAR China Practitioners’ Expectations on Automated Test Generation
Dongsun KimKim, Dongsun Korea UniversitySouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Hyungseok KimKim, Hyungseok Affiliated Institute of ETRISouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Soomin KimKim, Soomin KAISTSouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Jacques KleinKlein, Jacques University of LuxembourgLuxembourg Session Chair of LLMs for Code (part of ISSTA Technical Papers) Call Graph Soundness in Android Static Analysis CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors Committee Member in Program Committee within the ISSTA Technical Papers-track
Erik KocinareKocinare, Erik Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Ziqiao KongKong, Ziqiao Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Anil KoyuncuKoyuncu, Anil Bilkent UniversityTurkey Committee Member in Program Committee within the ISSTA Technical Papers-track
Rrezarta KrasniqiKrasniqi, Rrezarta University of North Carolina at CharlotteUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Xiaohui KuangKuang, Xiaohui Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
James KukuckaKukucka, James George Mason UniversityUnited States An Empirical Examination of Fuzzer Mutator Performance
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Doctoral Symposium Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
Ashish KumarKumar, Ashish Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Benjamin KushigianKushigian, Benjamin University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Taekyoung KwonKwon, Taekyoung Yonsei UniversitySouth Korea Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
L Yi-Hsiang LaiLai, Yi-Hsiang Amazon Web ServicesUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Duy LamLam, Duy Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Wing LamLam, Wing George Mason UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Junhao LanLan, Junhao Tianjin University, China Testing Graph Database Systems with Graph-State Persistence Oracle
Zhe LangLang, Zhe Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
James I. LathropLathrop, James I. Iowa State UniversityUnited States Traceback: A Fault Localization Technique for Molecular Programs
Paul-Antoine Le TolguenecLe Tolguenec, Paul-Antoine ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hung LeLe, Hung Deakin UniversityAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Wei LeLe, Wei Iowa State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuan-Bach D. LeLe, Xuan-Bach D. University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Cheryl LeeLee, Cheryl Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Jungwoo LeeLee, Jungwoo KAISTSouth Korea AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sungho LeeLee, Sungho Chungnam National University, KoreaSouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States An In-Depth Study of Runtime Verification Overheads during Software Testing Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Daniel LehmannLehmann, Daniel Google, GermanyGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhanyao LeiLei, Zhanyao Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Chongmin LiLi, Chongmin Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
Dan LiLi, Dan Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Dong LiLi, Dong Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Fei LiLi, Fei Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Haofeng LiLi, Haofeng Institute of Computing Technology at Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Heng LiLi, Heng Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Hu LiLi, Hu Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Jianfeng LiLi, Jianfeng Xi’an Jiaotong UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Jiyuan LiLi, Jiyuan Tianjin University, China Testing Graph Database Systems with Graph-State Persistence Oracle
Kaixuan LiLi, Kaixuan East China Normal University; Nanyang Technological UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Keqiang LiLi, Keqiang East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Li LiLi, Li Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability Committee Member in Program Committee within the ISSTA Technical Papers-track
Liangguo LiLi, Liangguo East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Meng LiLi, Meng Hefei University of TechnologyChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Pan LiLi, Pan MoveBitChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Pingping LiLi, Pingping Guotai Junan SecuritiesChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Qian LiLi, Qian Curtin UniversityAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Qingshan LiLi, Qingshan Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Shanping LiLi, Shanping Zhejiang UniversityChina SelfPiCo: Self-Guided Partial Code Execution with LLMs Automating Zero-Shot Patch Porting for Hard Forks
Shanshan LiLi, Shanshan Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Shoubin LiLi, Shoubin Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Teng LiLi, Teng University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjin LiLi, Wenjin NSFOCUS Technologies GroupChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Xiaohong LiLi, Xiaohong Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Xuandong LiLi, Xuandong Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks Silent Taint-Style Vulnerability Fixes Identification
Yeting LiLi, Yeting Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the ISSTA Technical Papers-track
Yichen LILI, Yichen Chinese University of Hong KongChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Ying LiLi, Ying University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yuekang LiLi, Yuekang UNSWAustralia Bugs in Pods: Understanding Bugs in Container Runtime Systems How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhenhao LiLi, Zhenhao York UniversityCanada ThinkRepair: Self-Directed Automated Program Repair
Zhong LiLi, Zhong Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Zhongrui LiLi, Zhongrui Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Zihao LiLi, Zihao Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Ziwei LiLi, Ziwei Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Bin LiangLiang, Bin Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Pingjia LiangLiang, Pingjia Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Qingyuan LiangLiang, Qingyuan Peking UniversityChina Commit Artifact Preserving Build Prediction
Ruigang LiangLiang, Ruigang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shuyun LiangLiang, Shuyun Southern University of Science and TechnologyChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Lizhi LiaoLiao, Lizhi Memorial University of Newfoundland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Qing LiaoLiao, Qing Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Bo LinLin, Bo National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Li LinLin, Li Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Xingwei LinLin, Xingwei Zhejiang UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging Committee Member in Program Committee within the ISSTA Technical Papers-track
Mario Linares-VásquezLinares-Vásquez, Mario Universidad de los AndesColombia Committee Member in Program Committee within the ISSTA Technical Papers-track
Jens LinckeLincke, Jens Hasso Plattner Institute; University of PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Chao LiuLiu, Chao Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Chen LiuLiu, Chen Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Chenyan LiuLiu, Chenyan Shanghai Jiao Tong University; National University of SingaporeChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Dongfang LiuLiu, Dongfang Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Han LiuLiu, Han East China Normal UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Hongle LiuLiu, Hongle Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Hongwang LiuLiu, Hongwang Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Hui LiuLiu, Hui Beijing Institute of TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Jia LiuLiu, Jia Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Jiakai LiuLiu, Jiakai Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Jianzhong LiuLiu, Jianzhong Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Jinyang LiuLiu, Jinyang Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Kui LiuLiu, Kui HuaweiChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Lei LiuLiu, Lei Xi’an Jiaotong UniversityChina Practitioners’ Expectations on Automated Test Generation
Long LiuLiu, Long Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Pei LiuLiu, Pei CSIRO’s Data61Australia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Shangqing LiuLiu, Shangqing Nanyang Technological UniversitySingapore FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Shuang LiuLiu, Shuang Renmin University of ChinaChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis Testing Graph Database Systems with Graph-State Persistence Oracle
Shuning LiuLiu, Shuning Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Ting LiuLiu, Ting Xi'an Jiaotong University Committee Member in Program Committee within the ISSTA Technical Papers-track
Wanwei LiuLiu, Wanwei National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines Committee Member in Program Committee within the ISSTA Technical Papers-track
Ye LiuLiu, Ye Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts
Yi LiuLiu, Yi Nanyang Technological UniversitySingapore DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Yunqi LiuLiu, Yunqi Nanjing University of Science and TechnologyChina FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
Zengyu LiuLiu, Zengyu National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks
Zhongxin LiuLiu, Zhongxin Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Zixi LiuLiu, Zixi Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
David LoLo, David Singapore Management UniversitySingapore AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding Practitioners’ Expectations on Automated Test Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel
Jian-Guang LouLou, Jian-Guang Microsoft ResearchChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yiling LouLou, Yiling Fudan UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Jie LuLu, Jie Institute of Computing Technology at Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Minghai LuLu, Minghai Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Wei LuLu, Wei Renmin University of China, China Testing Graph Database Systems with Graph-State Persistence Oracle
Yi LuLu, Yi BitsLabSingapore Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
You LuLu, You Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Yung-Hsiang LuLu, Yung-Hsiang Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Chuan LuoLuo, Chuan Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Feng LuoLuo, Feng Hong Kong Polytechnic UniversityChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Weilin LuoLuo, Weilin Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhengxiong LuoLuo, Zhengxiong National University of SingaporeChina Logos: Log Guided Fuzzing for Protocol Implementations
Thibaud LutellierLutellier, Thibaud University of AlbertaCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Tuan-Hai LuuLuu, Tuan-Hai Cinnamon AIVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Shichao LvLv, Shichao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Jun LyuLyu, Jun Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Michael LyuLyu, Michael Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuangyu LyuLyu, Shuangyu Beihang UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
M Jie M. ZhangM. Zhang, Jie King's College LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Haoyang MaMa, Haoyang Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler
Lei MaMa, Lei The University of Tokyo & University of AlbertaJapan Committee Member in Program Committee within the ISSTA Technical Papers-track
Shiqing MaMa, Shiqing University of Massachusetts at AmherstUnited States Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Wei MaMa, Wei Nanyang Technological UniversitySingapore How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuyan MaMa, Xuyan Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Yuchi MaMa, Yuchi Huawei Cloud Computing TechnologiesChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Yunlong MaMa, Yunlong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Ardi MadadiMadadi, Ardi University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Fernanda MadeiralMadeiral, Fernanda Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the ISSTA Technical Papers-track
Junayed MahmudMahmud, Junayed University of Central FloridaUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Tarek MahmudMahmud, Tarek Texas State UniversityBangladesh Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Sam MalekMalek, Sam University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Session Chair of Analysis of Code Origin (part of ISSTA Technical Papers) Revisiting Test-Case Prioritization on Long-Running Test Suites
Matias MartinezMartinez, Matias Universitat Politècnica de Catalunya (UPC)Spain Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research Center Committee Member in Program Committee within the ISSTA Technical Papers-track
Quentin MazouniMazouni, Quentin Simula Research LaboratoryNorway Policy Testing with MDPFuzz (Replicability Study)
Shane McIntoshMcIntosh, Shane University of WaterlooCanada Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Sergey MechtaevMechtaev, Sergey Peking UniversityChina Oracle-Guided Program Selection from Large Language Models
Forough MehralianMehralian, Forough University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Hong MeiMei, Hong Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Dan MengMeng, Dan Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ali MesbahMesbah, Ali University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really?
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the ISSTA Technical Papers-track
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Shouvick MondalMondal, Shouvick IIT GandhinagarIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Verya MonjeziMonjezi, Verya University of Texas at El PasoUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Kevin MoranMoran, Kevin University of Central FloridaUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions Committee Member in Program Committee within the ISSTA Technical Papers-track
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
N Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Noor NashidNashid, Noor University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Shiva NejatiNejati, Shiva University of OttawaCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Huan NguyenNguyen, Huan Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Thanh-Dat NguyenNguyen, Thanh-Dat University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Segment-Based Test Case Prioritization: A Multi-objective Approach Committee Member in Program Committee within the ISSTA Technical Papers-track
Vu NguyenNguyen, Vu Katalon; Ho Chi Minh City University of Science; Vietnam National UniversityVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
Hung Nguyen-DuyNguyen-Duy, Hung Independent ResearcherVietnam VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Chao NiNi, Chao Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Lyu NiNi, Lyu East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Pengyu NieNie, Pengyu University of WaterlooCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Fabio NiephausNiephaus, Fabio Oracle LabsGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Zhenyu NingNing, Zhenyu Hunan University; Xinchuang Haihe LaboratoryChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Yannic NollerNoller, Yannic Ruhr University BochumGermany Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Muhammad Numair MansurNumair Mansur, Muhammad Amazon Web ServicesGermany Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2024 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
O Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Milos OjdanicOjdanic, Milos University of LuxembourgLuxembourg Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Katsumi OkudaOkuda, Katsumi Massachusetts Institute of Technology; Mitsubishi Electric CorporationUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Alessandro OrsoOrso, Alessandro Georgia Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yicheng OuyangOuyang, Yicheng University of Illinois at Urbana-ChampaignUnited States Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Yu OuyangOuyang, Yu Ant GroupChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ISSTA 2024 Session Chair of Execution and Profiling (part of ISSTA Technical Papers) Session Chair of Tool demos 2 (part of ISSTA/ECOOP Tool Demonstrations) Session Chair of Tool Demos 1 (part of ISSTA/ECOOP Tool Demonstrations) Committee Member in Program Committee within the ISSTA Technical Papers-track Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Minxue PanPan, Minxue Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Distance-Aware Test Input Selection for Deep Neural Networks Silent Taint-Style Vulnerability Fixes Identification
Shengyi PanPan, Shengyi Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg Session Chair of Testing and Repairing Neural Networks (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Sangeon ParkPark, Sangeon Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Kexin PeiPei, Kexin Columbia University; University of ChicagoUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yu PeiPei, Yu Hong Kong Polytechnic UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Yunrui PeiPei, Yunrui Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Chao PengPeng, Chao ByteDanceChina Session Chair of Program Repair 2 (part of ISSTA Technical Papers) Session Chair of LLMs for Code Generation (part of ISSTA Technical Papers)
Ruikang PengPeng, Ruikang Central South UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Xin PengPeng, Xin Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking Committee Member in Program Committee within the ISSTA Technical Papers-track
Long H. PhamPham, Long H. Singapore Management UniversitySingapore Certified Continual Learning for Neural Network Regression
Nhu PhamPham, Nhu Katalon; Ho Chi Minh City University of ScienceVietnam Segment-Based Test Case Prioritization: A Multi-objective Approach
Thuan PhamPham, Thuan University of MelbourneAustralia An Empirical Study of Static Analysis Tools for Secure Code Review Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Weiguo PianPian, Weiguo University of LuxembourgLuxembourg CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Samuel PilzPilz, Samuel Student Volunteers Co-Chair in Organizing Committee for ISSTA 2024 Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States An Empirical Examination of Fuzzer Mutator Performance
Eduard PinconschiPinconschi, Eduard Carnegie Mellon UniversityUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Hannah PotterPotter, Hannah University of WashingtonUnited States Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Michael PradelPradel, Michael University of StuttgartGermany PC Chair in Organizing Committee for ISSTA 2024 Session Chair of Smart Contracts (part of ISSTA Technical Papers) Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Opening and Awards (part of ISSTA Keynotes) Session Chair of ISSTA 2025 Preview and Closing (part of ISSTA Keynotes) PC Chair in Program Committee within the ISSTA Technical Papers-track
Jyoti PrakashPrakash, Jyoti Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Alexander PretschnerPretschner, Alexander TU MunichGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Soumyakant PriyadarshanPriyadarshan, Soumyakant Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Geguang PuPu, Geguang East China Normal University Committee Member in Program Committee within the ISSTA Technical Papers-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon University; NASA AmesUnited States Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
Q Zhengwei QiQi, Zhengwei Shanghai Jiao Tong UniversityChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Peng QianQian, Peng Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Zheng QinQin, Zheng Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Han QiuQiu, Han Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Junming QiuQiu, Junming Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Mingran QiuQiu, Mingran Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
R Rafiqul RabinRabin, Rafiqul University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Emmanuel RachelsonRachelson, Emmanuel ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Tahmid RafiRafi, Tahmid University of Texas at San AntonioUnited States Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Dezhi RanRan, Dezhi Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Germán RegisRegis, Germán University of Rio Cuarto and CONICETArgentina Committee Member in Program Committee within the ISSTA Technical Papers-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Michael ReifReif, Michael CQSEGermany Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Vincenzo RiccioRiccio, Vincenzo University of UdineItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Oliviero RiganelliRiganelli, Oliviero University of Milano - BicoccaItaly Committee Member in Program Committee within the ISSTA Technical Papers-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Workshops Chair in Organizing Committee for ISSTA 2024 Session Chair of Databases (part of ISSTA Technical Papers) Inconsistencies in TeX-Produced Documents Detecting Build Dependency Errors in Incremental Builds Workshops Chair in Workshops Committee within the ISSTA/ECOOP Workshops-track
Guillermo Román-DíezRomán-Díez, Guillermo Universidad Politécnica de MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Guoping RongRong, Guoping Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Yuyang RongRong, Yuyang University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Tobias RothRoth, Tobias TU Darmstadt; National Research Center for Applied Cybersecurity ATHENEGermany Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features Total Recall? How Good Are Static Call Graphs Really?
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the ISSTA Technical Papers-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Haifeng RuanRuan, Haifeng National University of SingaporeSingapore Oracle-Guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
Julia RubinRubin, Julia The University of British ColumbiaCanada Session Chair of Call Graphs and Static Analysis (part of ISSTA Technical Papers) The Overlooked Steps in Program Analysis: Designing by People for People
Albert RubioRubio, Albert Complutense University of MadridSpain Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden Session Chair of Blockchain (part of ISSTA Technical Papers)
Antu SahaSaha, Antu William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Committee Member in Program Committee within the ISSTA Technical Papers-track
Amit SamantaSamanta, Amit University of Utah Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jordan SamhiSamhi, Jordan CISPA Helmholtz Center for Information SecurityGermany Call Graph Soundness in Android Static Analysis Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Anusha SarrafSarraf, Anusha Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Hassan SartajSartaj, Hassan Simula Research LaboratoryNorway Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Eva SchennerSchenner, Eva Local Arrangements Co-Chair in Organizing Committee for ISSTA 2024
Bradley SchmerlSchmerl, Bradley Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Nicolas SchneiderSchneider, Nicolas AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Adam ScottScott, Adam North Carolina State UniversityUnited States Feedback-Directed Partial Execution
R. SekarSekar, R. Stony Brook UniversityUnited States Scalable, Sound, and Accurate Jump Table Analysis
Zihan ShaSha, Zihan Information Engineering UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Mobina ShahbandehShahbandeh, Mobina University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Arooba ShahoorShahoor, Arooba Kyungpook National UniversitySouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Shiwen ShanShan, Shiwen Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Xinyu SheShe, Xinyu Huazhong University of Science and TechnologyChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Chao ShenShen, Chao Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models
Jiacheng ShenShen, Jiacheng Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Qingchao ShenShen, Qingchao Tianjin UniversityChina Towards Understanding the Bugs in Solidity Compiler
Wenbo ShenShen, Wenbo Zhejiang UniversityChina Bugs in Pods: Understanding Bugs in Container Runtime Systems Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Yuheng ShenShen, Yuheng Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
August ShiShi, August The University of Texas at AustinUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Chenghang ShiShi, Chenghang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Better Not Together: Staged Solving for Context-Free Language Reachability
Ensheng ShiShi, Ensheng Xi’an Jiaotong UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Gang ShiShi, Gang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Heyuan ShiShi, Heyuan Central South UniversityChina Enhancing ROS System Fuzzing through Callback Tracing Logos: Log Guided Fuzzing for Protocol Implementations Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Jiangfan ShiShi, Jiangfan Zhejiang UniversityChina Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Jie ShiShi, Jie Huawei InternationalSingapore TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Ling ShiShi, Ling Nanyang Technological UniversitySingapore DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Qingkai ShiShi, Qingkai Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Wenchang ShiShi, Wenchang Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Zhiqiang ShiShi, Zhiqiang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Jiho ShinShin, Jiho York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation
Sohil Lal ShresthaShrestha, Sohil Lal The University of Texas at ArlingtonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Honglin ShuShu, Honglin Kyushu UniversityJapan Large Language Models for Equivalent Mutant Detection: How Far Are We?
Mohammed Latif SiddiqSiddiq, Mohammed Latif University of Notre DameUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jeongju SohnSohn, Jeongju University of LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Technical Papers-track
Fu SongSong, Fu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software TechnologyChina FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiansen SongSong, Jiansen Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Shuwei SongSong, Shuwei University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wei SongSong, Wei Nanjing University of Science and TechnologyChina FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuezhi SongSong, Xuezhi Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Yang SongSong, Yang William & MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Zhanwei SongSong, Zhanwei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries
Zihe SongSong, Zihe University of Texas at DallasUnited States Guardian: A Runtime Framework for LLM-Based UI Exploration
Ezekiel SoremekunSoremekun, Ezekiel Royal Holloway, University of LondonUnited Kingdom Committee Member in Program Committee within the ISSTA Technical Papers-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Helge SpiekerSpieker, Helge Simula Research LaboratoryNorway Policy Testing with MDPFuzz (Replicability Study)
Prashast SrivastavaSrivastava, Prashast Columbia University, USAUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Cristian-Alexandru StaicuStaicu, Cristian-Alexandru CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Finding Cuts in Static Analysis Graphs to Debloat Software
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Università degli Studi di Napoli Federico IIItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Dominic SteinhöfelSteinhöfel, Dominic CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Bowei SuSu, Bowei Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Yuxin SuSu, Yuxin Sun Yat-sen UniversityChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhendong SuSu, Zhendong ETH ZurichSwitzerland See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Yulei SuiSui, Yulei UNSWAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Chengnian SunSun, Chengnian University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction Committee Member in Program Committee within the ISSTA Technical Papers-track
Hailong SunSun, Hailong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Hao SunSun, Hao ETH ZurichSwitzerland Enhancing ROS System Fuzzing through Callback Tracing
Jun SunSun, Jun Singapore Management UniversitySingapore Certified Continual Learning for Neural Network Regression Committee Member in Program Committee within the ISSTA Technical Papers-track
Limin SunSun, Limin Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DeLink: Source File Information Recovery in Binaries How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Maolin SunSun, Maolin Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Mingyang SunSun, Mingyang University of Electronic Science and Technology of ChinaChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Weisong SunSun, Weisong Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Wenju SunSun, Wenju Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Xiaoxia SunSun, Xiaoxia China Mobile (Suzhou) Software TechnologyChina Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Youcheng SunSun, Youcheng University of ManchesterUnited Kingdom Interpretability Based Neural Network Repair Isolation-Based Debugging for Neural Networks
Yuqiang SunSun, Yuqiang Nanyang Technological University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zeyu SunSun, Zeyu Institute of Software at Chinese Academy of SciencesChina Session Chair of Builds and Testing (part of ISSTA Technical Papers) A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Commit Artifact Preserving Build Prediction Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhensu SunSun, Zhensu Singapore Management UniversitySingapore AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation FDI: Attack Neural Code Generation Systems through User Feedback Channel Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chungha SungSung, Chungha Amazon Web Services, USAUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Chenyao SuoSuo, Chenyao Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Elif SurerSurer, Elif Middle East Technical UniversityTürkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
T Mahan TafreshipourTafreshipour, Mahan University of California at IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States NeuFair: Neural Network Fairness Repair with Dropout
Jovyn TanTan, Jovyn National University of SingaporeSingapore Inconsistencies in TeX-Produced Documents
Shin Hwei TanTan, Shin Hwei Concordia UniversityCanada Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks UPBEAT: Test Input Checks of Q# Quantum Libraries LPR: Large Language Models-Aided Program Reduction Committee Member in Program Committee within the ISSTA Technical Papers-track
Lei TangTang, Lei Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Ze TangTang, Ze Nanjing UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Zhanyong TangTang, Zhanyong Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Florent Teichteil-KoenigsbuchTeichteil-Koenigsbuch, Florent AirbusFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Valerio TerragniTerragni, Valerio University of AucklandNew Zealand Committee Member in Program Committee within the ISSTA Technical Papers-track
Arav TewariTewari, Arav Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
George K. ThiruvathukalThiruvathukal, George K. Loyola University ChicagoUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Patanamon ThongtanunamThongtanunam, Patanamon University of MelbourneAustralia VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction An Empirical Study of Static Analysis Tools for Secure Code Review
Haoye TianTian, Haoye University of MelbourneAustralia CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Senyue TianTian, Senyue East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Wentong TianTian, Wentong Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model
Yifan TianTian, Yifan Fudan UniversityChina DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
Yongqiang TianTian, Yongqiang Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler LPR: Large Language Models-Aided Program Reduction
Zhao TianTian, Zhao Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon UniversityUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Frank TipTip, Frank Northeastern UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Abhishek TiwariTiwari, Abhishek University of PassauGermany Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
Abhishek TiwariTiwari, Abhishek University of Southern Denmark, SDU Software EngineeringDenmark Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States Session Chair of Analyzing Neural Models (part of ISSTA Technical Papers) NeuFair: Neural Network Fairness Repair with Dropout Committee Member in Program Committee within the ISSTA Technical Papers-track
Flavio ToffaliniToffalini, Flavio EPFL Committee Member in Program Committee within the ISSTA Technical Papers-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland Session Chair of Testing Neural Networks (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Anh-Duy TranTran, Anh-Duy imec-DistriNet, KU LeuvenBelgium Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Christoph TreudeTreude, Christoph Singapore Management UniversitySingapore An Empirical Study of Static Analysis Tools for Secure Code Review
Omer TrippTripp, Omer Amazon Web Services Committee Member in Program Committee within the ISSTA Technical Papers-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
V Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Willem VisserVisser, Willem Amazon Web ServicesUnited States Session Chair of Logging and Field Bugs (part of ISSTA Technical Papers)
W Helene WaeselynckWaeselynck, Helene LAAS-CNRSFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hai WanWan, Hai Sun Yat-sen UniversityChina Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking
Yao WanWan, Yao Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Bo WangWang, Bo Beijing Jiaotong UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina SQLess: Dialect-Agnostic SQL Query Simplification
Di WangWang, Di Peking UniversityChina Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Dingbang WangWang, Dingbang University of ConnecticutUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Dong WangWang, Dong Tianjin UniversityChina Large Language Models for Equivalent Mutant Detection: How Far Are We?
Ethan WangWang, Ethan University of California at DavisUnited States UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Guoqing WangWang, Guoqing Peking UniversityChina Commit Artifact Preserving Build Prediction
Haijun WangWang, Haijun Xi’an Jiaotong UniversityChina DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Haitao WangWang, Haitao Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Hao WangWang, Hao Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Hao WangWang, Hao Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients Committee Member in Program Committee within the ISSTA Technical Papers-track
Huanting WangWang, Huanting University of LeedsUnited Kingdom UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ji WangWang, Ji National University of Defense TechnologyChina Synthesizing Boxes Preconditions for Deep Neural Networks Committee Member in Program Committee within the ISSTA Technical Papers-track
Jianrong WangWang, Jianrong Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Jiaqi WangWang, Jiaqi Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Jiashui WangWang, Jiashui Zhejiang UniversityChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Jikai WangWang, Jikai Huazhong University of Science and TechnologyChina NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jingyi WangWang, Jingyi Zhejiang UniversityChina Session Chair of Fairness and Safety of Neural Networks (part of ISSTA Technical Papers) Interpretability Based Neural Network Repair Isolation-Based Debugging for Neural Networks TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development Committee Member in Program Committee within the ISSTA Technical Papers-track
Jue WangWang, Jue Nanjing UniversityChina Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Junjie WangWang, Junjie Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Junjie WangWang, Junjie Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Leqing WangWang, Leqing University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Linzhang WangWang, Linzhang Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Luqiao WangWang, Luqiao Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Qiangqiang WangWang, Qiangqiang Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Qing WangWang, Qing Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Renxiang WangWang, Renxiang Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Ruixin WangWang, Ruixin Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Shangwen WangWang, Shangwen National University of Defense TechnologyChina One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina Silent Taint-Style Vulnerability Fixes Identification SelfPiCo: Self-Guided Partial Code Execution with LLMs ThinkRepair: Self-Directed Automated Program Repair Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuai WangWang, Shuai University of Illinois at Urbana-ChampaignUnited States Revisiting Test-Case Prioritization on Long-Running Test Suites
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyChina See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing Committee Member in Program Committee within the ISSTA Technical Papers-track
Song WangWang, Song York UniversityCanada Domain Adaptation for Code Model-Based Unit Test Case Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Tong WangWang, Tong Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Wei WangWang, Wei Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Weihang WangWang, Weihang University of Southern California Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Xingyu WangWang, Xingyu Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Yanlin WangWang, Yanlin Sun Yat-sen UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yawen WangWang, Yawen Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Yidong WangWang, Yidong Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Yongjiang WangWang, Yongjiang Fudan UniversityChina Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
You WangWang, You Zhejiang UniversityChina Automating Zero-Shot Patch Porting for Hard Forks
Yujie WangWang, Yujie Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Yuxing WangWang, Yuxing Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Zheng WangWang, Zheng University of LeedsUnited Kingdom UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhijie WangWang, Zhijie University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhuangda WangWang, Zhuangda Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Heike WehrheimWehrheim, Heike University of Oldenburg Committee Member in Program Committee within the ISSTA Technical Papers-track
Guannan WeiWei, Guannan Inria/ENS; Tufts UniversityFrance Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Haolai WeiWei, Haolai Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs Testing Gremlin-Based Graph Database Systems via Query Disassembling
Lili WeiWei, Lili McGill UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Minjie WeiWei, Minjie Xidian UniversityChina One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Shiyi WeiWei, Shiyi University of Texas at DallasUnited States Session Chair of Fuzzing 1 (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuxiang WeiWei, Yuxiang University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ming WenWen, Ming Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair
Xin-Cheng WenWen, Xin-Cheng Harbin Institute of TechnologyChina SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Zhongzhen WenWen, Zhongzhen Nanjing UniversityChina Silent Taint-Style Vulnerability Fixes Identification
Shihao WengWeng, Shihao Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Siyang WengWeng, Siyang East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Dennis WilsonWilson, Dennis ISAE SUPAEROFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Christian WimmerWimmer, Christian Oracle LabsUnited States Finding Cuts in Static Analysis Graphs to Debloat Software Committee Member in Program Committee within the ISSTA Technical Papers-track
Stefan WinterWinter, Stefan Ulm University and LMU MunichGermany Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Artifact Evaluation Co-Chair in Organizing Committee for ISSTA 2024 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Joseph WooWoo, Joseph Purdue UniversityUnited States Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Boyu WuWu, Boyu Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Feifan WuWu, Feifan Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Jiajing WuWu, Jiajing Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Mengzhou WuWu, Mengzhou Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Rongxin WuWu, Rongxin Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuohan WuWu, Shuohan Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients
Wei WuWu, Wei Central South University; Xiangjiang LaboratoryChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Yang WuWu, Yang Huazhong University of Science and TechnologyChina Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Yifan WuWu, Yifan Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yijian WuWu, Yijian Fudan UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging
Yueming WuWu, Yueming Nanyang Technological UniversitySingapore Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhiying WuWu, Zhiying Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
X Chunqiu Steven XiaXia, Chunqiu Steven University of Illinois at Urbana-ChampaignUnited States Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT
Mingyuan XiaXia, Mingyuan AppetizerIOChina Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Qing XiaXia, Qing Institute of Software at Chinese Academy of SciencesChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Xin XiaXia, Xin HuaweiChina SelfPiCo: Self-Guided Partial Code Execution with LLMs Automating Zero-Shot Patch Porting for Hard Forks Practitioners’ Expectations on Automated Test Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Yingfeng XiaXia, Yingfeng Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Xi XiaoXiao, Xi Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yang XiaoXiao, Yang Chinese Academy of SciencesChina SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
Yuan XiaoXiao, Yuan Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Dongchen XieXie, Dongchen Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Jundong XieXie, Jundong Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Linna XieXie, Linna Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments
Maoyi XieXie, Maoyi Nanyang Technological UniversitySingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Rui XieXie, Rui Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Tao XieXie, Tao Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation Bugs in Pods: Understanding Bugs in Container Runtime Systems FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyuan XieXie, Xiaoyuan Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements Committee Member in Program Committee within the ISSTA Technical Papers-track
Xuan XieXie, Xuan University of AlbertaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Qi XinXin, Qi Wuhan UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zezhong XingXing, Zezhong Southern University of Science and TechnologyChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Zhenchang XingXing, Zhenchang CSIRO’s Data61; Australian National UniversityAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Hao XiongXiong, Hao Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Baowen XuXu, Baowen Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Fanjiang XuXu, Fanjiang Institute of Software at Chinese Academy of SciencesChina Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Guandong XuXu, Guandong University of TechnologyAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Jinchen XuXu, Jinchen Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Liang XuXu, Liang Jinling Institute of TechnologyChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Qingxin XuXu, Qingxin Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina An Empirical Study on Kubernetes Operator Bugs
Tongtong XuXu, Tongtong HuaweiChina Silent Taint-Style Vulnerability Fixes Identification
Xiangzhe XuXu, Xiangzhe Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yiru XuXu, Yiru Tsinghua UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Zhengfeng XuXu, Zhengfeng Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks
Zhengzi XuXu, Zhengzi Nanyang Technological University; Imperial Global SingaporeSingapore DeLink: Source File Information Recovery in Binaries
Zhenyang XuXu, Zhenyang University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction
Jifeng XuanXuan, Jifeng Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Qi XuanXuan, Qi Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Yue XueXue, Yue MetaTrust LabsSingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Zhipeng XueXue, Zhipeng SelfPiCo: Self-Guided Partial Code Execution with LLMs
Zhiyi XueXue, Zhiyi East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Y Jiwei YanYan, Jiwei Institute of Software at Chinese Academy of SciencesChina Synthesis-Based Enhancement for GUI Test Case Migration Committee Member in Program Committee within the ISSTA Technical Papers-track
Meng YanYan, Meng Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyong YanYan, Xiaoyong Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Boyang YangYang, Boyang Yanshan University; Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Chengcheng YangYang, Chengcheng East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Chenyuan YangYang, Chenyuan University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Guowei YangYang, Guowei University of QueenslandAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Hongru YangYang, Hongru Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jinqiu YangYang, Jinqiu Concordia UniversityCanada Committee Member in Program Committee within the ISSTA Technical Papers-track
Jun YangYang, Jun University of Illinois at Urbana-ChampaignUnited States Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Junjie YangYang, Junjie College of Intelligence and Computing, Tianjin UniversityChina A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models
Lin YangYang, Lin Tianjin UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Min YangYang, Min Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Mingke YangYang, Mingke ShanghaiTech UniversityChina DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation
Ping YangYang, Ping Bytedance Network TechnologyChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Tianyi YangYang, Tianyi Chinese University of Hong KongHong Kong MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Wei YangYang, Wei University of Texas at DallasUnited States Guardian: A Runtime Framework for LLM-Based UI Exploration Committee Member in Program Committee within the ISSTA Technical Papers-track
Wenwu YangYang, Wenwu University of Electronic Science and Technology of ChinaChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Xiaohu YangYang, Xiaohu Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Xiaoniu YangYang, Xiaoniu Zhejiang University of Technology; National Key Laboratory of Electromagnetic Space SecurityChina Interpretability Based Neural Network Repair
Xiaoyi YangYang, Xiaoyi Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Yibiao YangYang, Yibiao Nanjing UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yihan YangYang, Yihan Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Yongqiang YangYang, Yongqiang Huawei Cloud Computing TechnologyChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Zezhou YangYang, Zezhou Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Zhou YangYang, Zhou Singapore Management UniversitySingapore AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation
Peisen YaoYao, Peisen Zhejiang UniversityChina Precise Compositional Buffer Overflow Detection via Heap Disjointness Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuan YaoYao, Yuan Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Guixin YeYe, Guixin Northwest UniversityChina UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Program Committee within the ISSTA Technical Papers-track
Mingxi YeYe, Mingxi Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Wei YeYe, Wei Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Zhenyu YeYe, Zhenyu Hunan UniversityChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Jooyong YiYi, Jooyong UNISTSouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs
Heng YinYin, Heng University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Xin YinYin, Xin Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Xizhe YinYin, Xizhe Nanjing UniversityChina FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Yining YinYin, Yining Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Xinlei YingYing, Xinlei Ant GroupChina Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Shin YooYoo, Shin Korea Advanced Institute of Science and TechnologySouth Korea Committee Member in Program Committee within the ISSTA Technical Papers-track
Nianhao YouYou, Nianhao Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Wei YouYou, Wei Renmin University of ChinaChina Session Chair of Vulnerabilities and Malware (part of ISSTA Technical Papers) Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Cody Hao YuYu, Cody Hao BosonAIUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Donghui YuYu, Donghui Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Haoran YuYu, Haoran Beijing JudaoYouda Network TechnologyChina CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors
Jiongchi YuYu, Jiongchi Singapore Management UniversitySingapore Bugs in Pods: Understanding Bugs in Container Runtime Systems Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Junze YuYu, Junze Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Shengcheng YuYu, Shengcheng Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Tingting YuYu, Tingting University of ConnecticutUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiao YuYu, Xiao HuaweiChina Practitioners’ Expectations on Automated Test Generation
Zeliang YuYu, Zeliang Huazhong University of Science and TechnologyChina Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset
Zheng YuYu, Zheng Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zheng YuYu, Zheng Northwestern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wei YuanYuan, Wei Huazhong University of Science and TechnologyChina Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Yuanyuan YuanYuan, Yuanyuan Hong Kong University of Science and TechnologyChina See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing
Tao YueYue, Tao Beihang UniversityChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Z Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Session Chair of Debugging (part of ISSTA Technical Papers) Session Chair of Code Mutation and Reduction (part of ISSTA Technical Papers) Committee Member in Program Committee within the ISSTA Technical Papers-track
Huazheng ZengZeng, Huazheng Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Limin ZengZeng, Limin Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Ruiying ZengZeng, Ruiying Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Zhengran ZengZeng, Zhengran Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Juan ZhaiZhai, Juan University of Massachusetts at AmherstUnited States Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Cen ZhangZhang, Cen Nanyang Technological UniversitySingapore Bugs in Pods: Understanding Bugs in Container Runtime Systems How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Chao ZhangZhang, Chao Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection Committee Member in Program Committee within the ISSTA Technical Papers-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Precise Compositional Buffer Overflow Detection via Heap Disjointness Committee Member in Program Committee within the ISSTA Technical Papers-track
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Fengwei ZhangZhang, Fengwei Southern University of Science and TechnologyChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor Committee Member in Program Committee within the ISSTA Technical Papers-track
Hao ZhangZhang, Hao MetaTrust LabsSingapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
He ZhangZhang, He Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Hongyu ZhangZhang, Hongyu Chongqing UniversityChina Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Committee Member in Program Committee within the ISSTA Technical Papers-track
Huaien ZhangZhang, Huaien The Hong Kong Polytechnic UniversityChina Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks
Hui ZhangZhang, Hui Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Session Chair of Static Analysis and Verification (part of ISSTA Technical Papers)
Jian ZhangZhang, Jian Nanyang Technological UniversitySingapore PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
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 Technical Papers-track
Jiyang ZhangZhang, Jiyang University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Kaikai ZhangZhang, Kaikai Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ISSTA 2024 Session Chair of Safety-Critical Systems (part of ISSTA Technical Papers) Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT Software Quality Assurance in the Era of Large Language Models Committee Member in Program Committee within the ISSTA Technical Papers-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Lu ZhangZhang, Lu Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Man ZhangZhang, Man Beihang University, China Committee Member in Program Committee within the ISSTA Technical Papers-track
Mengxiao ZhangZhang, Mengxiao University of WaterlooCanada LPR: Large Language Models-Aided Program Reduction
Min ZhangZhang, Min East China Normal UniversityChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Mingxue ZhangZhang, Mingxue Chinese University of Hong KongChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Mu ZhangZhang, Mu University of UtahUnited States WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Neng ZhangZhang, Neng Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Qian ZhangZhang, Qian University of California at RiversideUnited States Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks Committee Member in Program Committee within the ISSTA Technical Papers-track
Quan ZhangZhang, Quan Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Quanjun ZhangZhang, Quanjun Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Rong ZhangZhang, Rong East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Ruikai ZhangZhang, Ruikai Huawei Cloud Computing TechnologiesChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Runze ZhangZhang, Runze Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shikun ZhangZhang, Shikun Peking UniversityChina CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Tian ZhangZhang, Tian Nanjing UniversityChina BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments Distance-Aware Test Input Selection for Deep Neural Networks Silent Taint-Style Vulnerability Fixes Identification
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Weijie ZhangZhang, Weijie Jiangsu University of Science and TechnologyChina Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjie ZhangZhang, Wenjie Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Wuqi ZhangZhang, Wuqi Hong Kong University of Science and TechnologyChina Towards Understanding the Bugs in Solidity Compiler Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaohong ZhangZhang, Xiaohong Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Xiaoyu ZhangZhang, Xiaoyu Xi’an Jiaotong UniversityChina Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xingjian ZhangZhang, Xingjian Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Xueling ZhangZhang, Xueling Rochester Institute of Technology Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes
Yakun ZhangZhang, Yakun Peking UniversityChina Synthesis-Based Enhancement for GUI Test Case Migration
Yang ZhangZhang, Yang Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Yaosheng ZhangZhang, Yaosheng Chongqing UniversityChina CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding
Ying ZhangZhang, Ying Peking UniversityChina Guardian: A Runtime Framework for LLM-Based UI Exploration
Yixuan ZhangZhang, Yixuan Peking UniversityChina WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation
Yuan ZhangZhang, Yuan Fudan UniversityChina VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing
Yuanyuan ZhangZhang, Yuanyuan Shanghai Jiao Tong UniversityChina DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Yuntong ZhangZhang, Yuntong National University of SingaporeSingapore AutoCodeRover: Autonomous Program Improvement
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhaoxu ZhangZhang, Zhaoxu University of Southern CaliforniaUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Zhijie ZhangZhang, Zhijie Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States Define-Use Guided Path Exploration for Better Forced Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Zuoyan ZhangZhang, Zuoyan Hunan UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Gang ZhaoZhao, Gang Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Committee Member in Program Committee within the ISSTA Technical Papers-track
Jie ZhaoZhao, Jie Hunan UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Jishen ZhaoZhao, Jishen University of California at San DiegoUnited States Multi-modal Learning for WebAssembly Reverse Engineering
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems
Wenxuan ZhaoZhao, Wenxuan Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Yanjie ZhaoZhao, Yanjie Huazhong University of Science and TechnologyChina Committee Member in Program Committee within the ISSTA Technical Papers-track
Yanyang ZhaoZhao, Yanyang Tsinghua UniversityChina Logos: Log Guided Fuzzing for Protocol Implementations
Yifan ZhaoZhao, Yifan Peking UniversityChina Commit Artifact Preserving Build Prediction Synthesis-Based Enhancement for GUI Test Case Migration
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Yu ZhaoZhao, Yu University of CincinnatiUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Yutong ZhaoZhao, Yutong University of Central MissouriUnited States One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Zhihong ZhaoZhao, Zhihong Nanjing UniversityChina Datactive: Data Fault Localization for Object Detection Systems
Yi ZhenZhen, Yi IndependentChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Peilin ZhengZheng, Peilin Sun Yat-sen UniversityChina LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Yaowen ZhengZheng, Yaowen Nanyang Technological UniversitySingapore How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Yingying ZhengZheng, Yingying Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Hua ZhongZhong, Hua Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Wanjun ZhongZhong, Wanjun Sun Yat-sen UniversityChina When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Aoying ZhouZhou, Aoying East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Bei ZhouZhou, Bei Information Engineering UniversityChina Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Chijin ZhouZhou, Chijin Tsinghua UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Hao ZhouZhou, Hao Hong Kong Polytechnic UniversityChina Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiayuan ZhouZhou, Jiayuan HuaweiCanada Silent Taint-Style Vulnerability Fixes Identification
Jun ZhouZhou, Jun Zhejiang University of Technology; Binjiang Institute of Artificial IntelligenceChina Interpretability Based Neural Network Repair
Kaihang ZhouZhou, Kaihang Zhejiang UniversityChina Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Lei ZhouZhou, Lei National University of Defense TechnologyChina FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor
Mingyi ZhouZhou, Mingyi Monash UniversityAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Xuan ZhouZhou, Xuan East China Normal UniversityChina DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Yajin ZhouZhou, Yajin Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation CenterChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Yangfan ZhouZhou, Yangfan Fudan UniversityChina Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Ying ZhouZhou, Ying George Mason UniversityUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Yuchen ZhouZhou, Yuchen Beijing University of TechnologyChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection
Zhuotong ZhouZhou, Zhuotong Fudan UniversityChina Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Jiaxin ZhuZhu, Jiaxin Institute of Software at Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Jieming ZhuZhu, Jieming Huawei Noah’s Ark LabChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Qihao ZhuZhu, Qihao DeepSeek-AIChina Synthesis-Based Enhancement for GUI Test Case Migration
Wenyu ZhuZhu, Wenyu Tsinghua UniversityChina CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Xiazijian ZouZou, Xiazijian Central South UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement

ISSTA 2024 Contributors

Results (915)

Tracks

ISSTA/ECOOP 2024