ISSTA 2024
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Powered by
Conference Publishing Consulting

33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), September 16–20, 2024, Vienna, Austria

ISSTA 2024 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P Q R S T V W X Y Z

Abreu, Rui ISSTA '24: "Evaluating Deep Neural Networks ..."
Acher, Mathieu ISSTA '24: "Policy Testing with MDPFuzz ..."
Ahmed, Iftekhar ISSTA '24: "Ma11y: A Mutation Framework ..."
Albert, Elvira ISSTA '24: "Synthesis of Sound and Precise ..."
Alian, Parsa ISSTA '24: "Semantic Constraint Inference ..."
Amalfitano, Domenico ISSTA '24: "FRAFOL: FRAmework FOr Learning ..."
Ammann, Paul ISSTA '24: "An Empirical Examination of ..."
Bai, Guangdong ISSTA '24: "Large Language Models Can ..."
Bai, Mingqiang ISSTA '24: "How Effective Are They? Exploring ..."
Bang, Lucas ISSTA '24: "Interprocedural Path Complexity ..."
Bell, Jonathan ISSTA '24: "An Empirical Examination of ..."
Besse, Yann ISSTA '24: "Exploration-Driven Reinforcement ..."
Betin Can, Aysu ISSTA '24: "Test Selection for Deep Neural ..."
Bi, Yuyang ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..."
Bissyandé, Tegawendé F. ISSTA '24: "CREF: An LLM-Based Conversational ..." ISSTA '24: "Call Graph Soundness in Android ..."
Blumschein, Christoph ISSTA '24: "Finding Cuts in Static Analysis ..."
Bobek, David ISSTA '24: "The Flexcrash Platform for ..."
Brodin, Henrik ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Bu, Lei ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Cai, Xiaobao ISSTA '24: "Reproducing Timing-Dependent ..."
Cai, Yufan ISSTA '24: "CoEdPilot: Recommending Code ..."
Cai, Zhipeng ISSTA '24: "FastLog: An End-to-End Method ..."
Canelas, Paulo ISSTA '24: "Understanding Misconfigurations ..."
Cao, Shangtong ISSTA '24: "WASMaker: Differential Testing ..."
Cao, Xuejie ISSTA '24: "Large Language Models for ..."
Cao, Ying ISSTA '24: "Evaluating the Effectiveness ..."
Cao, Yuan ISSTA '24: "Guardian: A Runtime Framework ..."
Cao, Yukai ISSTA '24: "Automated Data Binding Vulnerability ..."
Cavalcante-Studart, Ana ISSTA '24: "Interprocedural Path Complexity ..."
Cha, Sang Kil ISSTA '24: "AsFuzzer: Differential Testing ..."
Chang, Rui ISSTA '24: "Automated Data Binding Vulnerability ..." ISSTA '24: "Atlas: Automating Cross-Language ..."
Chaparro, Oscar ISSTA '24: "Toward the Automated Localization ..."
Charoenwet, Wachiraphan ISSTA '24: "An Empirical Study of Static ..."
Chen, Bihuan ISSTA '24: "Your “Notice” Is Missing: ..." ISSTA '24: "C2D2: Extracting Critical ..." ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..."
Chen, Chong ISSTA '24: "Identifying Smart Contract ..."
Chen, Chunyang ISSTA '24: "Feedback-Driven Automated ..." ISSTA '24: "Model-less Is the Best Model: ..."
Chen, David ISSTA '24: "Interprocedural Path Complexity ..."
Chen, Hao ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
Chen, Jiachi ISSTA '24: "When to Stop? Towards Efficient ..." ISSTA '24: "Identifying Smart Contract ..." ISSTA '24: "DAppFL: Just-in-Time Fault ..." ISSTA '24: "Empirical Study of Move Smart ..."
Chen, Jialuo ISSTA '24: "TeDA: A Testing Framework ..." ISSTA '24: "Isolation-Based Debugging ..."
Chen, Jianhai ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Chen, Jiming ISSTA '24: "TeDA: A Testing Framework ..." ISSTA '24: "Isolation-Based Debugging ..."
Chen, Juan ISSTA '24: "Enhancing Robustness of Code ..."
Chen, Junjie ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." ISSTA '24: "Towards Understanding the ..." ISSTA '24: "Large Language Models for ..." ISSTA '24: "A Large-Scale Empirical Study ..."
Chen, Kai ISSTA '24: "Evaluating the Effectiveness ..."
Chen, Liangyu ISSTA '24: "LLM4Fin: Fully Automating ..."
Chen, Liqian ISSTA '24: "One Size Does Not Fit All: ..." ISSTA '24: "Synthesizing Boxes Preconditions ..."
Chen, Liwei ISSTA '24: "Prospector: Boosting Directed ..." ISSTA '24: "Sleuth: A Switchable Dual-Mode ..."
Chen, Polong ISSTA '24: "Learning to Check LTL Satisfiability ..."
Chen, Sen ISSTA '24: "Bugs in Pods: Understanding ..." ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Chen, Songqiang ISSTA '24: "FastLog: An End-to-End Method ..."
Chen, Ting ISSTA '24: "Identifying Smart Contract ..." ISSTA '24: "CoSec: On-the-Fly Security ..." ISSTA '24: "Empirical Study of Move Smart ..." ISSTA '24: "LENT-SSE: Leveraging Executed ..."
Chen, Xiangqun ISSTA '24: "SeeWasm: An Efficient and ..."
Chen, Xiao ISSTA '24: "Model-less Is the Best Model: ..."
Chen, Xiaohong ISSTA '24: "LLM4Fin: Fully Automating ..."
Chen, Xiaohui ISSTA '24: "DeLink: Source File Information ..."
Chen, Yan ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Chen, Yang ISSTA '24: "Neurosymbolic Repair of Test ..."
Chen, Yixiang ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Chen, Yixiong ISSTA '24: "Foliage: Nourishing Evolving ..."
Chen, Yizhou ISSTA '24: "Commit Artifact Preserving ..."
Chen, Yujia ISSTA '24: "Bridge and Hint: Extending ..."
Chen, Yuqi ISSTA '24: "DistillSeq: A Framework for ..."
Chen, Zhenyu ISSTA '24: "CooTest: An Automated Testing ..."
Chen, Zhuangbin ISSTA '24: "A Large-Scale Evaluation for ..."
Chen, Zuohui ISSTA '24: "Interpretability Based Neural ..."
Cheng, Peng ISSTA '24: "TeDA: A Testing Framework ..." ISSTA '24: "Isolation-Based Debugging ..."
Cheng, Runxiang ISSTA '24: "Revisiting Test-Case Prioritization ..."
Cheng, Zaiyu ISSTA '24: "JCWIT: A Correctness-Witness ..."
Cheung, Shing-Chi ISSTA '24: "Towards Understanding the ..."
Chu, Zhaoyang ISSTA '24: "Graph Neural Networks for ..."
Cohen, Myra B. ISSTA '24: "Traceback: A Fault Localization ..."
Copia, Juan Manuel ISSTA '24: "FixCheck: A Tool for Improving ..."
Cordeiro, Lucas C. ISSTA '24: "JCWIT: A Correctness-Witness ..." ISSTA '24: "ESBMC-Python: A Bounded Model ..."
Correas, Jesús ISSTA '24: "Synthesis of Sound and Precise ..."
Cui, Baoquan ISSTA '24: "DMMPP: Constructing Dummy ..."
Cui, Di ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Cui, Mengqi ISSTA '24: "Arfa: An Agile Regime-Based ..."
Cui, Ziyu ISSTA '24: "Testing Gremlin-Based Graph ..."
Cuiying, Gao ISSTA '24: "Uncovering and Mitigating ..."
Dai, Jiarun ISSTA '24: "VioHawk: Detecting Traffic ..."
Dai, Qinming ISSTA '24: "Atlas: Automating Cross-Language ..."
D'Amorim, Marcelo ISSTA '24: "Feedback-Directed Partial ..."
Dasu, Vishnu Asutosh ISSTA '24: "NeuFair: Neural Network Fairness ..."
Davis, James C. ISSTA '24: "Interoperability in Deep Learning: ..."
Decrop, Alix ISSTA '24: "Leveraging Natural Language ..."
De Lima Filho, Eddie B. ISSTA '24: "JCWIT: A Correctness-Witness ..." ISSTA '24: "ESBMC-Python: A Bounded Model ..."
Demir, Demet ISSTA '24: "Test Selection for Deep Neural ..."
Deng, Huan ISSTA '24: "Dance of the ADS: Orchestrating ..."
Deshpande, Anmol ISSTA '24: "Ma11y: A Mutation Framework ..."
Dong, Jin Song ISSTA '24: "CoEdPilot: Recommending Code ..."
Dong, Yiwen ISSTA '24: "LPR: Large Language Models-Aided ..."
Dong, Zhen ISSTA '24: "Reproducing Timing-Dependent ..."
Dou, Wensheng ISSTA '24: "Testing Gremlin-Based Graph ..."
Do-Viet, Tung ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Du, Jianfeng ISSTA '24: "Learning to Check LTL Satisfiability ..."
Du, Qingpeng ISSTA '24: "Logos: Log Guided Fuzzing ..."
Du, Xiaoning ISSTA '24: "AI Coders Are among Us: Rethinking ..." ISSTA '24: "FDI: Attack Neural Code Generation ..." ISSTA '24: "Testing Graph Database Systems ..."
Du, Xiaoyong ISSTA '24: "Testing Graph Database Systems ..."
Düsing, Johannes ISSTA '24: "Total Recall? How Good Are ..."
Eom, Jueon ISSTA '24: "Fuzzing JavaScript Interpreters ..."
Ernst, Michael D. ISSTA '24: "Call Graph Soundness in Android ..."
Fan, Gang ISSTA '24: "DAppFL: Just-in-Time Fault ..." ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Fan, Zhiyu ISSTA '24: "AutoCodeRover: Autonomous ..." ISSTA '24: "Oracle-Guided Program Selection ..."
Fang, Chunrong ISSTA '24: "CooTest: An Automated Testing ..."
Fang, Haoran ISSTA '24: "DDGF: Dynamic Directed Greybox ..."
Fang, Weiyuan ISSTA '24: "Learning to Check LTL Satisfiability ..."
Farias, Bruno ISSTA '24: "ESBMC-Python: A Bounded Model ..."
Featherman, Ryan ISSTA '24: "Equivalent Mutants in the ..."
Feng, Cong ISSTA '24: "MicroRes: Versatile Resilience ..."
Feng, Ruitao ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Feng, Sidong ISSTA '24: "Feedback-Driven Automated ..."
Feng, Yang ISSTA '24: "FRIES: Fuzzing Rust Library ..." ISSTA '24: "Datactive: Data Fault Localization ..."
Feng, Yebo ISSTA '24: "DeFort: Automatic Detection ..."
Fiterău-Broştean, Paul ISSTA '24: "SMBugFinder: An Automated ..."
Fonseca, Alcides ISSTA '24: "Understanding Misconfigurations ..."
Freudenthaler, Leon ISSTA '24: "Decentralized Near-Synchronous ..."
Fu, Cai ISSTA '24: "Enhancing Robustness of Code ..."
Gambi, Alessio ISSTA '24: "The Flexcrash Platform for ..."
Gao, Cuiyun ISSTA '24: "SCALE: Constructing Structured ..." ISSTA '24: "Bridge and Hint: Extending ..."
Gao, Shuzheng ISSTA '24: "SCALE: Constructing Structured ..."
Gao, Xiang ISSTA '24: "Model-less Is the Best Model: ..." ISSTA '24: "API Misuse Detection via Probabilistic ..."
Gao, Xiangshan ISSTA '24: "TeDA: A Testing Framework ..."
Gao, Xinyu ISSTA '24: "CooTest: An Automated Testing ..."
Gao, Xuanqi ISSTA '24: "Efficient DNN-Powered Software ..."
Gao, Yu ISSTA '24: "Testing Gremlin-Based Graph ..." ISSTA '24: "An Empirical Study on Kubernetes ..."
Gao, Zeyu ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Gao, Zhipeng ISSTA '24: "SelfPiCo: Self-Guided Partial ..."
Ge, Jidong ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Ge, Xiuting ISSTA '24: "CooTest: An Automated Testing ..."
Gerten, Michael C. ISSTA '24: "Traceback: A Fault Localization ..."
Ghanbari, Ali ISSTA '24: "Decomposition of Deep Neural ..."
Go, Gwihwan ISSTA '24: "Towards More Complete Constraints ..."
Gopinath, Divya ISSTA '24: "Evaluating Deep Neural Networks ..."
Gordillo, Pablo ISSTA '24: "Synthesis of Sound and Precise ..."
Gorla, Alessandra ISSTA '24: "FixCheck: A Tool for Improving ..."
Gotlieb, Arnaud ISSTA '24: "Policy Testing with MDPFuzz ..."
Grundy, John ISSTA '24: "Identifying Smart Contract ..." ISSTA '24: "Model-less Is the Best Model: ..."
Gu, Jiazhen ISSTA '24: "A Large-Scale Evaluation for ..."
Gu, Taotao ISSTA '24: "Dance of the ADS: Orchestrating ..."
Guan, Hanqin ISSTA '24: "SeeWasm: An Efficient and ..."
Guan, Hao ISSTA '24: "Large Language Models Can ..."
Guan, Kevin ISSTA '24: "An In-Depth Study of Runtime ..."
Guan, Nan ISSTA '24: "Enhancing ROS System Fuzzing ..."
Gulcan, Ege Berkay ISSTA '24: "Generalized Concurrency Testing ..."
Guo, An ISSTA '24: "CooTest: An Automated Testing ..."
Guo, Jin ISSTA '24: "Your “Notice” Is Missing: ..."
Guo, Lianghong ISSTA '24: "When to Stop? Towards Efficient ..."
Guo, Qi ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Guo, Xiaochen ISSTA '24: "Maltracker: A Fine-Grained ..."
Guo, Xiaowei ISSTA '24: "Enhancing Robustness of Code ..."
Guo, Yao ISSTA '24: "SeeWasm: An Efficient and ..."
Guo, Yiwen ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
Guo, Yiyuan ISSTA '24: "Precise Compositional Buffer ..."
Halfond, William G. J. ISSTA '24: "Feedback-Driven Automated ..."
Han, Lansheng ISSTA '24: "Enhancing Robustness of Code ..."
Hao, Dan ISSTA '24: "Commit Artifact Preserving ..." ISSTA '24: "Synthesis-Based Enhancement ..."
Hao, Zongyin ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Harmon, Carson ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Hashtroudi, Sepehr ISSTA '24: "Domain Adaptation for Code ..."
Hayet, Ishrak ISSTA '24: "Feedback-Directed Partial ..."
He, Biao ISSTA '24: "Automated Data Binding Vulnerability ..."
He, Dongnan ISSTA '24: "Define-Use Guided Path Exploration ..."
He, Ningyu ISSTA '24: "SeeWasm: An Efficient and ..." ISSTA '24: "WASMaker: Differential Testing ..."
He, Qidan ISSTA '24: "Uncovering and Mitigating ..."
He, Siyang ISSTA '24: "Your “Notice” Is Missing: ..."
He, Yifeng ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
He, Zheyuan ISSTA '24: "Empirical Study of Move Smart ..."
Helm, Dominik ISSTA '24: "Total Recall? How Good Are ..." ISSTA '24: "Unimocg: Modular Call-Graph ..."
Hemmati, Hadi ISSTA '24: "Domain Adaptation for Code ..."
Hermann, Ben ISSTA '24: "Total Recall? How Good Are ..."
Hirschfeld, Robert ISSTA '24: "Finding Cuts in Static Analysis ..."
Hu, Chunming ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Hu, Jiang ISSTA '24: "Identifying Smart Contract ..."
Hu, Jie ISSTA '24: "Calico: Automated Knowledge ..."
Hu, Jingzhao ISSTA '24: "One-to-One or One-to-Many? ..."
Hu, Ming ISSTA '24: "DeFort: Automatic Detection ..."
Hu, Tianmin ISSTA '24: "UPBEAT: Test Input Checks ..."
Hu, Xing ISSTA '24: "SelfPiCo: Self-Guided Partial ..." ISSTA '24: "Practitioners’ Expectations ..." ISSTA '24: "Automating Zero-Shot Patch ..." ISSTA '24: "Silent Taint-Style Vulnerability ..."
Hu, Yupeng ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Huang, Hanxian ISSTA '24: "Multi-modal Learning for WebAssembly ..."
Huang, Jiabo ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
Huang, Jianjun ISSTA '24: "Define-Use Guided Path Exploration ..."
Huang, Junjie ISSTA '24: "A Large-Scale Evaluation for ..."
Huang, Kaifeng ISSTA '24: "Your “Notice” Is Missing: ..."
Huang, Tao ISSTA '24: "Testing Gremlin-Based Graph ..."
Huang, Xilin ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Huang, Yuhuan ISSTA '24: "CoEdPilot: Recommending Code ..."
Huang, Zongan ISSTA '24: "VioHawk: Detecting Traffic ..."
Huo, Yintong ISSTA '24: "Face It Yourselves: An LLM-Based ..." ISSTA '24: "A Large-Scale Evaluation for ..."
Huynh, Hieu ISSTA '24: "Segment-Based Test Case Prioritization: ..."
Jabbarvand, Reyhaneh ISSTA '24: "Neurosymbolic Repair of Test ..." ISSTA '24: "Revisiting Test-Case Prioritization ..."
Jacob, Kerstin ISSTA '24: "Integrating Mutation Techniques ..."
Jajal, Purvish ISSTA '24: "Interoperability in Deep Learning: ..."
Jeong, Seyeon ISSTA '24: "Fuzzing JavaScript Interpreters ..."
Ji, Ruihua ISSTA '24: "Distance-Aware Test Input ..."
Ji, Shouling ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Jiang, Bo ISSTA '24: "CoEdPilot: Recommending Code ..."
Jiang, Haoyu ISSTA '24: "Uncovering and Mitigating ..."