ISSTA 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (912)

A Rui AbreuAbreu, Rui Meta & University of PortoPortugal Evaluating the Trustworthiness of Deep Neural Networks in Deployment - A Comparative Study (Replicability Study)
Mathieu AcherAcher, Mathieu University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance 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, IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Elvira AlbertAlbert, Elvira Complutense University of Madrid 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 Columbia 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 University, USA 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 University 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, CAS; School of Cyber Security, UCAS 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 Airbus 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 Potsdam, Germany 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
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 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 Committee Member in Program Committee within the ISSTA Technical Papers-track
Haipeng CaiCai, Haipeng Washington State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaobao CaiCai, Xiaobao Fudan University 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
Zhipeng CaiCai, Zhipeng School of Computer Science, Wuhan UniversityChina FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements
Aysu Betin CanCan, Aysu Betin Department of Information Systems, Graduate School of Informatics, Middle East Technical University, Ankara, Tü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 Telecommunications WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation
Xuejie CaoCao, Xuejie College of Intelligence and Computing, Tianjin University Large Language Models for Equivalent Mutant Detection: How Far are We?
Ying CaoCao, Ying Institute of Information Engineering at Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Yuan CaoCao, Yuan Peking University Guardian: A Runtime Framework for LLM-based UI Exploration
Yukai CaoCao, Yukai Zhejiang University 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 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) The 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 Technical University of Munich (TUM)Germany Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Chunyang ChenChen, Chunyang Monash UniversityAustralia 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
David ChenChen, David Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Hao ChenChen, Hao University of California, Davis 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 When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis 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 University, ChinaChina 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 UniversityChina Isolation-Based Debugging for Neural Networks TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Juan ChenChen, Juan Xihua University, ChinaChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Junjie ChenChen, Junjie Tianjin UniversityChina A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis Towards Understanding the Bugs in Solidity Compiler Large Language Models for Equivalent Mutant Detection: How Far are We? Committee Member in Program Committee within the ISSTA Technical Papers-track
Kai ChenChen, Kai Institute of Information Engineering at 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 University LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina 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, Chinese Academy of Sciences Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
Polong ChenChen, Polong Sun Yat-Sen University Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
Sen ChenChen, Sen Tianjin UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software Bugs in Pods: Understanding Bugs in Container Runtime Systems 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 LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Decoding Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Xiao ChenChen, Xiao University of Newcastle, AustraliaAustralia Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
Xiaohong ChenChen, Xiaohong ECNUChina LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Xiaohui ChenChen, Xiaohui Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences DeLink: Source File Information Recovery in Binaries
Yan ChenChen, Yan Zhejiang University 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 University 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 Technology, ShenzhenChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code
Yuqi ChenChen, Yuqi ShanghaiTech University, ChinaChina 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 School of Software Engineering, Sun Yat-sen University A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?
Zuohui ChenChen, Zuohui Zhejiang University of Technology 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 University 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
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
Myra CohenCohen, Myra Iowa State UniversityUnited States 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 Madrid Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Di CuiCui, Di One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Mengqi CuiCui, Mengqi Information Engineering University 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 Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
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 Feedback-Directed Partial Execution Committee Member in Program Committee within the ISSTA Technical Papers-track
Jiarun DaiDai, Jiarun Fudan University VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
Qinming DaiDai, Qinming Zhejiang UniversityChina 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 Department of Information Systems, Graduate School of Informatics, Middle East Technical University, Ankara, Türkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Huan DengDeng, Huan NKLSTISS, Institute of Systems Engineering, Academy of Military Sciences, China 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 AI 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 University, ChinaChina 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 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 Studies Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
Qingpeng DuDu, Qingpeng Beijing University of Posts and Telecommunications Logos: Log Guided Fuzzing for Protocol Implementations
Xiaoning DuDu, Xiaoning Monash University, Australia FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach with Graph-State Persistence Oracle Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiaoyong DuDu, Xiaoyong Renmin University of China Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach 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 Dortmund UniversityGermany 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 University 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 n, nHong Kong SAR China 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 University DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Weiyuan FangFang, Weiyuan SUN YAT-SEN UNIVERSITY Learning to SAT-verifiably Check LTL Satisfiability 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 Washington Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Cong FengFeng, Cong Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd 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 FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation Datactive: Data Fault Localization for Object Detection Systems 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 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 Committee Member in Program Committee within the ISSTA Technical Papers-track
Cuiying GaoGao, Cuiying Huazhong University of Science and Technology Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Cuiyun GaoGao, Cuiyun Harbin Institute of TechnologyChina Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code SCALE: Constructing Symbolic 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 The Chinese University of Hong Kong SCALE: Constructing Symbolic Comment Trees for Software Vulnerability Detection
Xiang GaoGao, Xiang 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 Committee Member in Program Committee within the ISSTA Technical Papers-track
Xiangshan GaoGao, Xiangshan Zhejiang University and Huawei Technology TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Xinyu GaoGao, Xinyu 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, Chinese Academy of Sciences, ChinaChina An Empirical Study on Kubernetes Operator Bugs Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zeyu GaoGao, Zeyu Tsinghua UniversityChina CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
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 University 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 University 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 Inc., NASA Ames Evaluating the Trustworthiness of 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 Universidad Complutense de 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 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 Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jiazhen GuGu, Jiazhen The 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 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 University 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 University 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 University, ChinaChina 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
Yiwen GuoGuo, Yiwen Unaffiliated UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Yiyuan GuoGuo, Yiyuan The 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 Haifeng Ruan Haifeng Ruan National University of Singapore Oracle-guided Program Selection from Large Language Models AutoCodeRover: Autonomous Program Improvement
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 Synthesis-based Enhancement for GUI Test Case Migration Commit Artifact Preserving Build Prediction
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 School of Informatics, Xiamen University 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 Domain Adaptation for Code Model-based Unit Test Case Generation
Ishrak HayetHayet, Ishrak North Carolina State University Feedback-Directed Partial Execution
Biao HeHe, Biao Ant Group 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 University 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 Jingdong GroupChina 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 University Your "Notice" is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Yifeng HeHe, Yifeng University of California, Davis 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 China Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Dominik HelmHelm, Dominik TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, DarmstadtGermany 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 University of Potsdam; Hasso Plattner InstituteGermany 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
Long Pham HongHong, Long Pham Singapore Management University Certified Continual Learning for Neural Network Regression
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 University Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Jie HuHu, Jie University of California Riverside 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 University One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Ming HuHu, Ming Singapore Management 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 Automating Zero-Shot Patch Porting for Hard Forks Silent Taint-Style Vulnerability Fixes Identification SelfPiCo: Self-Guided Partial Code Execution with LLMs 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 Tencent UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Jianjun HuangHuang, Jianjun Renmin University of China, ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Junjie HuangHuang, Junjie The Chinese University of Hong Kong 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 Chinese Academy of Sciences Testing Gremlin-Based Graph Database Systems via Query Disassembling
Xilin HuangHuang, Xilin Ant Group 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 University 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 The Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Hieu HuynhHuynh, Hieu Katalon LLC. 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 University Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Seyeon JeongJeong, Seyeon Suresofttech Inc. 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 University 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 Technology Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Jiajun JiangJiang, Jiajun Tianjin UniversityChina A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach with Graph-State Persistence Oracle Committee Member in Program Committee within the ISSTA Technical Papers-track
Tingting JiangJiang, Tingting Guotai Junan Securities Co., Ltd 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 Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement Logos: Log Guided Fuzzing for Protocol Implementations Enhancing ROS System Fuzzing through Callback Tracing Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhihan JiangJiang, Zhihan The 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 Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset Committee Member in Program Committee within the ISSTA Technical Papers-track
Shunfu JinJin, Shunfu Yanshan University 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
Qiu JunmingJunming, Qiu SUN YAT-SEN UNIVERSITY Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
René JustJust, René University of WashingtonUnited States Keynote on Sep 20 Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs 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 Washington 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 Darmstadt, GermanyGermany 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 Kyungpook National UniversitySouth Korea Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-call Bugs
Hyungseok KimKim, Hyungseok The Affiliated Institute of ETRI AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Soomin KimKim, Soomin KAIST AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Jacques KleinKlein, Jacques 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
Erik KocinareKocinare, Erik Purdue University 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 NKLSTISS, Institute of Systems Engineering, Academy of Military Sciences, China Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
James KukuckaKukucka, James George Mason University 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 Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
Ashish KumarKumar, Ashish NeuFair: Neural Network Fairness Repair with Dropout
Benjamin KushigianKushigian, Benjamin University of Washington Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs
Taekyoung KwonKwon, Taekyoung Yonsei University Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-based Mutation
L Yi-Hsiang LaiLai, Yi-Hsiang Amazon Web Services 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 Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach with Graph-State Persistence Oracle
Zhe LangLang, Zhe Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences 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 SUPAERO Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hung LeLe, Hung Deakin University 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 The Chinese University of Hong KongChina MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing
Jungwoo LeeLee, Jungwoo SoftSec Lab., KAIST 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 University Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Chongmin LiLi, Chongmin Nanjing University 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 CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Decoding
Fei LiLi, Fei Information Engineering University 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 Technology Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Hu LiLi, Hu NKLSTISS, Institute of Systems Engineering, Academy of Military Sciences, China Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Jianfeng LiLi, Jianfeng Xi'an Jiaotong University Following the "Thread": Toward Finding Manipulatable Bottlenecks In Blockchain Clients
Jiyuan LiLi, Jiyuan Tianjin University, China Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach with Graph-State Persistence Oracle
Kaixuan LiLi, Kaixuan East China Normal UniversityChina PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software
Keqiang LiLi, Keqiang East China Normal University DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Li LiLi, Li Beihang UniversityChina API Misuse Detection via Probabilistic Graphical Model FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation 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
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun LaboratoryChina Better Not Together: Staged Solving for Context-Free Language Reachability Committee Member in Program Committee within the ISSTA Technical Papers-track
Meng LiLi, Meng Hefei University of TechnologyChina UPBEAT: Test Input Checks of Q# Quantum Libraries
Pan LiLi, Pan MoveBit, Hong Kong Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Pingping LiLi, Pingping Guotai Junan Securities Co., Ltd 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 Automating Zero-Shot Patch Porting for Hard Forks SelfPiCo: Self-Guided Partial Code Execution with LLMs
Shanshan LiLi, Shanshan Software Institute, 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 Sciences; University of 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 China Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjin LiLi, Wenjin NSFOCUS Technologies Group 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 The Chinese University of Hong KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs
Ying LiLi, Ying University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yuekang LiLi, Yuekang The University of New South WalesAustralia 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 China Distance-Aware Test Input Selection for Deep Neural Networks
Zhongrui LiLi, Zhongrui Fudan University VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
zihao lili, zihao The Hong Kong Polytechnic Universituy 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 China, ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Pingjia LiangLiang, Pingjia Sun Yat-Sen University Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
Qingyuan LiangLiang, Qingyuan Peking University Commit Artifact Preserving Build Prediction
Ruigang LiangLiang, Ruigang Institute of Information Engineering at Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shuyun LiangLiang, Shuyun Southern University of Science and Technology Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks via Two-Dimensional Testing
Liangguo Liangguo East China Normal University LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Lizhi LiaoLiao, Lizhi University of WaterlooCanada 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 School of Informatics, Xiamen UniversityChina SQLess: Dialect-Agnostic SQL Query Simplification
Xingwei LinLin, Xingwei Zhejiang University Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging 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
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 University of Potsdam; Hasso Plattner InstituteGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Chao LiuLiu, Chao Chongqing University CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Decoding
Chen LiuLiu, Chen Clarkson University 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 University 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 University CooTest: An Automated Testing Approach for V2X Communication Systems
Jianzhong LiuLiu, Jianzhong ShanghaiTech UniversityChina Enhancing ROS System Fuzzing through Callback Tracing
Jinyang LiuLiu, Jinyang The 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 University Practitioners’ Expectations on Automated Test Generation
Long LiuLiu, Long Ant Group Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment
Pei LiuLiu, Pei Data61 at CSIRO, AustraliaAustralia 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 Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach 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 Technology Synthesizing Boxes Preconditions for Deep Neural Networks
Yang LiuLiu, Yang Shanghai Maritime University/National University of Singapore DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Ye LiuLiu, Ye Nanyang Technological University 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
Zengyu LiuLiu, Zengyu College of Computer Science and Technology, National University of Defense Technology, Changsha 410073, China 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 FDI: Attack Neural Code Generation Systems through User Feedback Channel CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-Decoding AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation Practitioners’ Expectations on Automated Test Generation
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 SKLP, Institute of Computing Technology, CAS 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 Can Graph Database Systems Correctly Handle Writing Operations? A Metamorphic Testing Approach with Graph-State Persistence Oracle
Yi LuLu, Yi BitsLab, Singapore 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 The Hong Kong Polytechnic University Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Weilin LuoLuo, Weilin Sun Yat-Sen University Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking
Xiapu LuoLuo, Xiapu The Hong Kong Polytechnic UniversityChina FDI: Attack Neural Code Generation Systems through User Feedback Channel Following the "Thread": Toward Finding Manipulatable Bottlenecks In Blockchain Clients LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis Committee Member in Program Committee within the ISSTA Technical Papers-track
Zhengxiong LuoLuo, Zhengxiong Tsinghua University 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 AI VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
lvshichaolvshichao College of Cyberspace Security, Chinese Academy of Sciences 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 KongChina A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? SCALE: Constructing Symbolic Comment Trees for Software Vulnerability Detection MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuangyu LyuLyu, Shuangyu Beihang University 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, 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 University, Singapore How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Yuchi MaMa, Yuchi Huawei Cloud Computing Technologies CO., LTD. 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 Florida 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 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 University College LondonUnited Kingdom 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 Peking UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Dan MengMeng, Dan Institute of Information Engineering, Chinese Academy of Sciences Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ali MesbahMesbah, Ali The University of British ColumbiaCanada Semantic Constraint Inference for Web Form Test Generation
Mira MeziniMezini, Mira TU DarmstadtGermany 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 University 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 Melbourne 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 University of Science, VNU-HCM; Katalon LLC. Segment-based Test Case Prioritization: a Multi-objective Approach
Hung Nguyen-DuyNguyen-Duy, Hung Independent Researcher VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction
Chao NiNi, Chao School of Software Technology, Zhejiang UniversityChina ThinkRepair: Self-Directed Automated Program Repair
Lyu NiNi, Lyu East China Normal University 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 Labs, PotsdamGermany Finding Cuts in Static Analysis Graphs to Debloat Software
Zhenyu NingNing, Zhenyu Hunan University; Southern University of Science and TechnologyChina 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-Champaign Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs
Yu OuyangOuyang, Yu Ant Group 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 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 Distance-Aware Test Input Selection for Deep Neural Networks BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments 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 Committee Member in Program Committee within the ISSTA Technical Papers-track
Sangeon ParkPark, Sangeon Harvey Mudd CollegeUnited States Interprocedural Path Complexity Analysis
Corina PasareanuPasareanu, Corina Evaluating the Trustworthiness of Deep Neural Networks in Deployment - A Comparative Study (Replicability Study)
Kexin PeiPei, Kexin Columbia University; University of ChicagoUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yu PeiPei, Yu The 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 via Two-Dimensional Testing
Yunrui PeiPei, Yunrui Shanghai Jiao Tong UniversityChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Ruikang PengPeng, Ruikang Central South University Logos: Log Guided Fuzzing for Protocol Implementations
Xin PengPeng, Xin 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 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
Nhu PhamPham, Nhu University of Science, VNU-HCM; Katalon LLC. Segment-based Test Case Prioritization: a Multi-objective Approach
Thuan PhamPham, Thuan The University of Melbourne 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 Luxembourg 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 University Evaluating the Trustworthiness of 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 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 University 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
Q Zhengwei QiQi, Zhengwei Shanghai Jiao Tong University Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs
Peng QianQian, Peng Zhejiang University 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 CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Mingran QiuQiu, Mingran Zhejiang UniversityChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Yuxin QiuQiu, Yuxin University of California, 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 Md Rafiqul Islam RabinRabin, Md Rafiqul Islam University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Emmanuel RachelsonRachelson, Emmanuel ISAE SUPAERO 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 The University of Hong KongChina 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 Detecting Build Dependency Errors in Incremental Builds Inconsistencies in TeX-produced Documents Workshops Chair in Workshops Committee within the ISSTA/ECOOP Workshops-track
Guillermo Román-DíezRomán-Díez, Guillermo Universidad Politécnica de Madrid 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, Davis UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Tobias RothRoth, Tobias Technische Universität DarmstadtGermany 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
Julia RubinRubin, Julia University of British ColumbiaCanada Keynote on Sep 19
Albert RubioRubio, Albert Complutense University of Madrid Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
S 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 University 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 University, USAUnited States Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches
Nicolas SchneiderSchneider, Nicolas Airbus 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 University Feedback-Directed Partial Execution
R. SekarSekar, R. Stony Brook University 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 Columbia Semantic Constraint Inference for Web Form Test Generation
Arooba ShahoorShahoor, Arooba Kyungpook National University 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 Technology 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 The Chinese University of Hong KongChina 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 Zhejing UniversityChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph Bugs in Pods: Understanding Bugs in Container Runtime Systems
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 SKLP, Institute of Computing Technology, CASChina 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, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
Heyuan ShiShi, Heyuan Central South UniversityChina Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement Logos: Log Guided Fuzzing for Protocol Implementations Enhancing ROS System Fuzzing through Callback Tracing
Jiangfan ShiShi, Jiangfan Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Jie ShiShi, Jie Huawei International TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development
Ling ShiShi, Ling Nanyang Technological University 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 China, ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
zhiqiang shishi, zhiqiang Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, 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 State Key Laboratory of Computer Science and Institute of Software, Chinese Academy of Sciences.China 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 Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Shuwei SongSong, Shuwei University of Electronic Science and Technology of China 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 College of William and MaryUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Zhanwei SongSong, Zhanwei Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS; School of Cyber Security, University of Chinese Academy of Sciences 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 Laboratory, NorwayNorway 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 University LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts
Yuxin SuSu, Yuxin Sun Yat-sen University 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 School of Information Systems, Singapore Management University, SingaporeSingapore 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, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,China How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation DeLink: Source File Information Recovery in Binaries
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 CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Weisong SunSun, Weisong Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
Wenju SunSun, Wenju CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Xiaoxia SunSun, Xiaoxia China Mobile (Suzhou) Software Technology Co., Ltd. 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 The University of ManchesterUnited Kingdom Isolation-Based Debugging for Neural Networks Interpretability based Neural Network Repair
Yuqiang SunSun, Yuqiang Nanyang Technological University Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zeyu SunSun, Zeyu Institute of Software, Chinese Academy of SciencesChina 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 FDI: Attack Neural Code Generation Systems through User Feedback Channel AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation 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 College of Intelligence and Computing, Tianjin University Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Elif SurerSurer, Elif Department of Modeling and Simulation, Graduate School of Informatics, Middle East Technical University, Ankara, Türkiye Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
T Mahan TafreshipourTafreshipour, Mahan University of California, IrvineUnited States Ma11y: A Mutation Framework for Web Accessibility Testing
Gang TanTan, Gang 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 LPR: Large Language Models-Aided Program Reduction UPBEAT: Test Input Checks of Q# Quantum Libraries Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks via Two-Dimensional Testing Committee Member in Program Committee within the ISSTA Technical Papers-track
Lei TangTang, Lei Institute of Software Chinese Academy of Sciences 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 Airbus 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 Chicago and Argonne National Laboratory 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 University 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 The Hong Kong University of Science and TechnologyHong Kong SAR China LPR: Large Language Models-Aided Program Reduction Towards Understanding the Bugs in Solidity Compiler
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 Software Institute - USI, Lugano, SwitzerlandSwitzerland Reproducing Timing-dependent GUI Flaky Tests in Android Apps via A Single Event Delay
Abhishek TiwariTiwari, Abhishek Software Institute, USI - Lugano, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saeid Tizpaz-NiariTizpaz-Niari, Saeid University of Texas at El PasoUnited States 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 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
W Helene WaeselynckWaeselynck, Helene LAAS-CNRSFrance Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)
Hai WanWan, Hai School of Data and Computer Science, Sun Yat-sen UniversityChina Learning to SAT-verifiably Check LTL Satisfiability 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 The 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 Connecticut Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Dong WangWang, Dong Tianjin University, ChinaChina Large Language Models for Equivalent Mutant Detection: How Far are We?
Ethan WangWang, Ethan University of California, Davis UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
Guoqing WangWang, Guoqing Peking University Commit Artifact Preserving Build Prediction
Haijun WangWang, Haijun Xi'an Jiaotong University DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications
Haitao WangWang, Haitao Jisuanke Co. Ltd. CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
Hao WangWang, Hao Tsinghua UniversityChina CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Hao WangWang, Hao Peking University, ChinaChina Guardian: A Runtime Framework for LLM-based UI Exploration
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 Leeds, UK UPBEAT: Test Input Checks of Q# Quantum Libraries Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ji WangWang, Ji School of Computer, National University of Defense Technology, China Synthesizing Boxes Preconditions for Deep Neural Networks Committee Member in Program Committee within the ISSTA Technical Papers-track
Jianrong WangWang, Jianrong College of Intelligence and Computing, Tianjin University Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Jiaqi WangWang, Jiaqi Xidian University One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Jiashui WangWang, Jiashui Zhejiang University 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 Isolation-Based Debugging for Neural Networks Interpretability based Neural Network Repair 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 Tianjin UniversityChina FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
Junjie WangWang, Junjie Institute of Software, Chinese Academy of SciencesChina Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Leqing WangWang, Leqing University of Electronic Science and Technology of China 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, Chinese Academy of SciencesChina Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Renxiang WangWang, Renxiang Zhejiang UniversityChina 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 ThinkRepair: Self-Directed Automated Program Repair Silent Taint-Style Vulnerability Fixes Identification SelfPiCo: Self-Guided Partial Code Execution with LLMs Committee Member in Program Committee within the ISSTA Technical Papers-track
Shuai WangWang, Shuai University of Illinois at Urbana-Champaign Revisiting Test-Case Prioritization on Long-Running Test Suites
Shuai WangWang, Shuai The 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 Institute of Systems Engineering, Academy of Military SciencesChina Dance of the ADS: Orchestrating Failures through Historically-Informed Scenario Fuzzing
Wei WangWang, Wei 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 University 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, Chinese Academy of Sciences 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 University 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 Leeds 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 School of Informatics, Xiamen University 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 Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Haolai WeiWei, Haolai Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing SchoolChina 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 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 Symbolic 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 University DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Dennis WilsonWilson, Dennis ISAE SUPAERO 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 University Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
Boyu WuWu, Boyu University of Chinese Academy of Sciences, Beijing, China Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Feifan WuWu, Feifan Tsinghua University Logos: Log Guided Fuzzing for Protocol Implementations
Jiajing WuWu, Jiajing Sun Yat-sen UniversityChina Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Committee Member in Program Committee within the ISSTA Technical Papers-track
Mengzhou WuWu, Mengzhou Peking University Guardian: A Runtime Framework for LLM-based UI Exploration
Rongxin WuWu, Rongxin School of Informatics, 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 L3S Research Center, Leibniz University Hannover, Germany 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 AppetizerIO 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 Huawei TechnologiesChina Automating Zero-Shot Patch Porting for Hard Forks SelfPiCo: Self-Guided Partial Code Execution with LLMs Practitioners’ Expectations on Automated Test Generation Committee Member in Program Committee within the ISSTA Technical Papers-track
Yingfeng XiaXia, Yingfeng Fudan University Your "Notice" is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Xi XiaoXiao, Xi Tsinghua Shenzhen International Graduate School, Tsinghua UniversityChina CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Committee Member in Program Committee within the ISSTA Technical Papers-track
Yang XiaoXiao, Yang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina SCALE: Constructing Symbolic Comment Trees for Software Vulnerability Detection
Yuan XiaoXiao, Yuan Nanjing UniversityChina CooTest: An Automated Testing Approach for V2X Communication Systems
XiaoweiGuo XiaoweiGuo Huazhong University of Science and TechnologyChina Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge
Dongchen XieXie, Dongchen Renmin University of ChinaChina Define-Use Guided Path Exploration for Better Forced Execution
Jundong XIeXIe, Jundong Ant Group 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 University 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 FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation 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
Xiaoyuan XieXie, Xiaoyuan School of Computer Science, Wuhan University, ChinaChina 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 Technology Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks via Two-Dimensional Testing
Zhenchang XingXing, Zhenchang CSIRO’s Data61; Australian National UniversityAustralia Committee Member in Program Committee within the ISSTA Technical Papers-track
Hao XiongXiong, Hao Zhejiang UniversityChina Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries
Baowen XuXu, Baowen Nanjing University FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Fanjiang XuXu, Fanjiang Institute of Software, Chinese Academy of Sciences Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Guandong XuXu, Guandong University of Technology SydneyAustralia Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
Jinchen XuXu, Jinchen Information Engineering University Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Liang XuXu, Liang Testing Gremlin-Based Graph Database Systems via Query Disassembling
Qingxin XuXu, Qingxin Institute of Software, Chinese Academy of Sciences, ChinaChina An Empirical Study on Kubernetes Operator Bugs
Tongtong XuXu, Tongtong Huawei 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 UniversitySingapore 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 TechnologyChina 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 Labs 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 University LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
Ma XuyanXuyan, Ma University of Chinese Academy of Sciences, Beijing, China; Laboratory for Internet Software Technologies, Institute of Software Chinese Academy of Sciences, Beijing, China; Enhancing Multi-Agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation
Y Jiwei YanYan, Jiwei Institute of Software at Chinese Academy of Sciences, ChinaChina 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 University Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph
Boyang YangYang, Boyang Yanshan University & Jisuanke Co. Ltd.China CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
Chengcheng YangYang, Chengcheng East China Normal University 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 University 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 UIUC 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 College of Intelligence and Computing, Tianjin UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Min YangYang, Min Fudan University VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
Mingke YangYang, Mingke ShanghaiTech University 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 The Chinese University of Hong KongChina 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 China 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 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 Technologies 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, Riverside Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks
Xin YinYin, Xin Zhejiang University, State Key Laboratory for Novel Software TechnologyChina ThinkRepair: Self-Directed Automated Program Repair
Xizhe YinYin, Xizhe Nanjing University FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation
Yining YinYin, Yining Nanjing University, China Datactive: Data Fault Localization for Object Detection Systems
Xinlei YingYing, Xinlei Ant Group 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 University VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-guided Simulation Testing
Wei YouYou, Wei Renmin University of ChinaChina 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 BosonAI Automated Deep Learning Optimization via DSL-Based Source Code Transformation
Donghui YuYu, Donghui Shanghai Jiao Tong University DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Haoran YuYu, Haoran Jisuanke Co. Ltd. CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
Jiongchi YuYu, Jiongchi Singapore Management University 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 University 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 Huawei TechnologiesChina Practitioners’ Expectations on Automated Test Generation
Zeliang YuYu, Zeliang Huazhong University of Science and Technology 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 Technology Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines
Yuanyuan YuanYuan, Yuanyuan The 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
Cai YufanYufan, Cai Shanghai Jiao Tong University; National University of SingaporeChina CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
Liu YunqiYunqi, Liu FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees
Z Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the ISSTA Technical Papers-track
Huazheng ZengZeng, Huazheng Fudan University Your "Notice" is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking
Limin ZengZeng, Limin School of Software Technology, Zhejiang University ThinkRepair: Self-Directed Automated Program Repair
Ruiying ZengZeng, Ruiying Fudan University 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, 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 University DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications Bugs in Pods: Understanding Bugs in Container Runtime Systems How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation
Chao ZhangZhang, Chao Tsinghua UniversityChina CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision Committee Member in Program Committee within the ISSTA Technical Papers-track
Charles ZhangZhang, Charles The 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 Labs 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 Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation 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 Committee Member in Program Committee within the ISSTA Technical Papers-track
Huaien ZhangZhang, Huaien The Hong Kong Polytechnic University, Southern University of Science and Technology Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks via Two-Dimensional Testing
Hui ZhangZhang, Hui Sun Yat-sen UniversityChina DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
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 University DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Lingming ZhangZhang, Lingming University of Illinois Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ISSTA 2024 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 (Keynote on Sep 18) 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, 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 University DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Ruikai ZhangZhang, Ruikai Huawei Cloud Computing Technologies Co., Ltd. When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
Runze ZhangZhang, Runze Institute of Information Engineering at Chinese Academy of SciencesChina Evaluating the Effectiveness of Decompilers
Shikun ZhangZhang, Shikun Peking University CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
Tian ZhangZhang, Tian Nanjing UniversityChina Distance-Aware Test Input Selection for Deep Neural Networks BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments 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 Technology Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis
Wenjie ZhangZhang, Wenjie Peking University Synthesis-based Enhancement for GUI Test Case Migration
Wuqi ZhangZhang, Wuqi The 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 University Efficient DNN-Powered Software with Fair Sparse Models Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xingjian ZhangZhang, Xingjian Zhejiang University 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 University Synthesis-based Enhancement for GUI Test Case Migration
Yang ZhangZhang, Yang Nanjing UniversityChina Detecting Build Dependency Errors in Incremental Builds
Yaosheng ZhangZhang, Yaosheng Chongqing University 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 University 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 University DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling
Yuntong ZhangZhang, Yuntong National University of Singapore 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, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC Prospector: Boosting Directed Greybox Fuzzing for Large-scale Target Sets with Iterative Prioritization
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 University, Changsha, HunanChina Arfa: an Agile Regime-based Floating-point Optimization Approach for Rounding Errors
Gang ZhaoZhao, Gang National Key Laboratory of Science and Technology on Information System Security 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 UCSDUnited 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 School of Computer Science, Fudan University 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 University Logos: Log Guided Fuzzing for Protocol Implementations
Yifan ZhaoZhao, Yifan Peking UniversityChina Synthesis-based Enhancement for GUI Test Case Migration Commit Artifact Preserving Build Prediction
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
Yu ZhaoZhao, Yu University of Central MissouriUnited States Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
Yutong ZhaoZhao, Yutong University of Central Missouri, USAUnited States One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network
Zhihong ZhaoZhao, Zhihong Datactive: Data Fault Localization for Object Detection Systems
Yi ZhenZhen, Yi n.n.China DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3
Peilin ZhengZheng, Peilin Sun Yat-sen University 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 Chinese Academy of SciencesChina Testing Gremlin-Based Graph Database Systems via Query Disassembling
Zibin ZhengZheng, Zibin Sun Yat-sen UniversityChina Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs 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 When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3 Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
Hua ZhongZhong, Hua Institute of Software Chinese Academy of Sciences 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 University DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Bei ZhouZhou, Bei Information Engineering University 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 Interpretability based Neural Network Repair
Kaihang ZhouZhou, Kaihang Zhejiang University 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 University DBStorm: Generating Various Effective Workloads for Testing Isolation Levels
Yajin ZhouZhou, Yajin Zhejiang UniversityChina 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 University, USAUnited States Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
Yuchen ZhouZhou, Yuchen Beijing University of TechnologyChina CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision
Zhuotong ZhouZhou, Zhuotong Fudan University 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 Sciences, China 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 Peking UniversityChina 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 University Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement

ISSTA 2024 Contributors

Results (912)

Tracks

ISSTA/ECOOP 2024