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 ..."
Jiang, Jiajun ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." ISSTA '24: "A Large-Scale Empirical Study ..." ISSTA '24: "Testing Graph Database Systems ..."
Jiang, Tingting ISSTA '24: "LLM4Fin: Fully Automating ..."
Jiang, Weipeng ISSTA '24: "Efficient DNN-Powered Software ..."
Jiang, Wenxin ISSTA '24: "Interoperability in Deep Learning: ..."
Jiang, Yu ISSTA '24: "Towards More Complete Constraints ..." ISSTA '24: "Logos: Log Guided Fuzzing ..." ISSTA '24: "Enhancing ROS System Fuzzing ..."
Jiang, Zhihan ISSTA '24: "A Large-Scale Evaluation for ..."
Jin, Hai ISSTA '24: "Maltracker: A Fine-Grained ..." ISSTA '24: "Graph Neural Networks for ..."
Jin, Shunfu ISSTA '24: "CREF: An LLM-Based Conversational ..."
Jin, Wenqiang ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Jonsson, Bengt ISSTA '24: "SMBugFinder: An Automated ..."
Just, René ISSTA '24: "FRAFOL: FRAmework FOr Learning ..." ISSTA '24: "Equivalent Mutants in the ..." ISSTA '24: "Call Graph Soundness in Android ..."
Kamei, Yasutaka ISSTA '24: "Large Language Models for ..."
Kampkötter, Anemone ISSTA '24: "Total Recall? How Good Are ..."
Kaniyur, Mira ISSTA '24: "Interprocedural Path Complexity ..."
Kaoudis, Kelly ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Kariyakarawana, Nimantha ISSTA '24: "Quality Assurance for Non-trivial ..."
Kaufman, Samuel J. ISSTA '24: "Equivalent Mutants in the ..."
Keidel, Sven ISSTA '24: "Total Recall? How Good Are ..." ISSTA '24: "Unimocg: Modular Call-Graph ..."
Keung, Jacky ISSTA '24: "Practitioners’ Expectations ..."
Kim, Dongsun ISSTA '24: "Preserving Reactiveness: Understanding ..."
Kim, Hyungseok ISSTA '24: "AsFuzzer: Differential Testing ..."
Kim, Soomin ISSTA '24: "AsFuzzer: Differential Testing ..."
Klein, Jacques ISSTA '24: "CREF: An LLM-Based Conversational ..." ISSTA '24: "Call Graph Soundness in Android ..."
Kocinare, Erik ISSTA '24: "Interoperability in Deep Learning: ..."
Kong, Ziqiao ISSTA '24: "DeFort: Automatic Detection ..."
Koval, Nikita ISSTA '24: "Testing Concurrent Algorithms ..."
Kuang, Xiaohui ISSTA '24: "Dance of the ADS: Orchestrating ..."
Kukucka, James ISSTA '24: "An Empirical Examination of ..."
Kumar, Ashish ISSTA '24: "NeuFair: Neural Network Fairness ..."
Kushigian, Benjamin ISSTA '24: "Equivalent Mutants in the ..."
Kwon, Taekyoung ISSTA '24: "Fuzzing JavaScript Interpreters ..."
Lai, Yi-Hsiang ISSTA '24: "Automated Deep Learning Optimization ..."
Lam, Duy ISSTA '24: "Interprocedural Path Complexity ..."
Lan, Junhao ISSTA '24: "Testing Graph Database Systems ..."
Lang, Zhe ISSTA '24: "DeLink: Source File Information ..."
Larsen, Bradford ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Lathrop, James I. ISSTA '24: "Traceback: A Fault Localization ..."
Le, Bach ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Le, Hung ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Lee, Cheryl ISSTA '24: "MicroRes: Versatile Resilience ..."
Lee, Jungwoo ISSTA '24: "AsFuzzer: Differential Testing ..."
Legunsen, Owolabi ISSTA '24: "An In-Depth Study of Runtime ..."
Lei, Zhanyao ISSTA '24: "Foliage: Nourishing Evolving ..."
Le Tolguenec, Paul-Antoine ISSTA '24: "Exploration-Driven Reinforcement ..."
Li, Chongmin ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..."
Li, Dan ISSTA '24: "Face It Yourselves: An LLM-Based ..."
Li, Ding ISSTA '24: "SeeWasm: An Efficient and ..."
Li, Dong ISSTA '24: "CoSec: On-the-Fly Security ..."
Li, Fei ISSTA '24: "Arfa: An Agile Regime-Based ..."
Li, Haofeng ISSTA '24: "Better Not Together: Staged ..."
Li, Heng ISSTA '24: "Uncovering and Mitigating ..."
Li, Hu ISSTA '24: "Dance of the ADS: Orchestrating ..."
Li, Jianfeng ISSTA '24: "Following the “Thread”: ..."
Li, Jiyuan ISSTA '24: "Testing Graph Database Systems ..."
Li, Kaixuan ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Li, Keqiang ISSTA '24: "DBStorm: Generating Various ..."
Li, Li ISSTA '24: "AI Coders Are among Us: Rethinking ..." ISSTA '24: "Model-less Is the Best Model: ..." ISSTA '24: "FDI: Attack Neural Code Generation ..." ISSTA '24: "API Misuse Detection via Probabilistic ..."
Li, Lian ISSTA '24: "Better Not Together: Staged ..."
Li, Liangguo ISSTA '24: "LLM4Fin: Fully Automating ..."
Li, Meng ISSTA '24: "UPBEAT: Test Input Checks ..."
Li, Pan ISSTA '24: "Empirical Study of Move Smart ..."
Li, Pingping ISSTA '24: "LLM4Fin: Fully Automating ..."
Li, Qian ISSTA '24: "Graph Neural Networks for ..."
Li, Qingshan ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Li, Shanping ISSTA '24: "SelfPiCo: Self-Guided Partial ..." ISSTA '24: "Automating Zero-Shot Patch ..."
Li, Shanshan ISSTA '24: "Detecting Build Dependency ..."
Li, Shoubin ISSTA '24: "Enhancing Multi-agent System ..."
Li, Teng ISSTA '24: "Empirical Study of Move Smart ..."
Li, Wenjin ISSTA '24: "Enhancing Robustness of Code ..."
Li, Xiaohong ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Li, Xuandong ISSTA '24: "Distance-Aware Test Input ..." ISSTA '24: "Silent Taint-Style Vulnerability ..."
Li, Yeting ISSTA '24: "How Effective Are They? Exploring ..."
Li, Yichen ISSTA '24: "Face It Yourselves: An LLM-Based ..." ISSTA '24: "A Large-Scale Evaluation for ..."
Li, Yuekang ISSTA '24: "How Effective Are They? Exploring ..." ISSTA '24: "Bugs in Pods: Understanding ..."
Li, Zhenhao ISSTA '24: "ThinkRepair: Self-Directed ..."
Li, Zhong ISSTA '24: "Distance-Aware Test Input ..."
Li, Zhongrui ISSTA '24: "VioHawk: Detecting Traffic ..."
Li, Zihao ISSTA '24: "Following the “Thread”: ..."
Li, Ziwei ISSTA '24: "DAppFL: Just-in-Time Fault ..."
Liang, Bin ISSTA '24: "Define-Use Guided Path Exploration ..."
Liang, Pingjia ISSTA '24: "Learning to Check LTL Satisfiability ..."
Liang, Qingyuan ISSTA '24: "Commit Artifact Preserving ..."
Liang, Ruigang ISSTA '24: "Evaluating the Effectiveness ..."
Liang, Shuyun ISSTA '24: "Characterizing and Detecting ..."
Liao, Qing ISSTA '24: "Bridge and Hint: Extending ..."
Lin, Bo ISSTA '24: "One Size Does Not Fit All: ..."
Lin, Li ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Lin, Xingwei ISSTA '24: "Midas: Mining Profitable Exploits ..."
Lin, Yun ISSTA '24: "C2D2: Extracting Critical ..." ISSTA '24: "CoEdPilot: Recommending Code ..."
Lincke, Jens ISSTA '24: "Finding Cuts in Static Analysis ..."
Liu, Chao ISSTA '24: "CoSec: On-the-Fly Security ..."
Liu, Chen ISSTA '24: "Synthesis-Based Enhancement ..."
Liu, Chenyan ISSTA '24: "CoEdPilot: Recommending Code ..."
Liu, Dongfang ISSTA '24: "Towards Automatic Oracle Prediction ..."
Liu, Han ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Liu, Hongle ISSTA '24: "Enhancing Robustness of Code ..."
Liu, Hongwang ISSTA '24: "FRIES: Fuzzing Rust Library ..."
Liu, Jia ISSTA '24: "Datactive: Data Fault Localization ..."
Liu, Jiakai ISSTA '24: "CooTest: An Automated Testing ..."
Liu, Jianzhong ISSTA '24: "Enhancing ROS System Fuzzing ..."
Liu, Jinyang ISSTA '24: "A Large-Scale Evaluation for ..."
Liu, Lei ISSTA '24: "Practitioners’ Expectations ..."
Liu, Long ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Liu, Pei ISSTA '24: "Model-less Is the Best Model: ..."
Liu, Shangqing ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Liu, Shuang ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." ISSTA '24: "Testing Graph Database Systems ..."
Liu, Shuning ISSTA '24: "C2D2: Extracting Critical ..."
Liu, Wanwei ISSTA '24: "Synthesizing Boxes Preconditions ..."
Liu, Yang ISSTA '24: "How Effective Are They? Exploring ..." ISSTA '24: "DeFort: Automatic Detection ..." ISSTA '24: "Uncovering and Mitigating ..." ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Liu, Ye ISSTA '24: "DeFort: Automatic Detection ..."
Liu, Yepang ISSTA '24: "Large Language Models Can ..."
Liu, Yi ISSTA '24: "DistillSeq: A Framework for ..."
Liu, Yunqi ISSTA '24: "FunRedisp: A Function Redispatch ..." ISSTA '24: "FunRedisp: Reordering Function ..."
Liu, Zengyu ISSTA '24: "Synthesizing Boxes Preconditions ..."
Liu, Zhongxin ISSTA '24: "CoSec: On-the-Fly Security ..." ISSTA '24: "Automating Zero-Shot Patch ..."
Liu, Zixi ISSTA '24: "FRIES: Fuzzing Rust Library ..."
Lo, David ISSTA '24: "AI Coders Are among Us: Rethinking ..." ISSTA '24: "CoSec: On-the-Fly Security ..." ISSTA '24: "Practitioners’ Expectations ..." ISSTA '24: "FDI: Attack Neural Code Generation ..."
Lu, Jie ISSTA '24: "Better Not Together: Staged ..."
Lu, Minghai ISSTA '24: "Automated Deep Learning Optimization ..."
Lu, Wei ISSTA '24: "Testing Graph Database Systems ..."
Lu, Yi ISSTA '24: "Empirical Study of Move Smart ..."
Lu, You ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..."
Lu, Yung-Hsiang ISSTA '24: "Interoperability in Deep Learning: ..."
Luo, Chuan ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Luo, Feng ISSTA '24: "Empirical Study of Move Smart ..."
Luo, Weilin ISSTA '24: "Learning to Check LTL Satisfiability ..."
Luo, Xiapu ISSTA '24: "Following the “Thread”: ..." ISSTA '24: "Empirical Study of Move Smart ..." ISSTA '24: "FDI: Attack Neural Code Generation ..." ISSTA '24: "LENT-SSE: Leveraging Executed ..."
Luo, Zhengxiong ISSTA '24: "Logos: Log Guided Fuzzing ..."
Luu, Tuan-Hai ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Lv, Shichao ISSTA '24: "DeLink: Source File Information ..."
Lyu, Jun ISSTA '24: "Detecting Build Dependency ..."
Lyu, Michael R. ISSTA '24: "A Large-Scale Evaluation for ..." ISSTA '24: "SCALE: Constructing Structured ..." ISSTA '24: "MicroRes: Versatile Resilience ..."
Lyu, Shuangyu ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Ma, Haoyang ISSTA '24: "Towards Understanding the ..."
Ma, Shiqing ISSTA '24: "Efficient DNN-Powered Software ..."
Ma, Wei ISSTA '24: "How Effective Are They? Exploring ..."
Ma, Xutong ISSTA '24: "Panda: A Concurrent Scheduler ..."
Ma, Xuyan ISSTA '24: "Enhancing Multi-agent System ..."
Ma, Yuchi ISSTA '24: "When to Stop? Towards Efficient ..."
Ma, Yunlong ISSTA '24: "API Misuse Detection via Probabilistic ..."
Madadi, Ardi ISSTA '24: "Equivalent Mutants in the ..."
Mahmud, Junayed ISSTA '24: "Toward the Automated Localization ..."
Malek, Sam ISSTA '24: "Ma11y: A Mutation Framework ..."
Mao, Xiaoguang ISSTA '24: "One Size Does Not Fit All: ..."
Margalit, Roy ISSTA '24: "Robustness against the C/C++11 ..."
Marinov, Darko ISSTA '24: "Revisiting Test-Case Prioritization ..."
Mathews, Shreya ISSTA '24: "The Flexcrash Platform for ..."
Mazouni, Quentin ISSTA '24: "Policy Testing with MDPFuzz ..."
Mechtaev, Sergey ISSTA '24: "Oracle-Guided Program Selection ..."
Mehralian, Forough ISSTA '24: "Ma11y: A Mutation Framework ..."
Mei, Hong ISSTA '24: "CoEdPilot: Recommending Code ..."
Menezes, Rafael ISSTA '24: "ESBMC-Python: A Bounded Model ..."
Meng, Dan ISSTA '24: "Prospector: Boosting Directed ..." ISSTA '24: "Sleuth: A Switchable Dual-Mode ..."
Mesbah, Ali ISSTA '24: "Semantic Constraint Inference ..."
Mezini, Mira ISSTA '24: "Total Recall? How Good Are ..." ISSTA '24: "Unimocg: Modular Call-Graph ..."
Moiseenko, Evgenii ISSTA '24: "Testing Concurrent Algorithms ..."
Molina, Facundo ISSTA '24: "FixCheck: A Tool for Improving ..."
Moran, Kevin ISSTA '24: "Toward the Automated Localization ..."
Nan, Yuhong ISSTA '24: "Midas: Mining Profitable Exploits ..."
Nashid, Noor ISSTA '24: "Semantic Constraint Inference ..."
Neto, João ISSTA '24: "Generalized Concurrency Testing ..."
Nguyen, Huan ISSTA '24: "Scalable, Sound, and Accurate ..."
Nguyen, Thanh-Dat ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Nguyen, Tien N. ISSTA '24: "Segment-Based Test Case Prioritization: ..."
Nguyen, Vu ISSTA '24: "Segment-Based Test Case Prioritization: ..."
Nguyen-Duy, Hung ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Ni, Chao ISSTA '24: "ThinkRepair: Self-Directed ..."
Ni, Lyu ISSTA '24: "DBStorm: Generating Various ..."
Niephaus, Fabio ISSTA '24: "Finding Cuts in Static Analysis ..."
Ning, Zhenyu ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Ouyang, Yicheng ISSTA '24: "Benchmarking Automated Program ..."
Ouyang, Yu ISSTA '24: "Automated Data Binding Vulnerability ..."
Overall, Lisa ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Ozkan, Burcu Kulahcioglu ISSTA '24: "Generalized Concurrency Testing ..."
Paiva, Ana ISSTA '24: "FRAFOL: FRAmework FOr Learning ..."
Pan, Minxue ISSTA '24: "Distance-Aware Test Input ..." ISSTA '24: "Silent Taint-Style Vulnerability ..." ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..."
Pan, Shengyi ISSTA '24: "Automating Zero-Shot Patch ..."
Park, Sangeon ISSTA '24: "Interprocedural Path Complexity ..."
Păsăreanu, Corina S. ISSTA '24: "Evaluating Deep Neural Networks ..."
Pei, Yu ISSTA '24: "Characterizing and Detecting ..." ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..."
Pei, Yunrui ISSTA '24: "CoEdPilot: Recommending Code ..."
Peng, Ruikang ISSTA '24: "Logos: Log Guided Fuzzing ..."
Peng, Shuo ISSTA '24: "SeeWasm: An Efficient and ..."
Peng, Xin ISSTA '24: "Your “Notice” Is Missing: ..." ISSTA '24: "Reproducing Timing-Dependent ..." ISSTA '24: "C2D2: Extracting Critical ..." ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..."
Pham, Long H. ISSTA '24: "Certified Continual Learning ..."
Pham, Nhu ISSTA '24: "Segment-Based Test Case Prioritization: ..."
Pham, Van-Thuan ISSTA '24: "An Empirical Study of Static ..."
Pian, Weiguo ISSTA '24: "CREF: An LLM-Based Conversational ..."
Pina, Luís ISSTA '24: "An Empirical Examination of ..."
Pinconschi, Eduard ISSTA '24: "Evaluating Deep Neural Networks ..."
Plein, Laura ISSTA '24: "Learning the Effects of Software ..."
Poienko, Mykhailo ISSTA '24: "The Flexcrash Platform for ..."
Potapov, Aleksandr ISSTA '24: "Testing Concurrent Algorithms ..."
Potter, Hannah ISSTA '24: "Equivalent Mutants in the ..."
Priyadarshan, Soumyakant ISSTA '24: "Scalable, Sound, and Accurate ..."
Qi, Zhengwei ISSTA '24: "Foliage: Nourishing Evolving ..."
Qian, Peng ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Qin, Zheng ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Qiu, Han ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Qiu, Jie ISSTA '24: "Search-Based Translations ..."
Qiu, Junming ISSTA '24: "Learning to Check LTL Satisfiability ..."
Qiu, Mingran ISSTA '24: "Atlas: Automating Cross-Language ..."
Qiu, Yuxin ISSTA '24: "Calico: Automated Knowledge ..."
Quan, Zhou ISSTA '24: "HECS: A Hypergraph Learning-Based ..."
Rachelson, Emmanuel ISSTA '24: "Exploration-Driven Reinforcement ..."
Rafi, Tahmid ISSTA '24: "Towards Automatic Oracle Prediction ..."
Ran, Dezhi ISSTA '24: "Guardian: A Runtime Framework ..."
Reif, Michael ISSTA '24: "Unimocg: Modular Call-Graph ..."
Rigger, Manuel ISSTA '24: "Inconsistencies in TeX-Produced ..." ISSTA '24: "Detecting Build Dependency ..."
Román-Díez, Guillermo ISSTA '24: "Synthesis of Sound and Precise ..."
Rong, Guoping ISSTA '24: "Detecting Build Dependency ..."
Rong, Yuyang ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
Roth, Tobias ISSTA '24: "Total Recall? How Good Are ..." ISSTA '24: "Unimocg: Modular Call-Graph ..."
Roychoudhury, Abhik ISSTA '24: "AutoCodeRover: Autonomous ..." ISSTA '24: "Oracle-Guided Program Selection ..."
Rozsíval, Michal ISSTA '24: "Automated Testing of Networked ..."
Ruan, Haifeng ISSTA '24: "AutoCodeRover: Autonomous ..." ISSTA '24: "Oracle-Guided Program Selection ..."
Rubio, Albert ISSTA '24: "Synthesis of Sound and Precise ..."
Sagonas, Konstantinos ISSTA '24: "SMBugFinder: An Automated ..."
Saha, Antu ISSTA '24: "Toward the Automated Localization ..."
Samhi, Jordan ISSTA '24: "Call Graph Soundness in Android ..."
Sarraf, Anusha ISSTA '24: "Interoperability in Deep Learning: ..."
Schmerl, Bradley ISSTA '24: "Understanding Misconfigurations ..."
Schneider, Nicolas ISSTA '24: "Exploration-Driven Reinforcement ..."
Schrammel, Peter ISSTA '24: "JCWIT: A Correctness-Witness ..."
Scott, Adam ISSTA '24: "Feedback-Directed Partial ..."
Sekar, R. ISSTA '24: "Scalable, Sound, and Accurate ..."
Sha, Zihan ISSTA '24: "CLAP: Learning Transferable ..."
Shahbandeh, Mobina ISSTA '24: "Semantic Constraint Inference ..."
Shahoor, Arooba ISSTA '24: "Preserving Reactiveness: Understanding ..."
Shan, Shiwen ISSTA '24: "Face It Yourselves: An LLM-Based ..."
She, Xinyu ISSTA '24: "WASMaker: Differential Testing ..."
Shen, Chao ISSTA '24: "Efficient DNN-Powered Software ..."
Shen, Jiacheng ISSTA '24: "MicroRes: Versatile Resilience ..."
Shen, Qingchao ISSTA '24: "Towards Understanding the ..."
Shen, Wenbo ISSTA '24: "Bugs in Pods: Understanding ..." ISSTA '24: "Automated Data Binding Vulnerability ..." ISSTA '24: "Atlas: Automating Cross-Language ..."
Shen, Yuheng ISSTA '24: "Enhancing ROS System Fuzzing ..."
Shi, Chenghang ISSTA '24: "Better Not Together: Staged ..."
Shi, Ensheng ISSTA '24: "When to Stop? Towards Efficient ..."
Shi, Gang ISSTA '24: "Prospector: Boosting Directed ..." ISSTA '24: "Sleuth: A Switchable Dual-Mode ..."
Shi, Heyuan ISSTA '24: "Towards More Complete Constraints ..." ISSTA '24: "Logos: Log Guided Fuzzing ..." ISSTA '24: "Enhancing ROS System Fuzzing ..."
Shi, Jiangfan ISSTA '24: "Feedback-Driven Automated ..."
Shi, Jie ISSTA '24: "TeDA: A Testing Framework ..."
Shi, Ling ISSTA '24: "DistillSeq: A Framework for ..."
Shi, Qingkai ISSTA '24: "FRIES: Fuzzing Rust Library ..."
Shi, Wenchang ISSTA '24: "Define-Use Guided Path Exploration ..."
Shi, Zhiqiang ISSTA '24: "DeLink: Source File Information ..."
Shin, Jiho ISSTA '24: "Domain Adaptation for Code ..."
Shu, Honglin ISSTA '24: "Large Language Models for ..."
Song, Fu ISSTA '24: "FDI: Attack Neural Code Generation ..."
Song, Jiansen ISSTA '24: "Testing Gremlin-Based Graph ..."
Song, Shuwei ISSTA '24: "Empirical Study of Move Smart ..."
Song, Wei ISSTA '24: "FunRedisp: A Function Redispatch ..." ISSTA '24: "FunRedisp: Reordering Function ..."
Song, Xuezhi ISSTA '24: "C2D2: Extracting Critical ..."
Song, Yang ISSTA '24: "Toward the Automated Localization ..."
Song, Zhanwei ISSTA '24: "DeLink: Source File Information ..."
Song, Zihe ISSTA '24: "Guardian: A Runtime Framework ..."
Spieker, Helge ISSTA '24: "Policy Testing with MDPFuzz ..."
Stancu, Codruţ ISSTA '24: "Finding Cuts in Static Analysis ..."
Steininger, Benedikt ISSTA '24: "The Flexcrash Platform for ..."
Su, Bowei ISSTA '24: "LENT-SSE: Leveraging Executed ..."
Su, Yuxin ISSTA '24: "Face It Yourselves: An LLM-Based ..." ISSTA '24: "MicroRes: Versatile Resilience ..."
Su, Zhendong ISSTA '24: "See the Forest, not Trees: ..."
Sui, Yulei ISSTA '24: "Graph Neural Networks for ..."
Sultanik, Evan ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Sun, Chengnian ISSTA '24: "LPR: Large Language Models-Aided ..."
Sun, Hailong ISSTA '24: "API Misuse Detection via Probabilistic ..."
Sun, Hao ISSTA '24: "Enhancing ROS System Fuzzing ..."
Sun, Jun ISSTA '24: "Certified Continual Learning ..."
Sun, Limin ISSTA '24: "DeLink: Source File Information ..." ISSTA '24: "How Effective Are They? Exploring ..."
Sun, Mingyang ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Sun, Weisong ISSTA '24: "CooTest: An Automated Testing ..."
Sun, Wenju ISSTA '24: "CLAP: Learning Transferable ..."
Sun, Xiaoxia ISSTA '24: "Feedback-Driven Automated ..."
Sun, Youcheng ISSTA '24: "ESBMC-Python: A Bounded Model ..." ISSTA '24: "Isolation-Based Debugging ..." ISSTA '24: "Interpretability Based Neural ..."
Sun, Zeyu ISSTA '24: "Commit Artifact Preserving ..." ISSTA '24: "A Large-Scale Empirical Study ..."
Sun, Zhensu ISSTA '24: "AI Coders Are among Us: Rethinking ..." ISSTA '24: "FDI: Attack Neural Code Generation ..."
Suo, Chenyao ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..."
Surer, Elif ISSTA '24: "Test Selection for Deep Neural ..."
Surovič, Marek ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Sweeney, Joseph ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Tåquist, Fredrik ISSTA '24: "SMBugFinder: An Automated ..."
Tafreshipour, Mahan ISSTA '24: "Ma11y: A Mutation Framework ..."
Tan, Gang ISSTA '24: "NeuFair: Neural Network Fairness ..."
Tan, Jovyn ISSTA '24: "Inconsistencies in TeX-Produced ..."
Tan, Shin Hwei ISSTA '24: "Characterizing and Detecting ..." ISSTA '24: "UPBEAT: Test Input Checks ..." ISSTA '24: "LPR: Large Language Models-Aided ..."
Tang, Lei ISSTA '24: "Testing Gremlin-Based Graph ..."
Tang, Ze ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Tang, Zhanyong ISSTA '24: "UPBEAT: Test Input Checks ..."
Tavares, Pedro ISSTA '24: "FRAFOL: FRAmework FOr Learning ..."
Teichteil-Koenigsbuch, Florent ISSTA '24: "Exploration-Driven Reinforcement ..."
Tewari, Arav ISSTA '24: "Interoperability in Deep Learning: ..."
Thiruvathukal, George K. ISSTA '24: "Interoperability in Deep Learning: ..."
Thongtanunam, Patanamon ISSTA '24: "An Empirical Study of Static ..." ISSTA '24: "VRDSynth: Synthesizing Programs ..."
Tian, Haoye ISSTA '24: "CREF: An LLM-Based Conversational ..."
Tian, Senyue ISSTA '24: "LLM4Fin: Fully Automating ..."
Tian, Wentong ISSTA '24: "API Misuse Detection via Probabilistic ..."
Tian, Yifan ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..."
Tian, Yongqiang ISSTA '24: "Towards Understanding the ..." ISSTA '24: "LPR: Large Language Models-Aided ..."
Tian, Zhao ISSTA '24: "Large Language Models for ..."
Tihanyi, Norbert ISSTA '24: "JCWIT: A Correctness-Witness ..."
Timperley, Christopher S. ISSTA '24: "Understanding Misconfigurations ..."
Tiwari, Abhishek ISSTA '24: "Reproducing Timing-Dependent ..."
Tizpaz-Niari, Saeid ISSTA '24: "NeuFair: Neural Network Fairness ..."
Treude, Christoph ISSTA '24: "An Empirical Study of Static ..."
Tuesca, Facundo ISSTA '24: "PolyTracker: Whole-Input Dynamic ..."
Vandenbogaerde, Bram ISSTA '24: "Soft Verification for Actor ..."
Waeselynck, Hélène ISSTA '24: "Exploration-Driven Reinforcement ..."
Wan, Hai ISSTA '24: "Learning to Check LTL Satisfiability ..."
Wan, Yao ISSTA '24: "Graph Neural Networks for ..."
Wang, Chengpeng ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Wang, Dingbang ISSTA '24: "Feedback-Driven Automated ..."
Wang, Dong ISSTA '24: "Large Language Models for ..."
Wang, Ethan ISSTA '24: "UniTSyn: A Large-Scale Dataset ..."
Wang, Guoqing ISSTA '24: "Commit Artifact Preserving ..."
Wang, Haijun ISSTA '24: "DeFort: Automatic Detection ..."
Wang, Haitao ISSTA '24: "CREF: An LLM-Based Conversational ..."
Wang, Hao ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..." ISSTA '24: "Guardian: A Runtime Framework ..."
Wang, Haoyu ISSTA '24: "SeeWasm: An Efficient and ..." ISSTA '24: "WASMaker: Differential Testing ..." ISSTA '24: "Following the “Thread”: ..." ISSTA '24: "NativeSummary: Summarizing ..."
Wang, Huanting ISSTA '24: "UPBEAT: Test Input Checks ..."
Wang, Ji ISSTA '24: "Synthesizing Boxes Preconditions ..."
Wang, Jianrong ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..."
Wang, Jiaqi ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Wang, Jiashui ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Wang, Jikai ISSTA '24: "SeeWasm: An Efficient and ..." ISSTA '24: "NativeSummary: Summarizing ..."
Wang, Jingyi ISSTA '24: "TeDA: A Testing Framework ..." ISSTA '24: "Isolation-Based Debugging ..." ISSTA '24: "Interpretability Based Neural ..."
Wang, Junjie ISSTA '24: "Enhancing Multi-agent System ..." ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Wang, Leqing ISSTA '24: "Empirical Study of Move Smart ..."
Wang, Linzhang ISSTA '24: "Distance-Aware Test Input ..."
Wang, Luqiao ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "Graph Learning for Extract ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Wang, Mingzhe ISSTA '24: "Enhancing ROS System Fuzzing ..."
Wang, Qiangqiang ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Wang, Qing ISSTA '24: "Enhancing Multi-agent System ..."
Wang, Renxiang ISSTA '24: "Atlas: Automating Cross-Language ..."
Wang, Ruixin ISSTA '24: "Automated Deep Learning Optimization ..."
Wang, Shangwen ISSTA '24: "One Size Does Not Fit All: ..."
Wang, Shaohua ISSTA '24: "ThinkRepair: Self-Directed ..." ISSTA '24: "SelfPiCo: Self-Guided Partial ..." ISSTA '24: "Silent Taint-Style Vulnerability ..."
Wang, Shuai ISSTA '24: "See the Forest, not Trees: ..." ISSTA '24: "Revisiting Test-Case Prioritization ..."
Wang, Song ISSTA '24: "Domain Adaptation for Code ..."
Wang, Tong ISSTA '24: "Dance of the ADS: Orchestrating ..."
Wang, Wei ISSTA '24: "Testing Gremlin-Based Graph ..."
Wang, Xiaoyin ISSTA '24: "Towards Automatic Oracle Prediction ..."
Wang, Xingyu ISSTA '24: "Automated Data Binding Vulnerability ..."
Wang, Yanlin ISSTA '24: "When to Stop? Towards Efficient ..." ISSTA '24: "Identifying Smart Contract ..."
Wang, Yawen ISSTA '24: "Enhancing Multi-agent System ..."
Wang, Yidong ISSTA '24: "CoderUJB: An Executable and ..."
Wang, Yongjiang ISSTA '24: "Reproducing Timing-Dependent ..."
Wang, You ISSTA '24: "Automating Zero-Shot Patch ..."
Wang, Yujie ISSTA '24: "Define-Use Guided Path Exploration ..."
Wang, Yuxing ISSTA '24: "Towards Automatic Oracle Prediction ..."
Wang, Zheng ISSTA '24: "UPBEAT: Test Input Checks ..."
Wang, Zhuangda ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Wei, Haolai ISSTA '24: "Prospector: Boosting Directed ..." ISSTA '24: "Sleuth: A Switchable Dual-Mode ..."
Wei, Jun ISSTA '24: "Testing Gremlin-Based Graph ..." ISSTA '24: "An Empirical Study on Kubernetes ..."
Wei, Minjie ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Wen, Ming ISSTA '24: "One Size Does Not Fit All: ..." ISSTA '24: "Maltracker: A Fine-Grained ..."
Wen, Xin-Cheng ISSTA '24: "Collaboration to Repository-Level ..." ISSTA '24: "SCALE: Constructing Structured ..."
Wen, Zhongzhen ISSTA '24: "Silent Taint-Style Vulnerability ..."
Weng, Shihao ISSTA '24: "Datactive: Data Fault Localization ..."
Weng, Siyang ISSTA '24: "DBStorm: Generating Various ..."
Wilson, Dennis ISSTA '24: "Exploration-Driven Reinforcement ..."
Wimmer, Christian ISSTA '24: "Finding Cuts in Static Analysis ..."
Woo, Joseph ISSTA '24: "Interoperability in Deep Learning: ..."
Wu, Boyu ISSTA '24: "Enhancing Multi-agent System ..."
Wu, Feifan ISSTA '24: "Logos: Log Guided Fuzzing ..."
Wu, Jiajing ISSTA '24: "DAppFL: Just-in-Time Fault ..." ISSTA '24: "Midas: Mining Profitable Exploits ..."
Wu, Mengzhou ISSTA '24: "Guardian: A Runtime Framework ..."
Wu, Rongxin ISSTA '24: "SQLess: Dialect-Agnostic SQL ..."
Wu, Shuohan ISSTA '24: "Following the “Thread”: ..."
Wu, Tong ISSTA '24: "JCWIT: A Correctness-Witness ..."
Wu, Wei ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Wu, Yang ISSTA '24: "Graph Neural Networks for ..."
Wu, Yijian ISSTA '24: "C2D2: Extracting Critical ..."
Wu, Yueming ISSTA '24: "Uncovering and Mitigating ..."
Wu, Zhiying ISSTA '24: "DAppFL: Just-in-Time Fault ..."
Xia, Chunqiu Steven ISSTA '24: "Automated Program Repair via ..."
Xia, Mingyuan ISSTA '24: "Foliage: Nourishing Evolving ..."
Xia, Qing ISSTA '24: "DAppFL: Just-in-Time Fault ..."
Xia, Xin ISSTA '24: "SelfPiCo: Self-Guided Partial ..." ISSTA '24: "Practitioners’ Expectations ..." ISSTA '24: "Automating Zero-Shot Patch ..."
Xia, Yingfeng ISSTA '24: "Your “Notice” Is Missing: ..."
Xiao, Xi ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Xiao, Yang ISSTA '24: "SCALE: Constructing Structured ..."
Xiao, Yuan ISSTA '24: "CooTest: An Automated Testing ..."
Xie, Dongchen ISSTA '24: "Define-Use Guided Path Exploration ..."
Xie, Jundong ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
Xie, Linna ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..."
Xie, Maoyi ISSTA '24: "DeFort: Automatic Detection ..."
Xie, Rui ISSTA '24: "CoderUJB: An Executable and ..."
Xie, Tao ISSTA '24: "Guardian: A Runtime Framework ..."
Xie, Xiaofei ISSTA '24: "How Effective Are They? Exploring ..." ISSTA '24: "Bugs in Pods: Understanding ..." ISSTA '24: "Enhancing Multi-agent System ..." ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..."
Xie, Xiaoyuan ISSTA '24: "FastLog: An End-to-End Method ..."
Xing, Zezhong ISSTA '24: "Characterizing and Detecting ..."
Xiong, Hao ISSTA '24: "Atlas: Automating Cross-Language ..."
Xu, Baowen ISSTA '24: "FRIES: Fuzzing Rust Library ..."
Xu, Fanjiang ISSTA '24: "Enhancing Multi-agent System ..."
Xu, Guandong ISSTA '24: "Graph Neural Networks for ..."
Xu, Jinchen ISSTA '24: "Arfa: An Agile Regime-Based ..."
Xu, Liang ISSTA '24: "Testing Gremlin-Based Graph ..."
Xu, Qingxin ISSTA '24: "An Empirical Study on Kubernetes ..."
Xu, Tongtong ISSTA '24: "Silent Taint-Style Vulnerability ..."
Xu, Yiru ISSTA '24: "Enhancing ROS System Fuzzing ..."
Xu, Zhengfeng ISSTA '24: "Distance-Aware Test Input ..."
Xu, Zhengzi ISSTA '24: "DeLink: Source File Information ..."
Xu, Zhenyang ISSTA '24: "LPR: Large Language Models-Aided ..."
Xuan, Jifeng ISSTA '24: "FastLog: An End-to-End Method ..."
Xuan, Qi ISSTA '24: "Interpretability Based Neural ..."
Xue, Yue ISSTA '24: "DeFort: Automatic Detection ..."
Xue, Zhipeng ISSTA '24: "SelfPiCo: Self-Guided Partial ..."
Xue, Zhiyi ISSTA '24: "LLM4Fin: Fully Automating ..."
Yadav, Drishti ISSTA '24: "From Fault Injection to Formal ..."
Yan, Jiwei ISSTA '24: "DMMPP: Constructing Dummy ..." ISSTA '24: "Panda: A Concurrent Scheduler ..." ISSTA '24: "Synthesis-Based Enhancement ..."
Yan, Jun ISSTA '24: "Panda: A Concurrent Scheduler ..."
Yan, Meng ISSTA '24: "CoSec: On-the-Fly Security ..."
Yan, Xiaoyong ISSTA '24: "Automated Data Binding Vulnerability ..."
Yang, Boyang ISSTA '24: "CREF: An LLM-Based Conversational ..."
Yang, Chengcheng ISSTA '24: "DBStorm: Generating Various ..."
Yang, Hongru ISSTA '24: "Arfa: An Agile Regime-Based ..."
Yang, Jun ISSTA '24: "Benchmarking Automated Program ..."
Yang, Junjie ISSTA '24: "A Large-Scale Empirical Study ..."
Yang, Min ISSTA '24: "VioHawk: Detecting Traffic ..."
Yang, Mingke ISSTA '24: "DistillSeq: A Framework for ..."
Yang, Ping ISSTA '24: "CoEdPilot: Recommending Code ..."
Yang, Tianyi ISSTA '24: "MicroRes: Versatile Resilience ..."
Yang, Wei ISSTA '24: "Guardian: A Runtime Framework ..."
Yang, Wenwu ISSTA '24: "Empirical Study of Move Smart ..."
Yang, Xiaohu ISSTA '24: "ThinkRepair: Self-Directed ..."
Yang, Xiaoniu ISSTA '24: "Interpretability Based Neural ..."
Yang, Xiaoyi ISSTA '24: "Towards Automatic Oracle Prediction ..."
Yang, Yihan ISSTA '24: "Interprocedural Path Complexity ..."
Yang, Yongqiang ISSTA '24: "MicroRes: Versatile Resilience ..."
Yang, Zezhou ISSTA '24: "Bridge and Hint: Extending ..."
Yang, Zhou ISSTA '24: "AI Coders Are among Us: Rethinking ..."
Yao, Peisen ISSTA '24: "Precise Compositional Buffer ..."
Yao, Yuan ISSTA '24: "Datactive: Data Fault Localization ..."
Ye, Guixin ISSTA '24: "UPBEAT: Test Input Checks ..."
Ye, Mingxi ISSTA '24: "Midas: Mining Profitable Exploits ..."
Ye, Wei ISSTA '24: "CoderUJB: An Executable and ..."
Ye, Zhenyu ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Yi, Jooyong ISSTA '24: "Preserving Reactiveness: Understanding ..."
Yin, Heng ISSTA '24: "Calico: Automated Knowledge ..."
Yin, Xin ISSTA '24: "ThinkRepair: Self-Directed ..."
Yin, Xizhe ISSTA '24: "FRIES: Fuzzing Rust Library ..."
Yin, Yining ISSTA '24: "Datactive: Data Fault Localization ..."
Ying, Xinlei ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..."
You, Nianhao ISSTA '24: "VioHawk: Detecting Traffic ..."
You, Wei ISSTA '24: "Define-Use Guided Path Exploration ..."
Yu, Cody Hao ISSTA '24: "Automated Deep Learning Optimization ..."
Yu, Donghui ISSTA '24: "DDGF: Dynamic Directed Greybox ..."
Yu, Haoran ISSTA '24: "CREF: An LLM-Based Conversational ..."
Yu, Jiongchi ISSTA '24: "Bugs in Pods: Understanding ..."
Yu, Junze ISSTA '24: "Logos: Log Guided Fuzzing ..."
Yu, Tingting ISSTA '24: "Feedback-Driven Automated ..."
Yu, Xiao ISSTA '24: "Practitioners’ Expectations ..."
Yu, Zeliang ISSTA '24: "Maltracker: A Fine-Grained ..."
Yuan, Wei ISSTA '24: "Uncovering and Mitigating ..."
Yuan, Yuanyuan ISSTA '24: "See the Forest, not Trees: ..."
Zamudio Amaya, José Antonio ISSTA '24: "Shaping Test Inputs in Grammar-Based ..."
Zeng, Huazheng ISSTA '24: "Your “Notice” Is Missing: ..."
Zeng, Limin ISSTA '24: "ThinkRepair: Self-Directed ..."
Zeng, Ruiying ISSTA '24: "Wapplique: Testing WebAssembly ..."
Zeng, Zhengran ISSTA '24: "CoderUJB: An Executable and ..."
Zhai, Juan ISSTA '24: "Efficient DNN-Powered Software ..."
Zhang, Cen ISSTA '24: "How Effective Are They? Exploring ..." ISSTA '24: "Bugs in Pods: Understanding ..." ISSTA '24: "DeFort: Automatic Detection ..."
Zhang, Chao ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Zhang, Charles ISSTA '24: "Precise Compositional Buffer ..."
Zhang, Fengwei ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Zhang, Hao ISSTA '24: "DeFort: Automatic Detection ..."
Zhang, He ISSTA '24: "Detecting Build Dependency ..."
Zhang, Hongyu ISSTA '24: "When to Stop? Towards Efficient ..." ISSTA '24: "Bridge and Hint: Extending ..." ISSTA '24: "Graph Neural Networks for ..." ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Zhang, Huaien ISSTA '24: "Characterizing and Detecting ..."
Zhang, Hui ISSTA '24: "DAppFL: Just-in-Time Fault ..."
Zhang, Jian ISSTA '24: "DMMPP: Constructing Dummy ..." ISSTA '24: "Panda: A Concurrent Scheduler ..." ISSTA '24: "PatchFinder: A Two-Phase Approach ..."
Zhang, Kaikai ISSTA '24: "DDGF: Dynamic Directed Greybox ..."
Zhang, Lingming ISSTA '24: "Benchmarking Automated Program ..." ISSTA '24: "Automated Program Repair via ..."
Zhang, Lu ISSTA '24: "Synthesis-Based Enhancement ..."
Zhang, Mengxiao ISSTA '24: "LPR: Large Language Models-Aided ..."
Zhang, Min ISSTA '24: "LLM4Fin: Fully Automating ..."
Zhang, Mu ISSTA '24: "WASMaker: Differential Testing ..."
Zhang, Neng ISSTA '24: "LENT-SSE: Leveraging Executed ..."
Zhang, Qian ISSTA '24: "Calico: Automated Knowledge ..."
Zhang, Quan ISSTA '24: "Towards More Complete Constraints ..."
Zhang, Rong ISSTA '24: "DBStorm: Generating Various ..."
Zhang, Ruikai ISSTA '24: "When to Stop? Towards Efficient ..."
Zhang, Runze ISSTA '24: "Evaluating the Effectiveness ..."
Zhang, Shikun ISSTA '24: "CoderUJB: An Executable and ..."
Zhang, Tian ISSTA '24: "Distance-Aware Test Input ..." ISSTA '24: "Silent Taint-Style Vulnerability ..." ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..."
Zhang, Tianyi ISSTA '24: "Automated Deep Learning Optimization ..."
Zhang, Weijie ISSTA '24: "Empirical Study of Move Smart ..."
Zhang, Wenjie ISSTA '24: "Synthesis-Based Enhancement ..."
Zhang, Wuqi ISSTA '24: "Towards Understanding the ..."
Zhang, Xiangyu ISSTA '24: "Define-Use Guided Path Exploration ..."
Zhang, Xiaohong ISSTA '24: "CoSec: On-the-Fly Security ..."
Zhang, Xiaoyu ISSTA '24: "Efficient DNN-Powered Software ..."
Zhang, Xingjian ISSTA '24: "Automated Data Binding Vulnerability ..."
Zhang, Xueling ISSTA '24: "Towards Automatic Oracle Prediction ..."
Zhang, Yakun ISSTA '24: "Synthesis-Based Enhancement ..."
Zhang, Yang ISSTA '24: "Detecting Build Dependency ..."
Zhang, Yaosheng ISSTA '24: "CoSec: On-the-Fly Security ..."
Zhang, Ying ISSTA '24: "Guardian: A Runtime Framework ..."
Zhang, Yixuan ISSTA '24: "WASMaker: Differential Testing ..."
Zhang, Yuan ISSTA '24: "VioHawk: Detecting Traffic ..."
Zhang, Yuanyuan ISSTA '24: "DDGF: Dynamic Directed Greybox ..."
Zhang, Yuntong ISSTA '24: "AutoCodeRover: Autonomous ..."
Zhang, Zhaoxu ISSTA '24: "Feedback-Driven Automated ..."
Zhang, Zhijie ISSTA '24: "Prospector: Boosting Directed ..." ISSTA '24: "Sleuth: A Switchable Dual-Mode ..."
Zhang, Zhuo ISSTA '24: "Define-Use Guided Path Exploration ..."
Zhang, Zuoyan ISSTA '24: "Arfa: An Agile Regime-Based ..."
Zhao, Gang ISSTA '24: "Dance of the ADS: Orchestrating ..."
Zhao, Jie ISSTA '24: "Arfa: An Agile Regime-Based ..."
Zhao, Jishen ISSTA '24: "Multi-modal Learning for WebAssembly ..."
Zhao, Qiyuan ISSTA '24: "Beyond Pairwise Testing: Advancing ..."
Zhao, Wenxuan ISSTA '24: "Wapplique: Testing WebAssembly ..."
Zhao, Yanyang ISSTA '24: "Logos: Log Guided Fuzzing ..."
Zhao, Yifan ISSTA '24: "Commit Artifact Preserving ..." ISSTA '24: "Synthesis-Based Enhancement ..."
Zhao, Yingquan ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..."
Zhao, Yu ISSTA '24: "Feedback-Driven Automated ..."
Zhao, Yutong ISSTA '24: "HECS: A Hypergraph Learning-Based ..." ISSTA '24: "One-to-One or One-to-Many? ..."
Zhao, Zhehao ISSTA '24: "SeeWasm: An Efficient and ..."
Zhao, Zhihong ISSTA '24: "Datactive: Data Fault Localization ..."
Zhen, Yi ISSTA '24: "DAppFL: Just-in-Time Fault ..."
Zheng, Peilin ISSTA '24: "LENT-SSE: Leveraging Executed ..."
Zheng, Yaowen ISSTA '24: "How Effective Are They? Exploring ..."
Zheng, Yingying ISSTA '24: "Testing Gremlin-Based Graph ..."
Zheng, Zibin ISSTA '24: "When to Stop? Towards Efficient ..." ISSTA '24: "Identifying Smart Contract ..." ISSTA '24: "Face It Yourselves: An LLM-Based ..." ISSTA '24: "DAppFL: Just-in-Time Fault ..." ISSTA '24: "LENT-SSE: Leveraging Executed ..." ISSTA '24: "Midas: Mining Profitable Exploits ..."
Zhong, Hua ISSTA '24: "Testing Gremlin-Based Graph ..."
Zhong, Wanjun ISSTA '24: "When to Stop? Towards Efficient ..."
Zhou, Aoying ISSTA '24: "DBStorm: Generating Various ..."
Zhou, Bei ISSTA '24: "Arfa: An Agile Regime-Based ..."
Zhou, Chijin ISSTA '24: "Towards More Complete Constraints ..."
Zhou, Hao ISSTA '24: "Following the “Thread”: ..."
Zhou, Jiayuan ISSTA '24: "Silent Taint-Style Vulnerability ..."
Zhou, Jun ISSTA '24: "Interpretability Based Neural ..."
Zhou, Kaihang ISSTA '24: "Automated Data Binding Vulnerability ..."
Zhou, Lei ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..."
Zhou, Mingyi ISSTA '24: "Model-less Is the Best Model: ..."
Zhou, Xuan ISSTA '24: "DBStorm: Generating Various ..."
Zhou, Yajin ISSTA '24: "Atlas: Automating Cross-Language ..."
Zhou, Yangfan ISSTA '24: "Wapplique: Testing WebAssembly ..."
Zhou, Ying ISSTA '24: "Toward the Automated Localization ..."
Zhou, Yuchen ISSTA '24: "CEBin: A Cost-Effective Framework ..." ISSTA '24: "CLAP: Learning Transferable ..."
Zhou, Zhuotong ISSTA '24: "Your “Notice” Is Missing: ..."
Zhu, Jiaxin ISSTA '24: "Testing Gremlin-Based Graph ..."
Zhu, Jieming ISSTA '24: "A Large-Scale Evaluation for ..."
Zhu, Qihao ISSTA '24: "Synthesis-Based Enhancement ..."
Zhu, Wenyu ISSTA '24: "CLAP: Learning Transferable ..."
Zou, Xiazijian ISSTA '24: "Towards More Complete Constraints ..."
Zuev, Maksim ISSTA '24: "Testing Concurrent Algorithms ..."

899 authors

proc time: 155.1