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: "Atlas: Automating Cross-Language ..." ISSTA '24: "Automated Data Binding Vulnerability ..."
Chaparro, Oscar ISSTA '24: "Toward the Automated Localization ..."
Charoenwet, Wachiraphan ISSTA '24: "An Empirical Study of Static ..."
Chen, Bihuan ISSTA '24: "C2D2: Extracting Critical ..." ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." ISSTA '24: "Your “Notice” Is Missing: ..."
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: "DAppFL: Just-in-Time Fault ..." ISSTA '24: "Empirical Study of Move Smart ..." ISSTA '24: "Identifying Smart Contract ..."
Chen, Jialuo ISSTA '24: "Isolation-Based Debugging ..." ISSTA '24: "TeDA: A Testing Framework ..."
Chen, Jianhai ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Chen, Jiming ISSTA '24: "Isolation-Based Debugging ..." ISSTA '24: "TeDA: A Testing Framework ..."
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: "Sleuth: A Switchable Dual-Mode ..." ISSTA '24: "Prospector: Boosting Directed ..."
Chen, Polong ISSTA '24: "Learning to Check LTL Satisfiability ..."
Chen, Sen ISSTA '24: "PatchFinder: A Two-Phase Approach ..." ISSTA '24: "Bugs in Pods: Understanding ..."
Chen, Songqiang ISSTA '24: "FastLog: An End-to-End Method ..."
Chen, Ting ISSTA '24: "CoSec: On-the-Fly Security ..." ISSTA '24: "LENT-SSE: Leveraging Executed ..." ISSTA '24: "Empirical Study of Move Smart ..." ISSTA '24: "Identifying Smart Contract ..."
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: "Isolation-Based Debugging ..." ISSTA '24: "TeDA: A Testing Framework ..."
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: "FDI: Attack Neural Code Generation ..." ISSTA '24: "Testing Graph Database Systems ..." ISSTA '24: "AI Coders Are among Us: Rethinking ..."
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: "SQLess: Dialect-Agnostic SQL ..." ISSTA '24: "DAppFL: Just-in-Time Fault ..."
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: "API Misuse Detection via Probabilistic ..." ISSTA '24: "Model-less Is the Best Model: ..."
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: "An Empirical Study on Kubernetes ..." ISSTA '24: "Testing Gremlin-Based Graph ..."
Gao, Zeyu ISSTA '24: "CLAP: Learning Transferable ..." ISSTA '24: "CEBin: A Cost-Effective Framework ..."
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: "Model-less Is the Best Model: ..." ISSTA '24: "Identifying Smart Contract ..."
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: "Unimocg: Modular Call-Graph ..." ISSTA '24: "Total Recall? How Good Are ..."
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: "Practitioners’ Expectations ..." ISSTA '24: "Silent Taint-Style Vulnerability ..." ISSTA '24: "SelfPiCo: Self-Guided Partial ..." ISSTA '24: "Automating Zero-Shot Patch ..."
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: "Revisiting Test-Case Prioritization ..." ISSTA '24: "Neurosymbolic Repair of Test ..."
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 ..."