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 ..." Article: issta24main-p874-p doi:10.1145/3650212.3680401
Acher, Mathieu ISSTA '24: "Policy Testing with MDPFuzz ..." Article: issta24main-p1316-p doi:10.1145/3650212.3680382
Ahmed, Iftekhar ISSTA '24: "Ma11y: A Mutation Framework ..." Article: issta24main-p256-p doi:10.1145/3650212.3652113
Albert, Elvira ISSTA '24: "Synthesis of Sound and Precise ..." Article: issta24main-p749-p doi:10.1145/3650212.3680352
Alian, Parsa ISSTA '24: "Semantic Constraint Inference ..." Article: issta24main-p471-p doi:10.1145/3650212.3680332
Amalfitano, Domenico ISSTA '24: "FRAFOL: FRAmework FOr Learning ..." Article: issta24demo-p13-p doi:10.1145/3650212.3685306
Ammann, Paul ISSTA '24: "An Empirical Examination of ..." Article: issta24main-p1466-p doi:10.1145/3650212.3680387
Bai, Guangdong ISSTA '24: "Large Language Models Can ..." Article: issta24main-p1323-p doi:10.1145/3650212.3680383
Bai, Mingqiang ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355
Bang, Lucas ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Bell, Jonathan ISSTA '24: "An Empirical Examination of ..." Article: issta24main-p1466-p doi:10.1145/3650212.3680387
Besse, Yann ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Betin Can, Aysu ISSTA '24: "Test Selection for Deep Neural ..." Article: issta24main-p179-p doi:10.1145/3650212.3680312
Bi, Yuyang ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." Article: issta24main-p826-p doi:10.1145/3650212.3652135
Bissyandé, Tegawendé F. ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328 ISSTA '24: "Call Graph Soundness in Android ..." Article: issta24main-p475-p doi:10.1145/3650212.3680333
Blumschein, Christoph ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Bobek, David ISSTA '24: "The Flexcrash Platform for ..." Article: issta24demo-p2-p doi:10.1145/3650212.3685299
Brodin, Henrik ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Bu, Lei ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Cai, Xiaobao ISSTA '24: "Reproducing Timing-Dependent ..." Article: issta24main-p1250-p doi:10.1145/3650212.3680377
Cai, Yufan ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Cai, Zhipeng ISSTA '24: "FastLog: An End-to-End Method ..." Article: issta24main-p49-p doi:10.1145/3650212.3652107
Canelas, Paulo ISSTA '24: "Understanding Misconfigurations ..." Article: issta24main-p719-p doi:10.1145/3650212.3680350
Cao, Shangtong ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358
Cao, Xuejie ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395
Cao, Ying ISSTA '24: "Evaluating the Effectiveness ..." Article: issta24main-p1254-p doi:10.1145/3650212.3652144
Cao, Yuan ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Cao, Yukai ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Cavalcante-Studart, Ana ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Cha, Sang Kil ISSTA '24: "AsFuzzer: Differential Testing ..." Article: issta24main-p615-p doi:10.1145/3650212.3680345
Chang, Rui ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367 ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Chaparro, Oscar ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Charoenwet, Wachiraphan ISSTA '24: "An Empirical Study of Static ..." Article: issta24main-p196-p doi:10.1145/3650212.3680313
Chen, Bihuan ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339 ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129 ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." Article: issta24main-p826-p doi:10.1145/3650212.3652135
Chen, Chong ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353
Chen, Chunyang ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341 ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119
Chen, David ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Chen, Hao ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
Chen, Jiachi ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343 ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353 ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116 ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Chen, Jialuo ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375 ISSTA '24: "Isolation-Based Debugging ..." Article: issta24main-p722-p doi:10.1145/3650212.3652132
Chen, Jianhai ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Chen, Jiming ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375 ISSTA '24: "Isolation-Based Debugging ..." Article: issta24main-p722-p doi:10.1145/3650212.3652132
Chen, Juan ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Chen, Junjie ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360 ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362 ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395 ISSTA '24: "A Large-Scale Empirical Study ..." Article: issta24main-p445-p doi:10.1145/3650212.3652122
Chen, Kai ISSTA '24: "Evaluating the Effectiveness ..." Article: issta24main-p1254-p doi:10.1145/3650212.3652144
Chen, Liangyu ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Chen, Liqian ISSTA '24: "One Size Does Not Fit All: ..." Article: issta24main-p1305-p doi:10.1145/3650212.3680381 ISSTA '24: "Synthesizing Boxes Preconditions ..." Article: issta24main-p2033-p doi:10.1145/3650212.3680393
Chen, Liwei ISSTA '24: "Prospector: Boosting Directed ..." Article: issta24main-p987-p doi:10.1145/3650212.3680365 ISSTA '24: "Sleuth: A Switchable Dual-Mode ..." Article: issta24main-p242-p doi:10.1145/3650212.3680316
Chen, Polong ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Chen, Sen ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366 ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Chen, Songqiang ISSTA '24: "FastLog: An End-to-End Method ..." Article: issta24main-p49-p doi:10.1145/3650212.3652107
Chen, Ting ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353 ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371 ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391 ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303
Chen, Xiangqun ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Chen, Xiao ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119
Chen, Xiaohong ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Chen, Xiaohui ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Chen, Yan ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Chen, Yang ISSTA '24: "Neurosymbolic Repair of Test ..." Article: issta24main-p1121-p doi:10.1145/3650212.3680369
Chen, Yixiang ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Chen, Yixiong ISSTA '24: "Foliage: Nourishing Evolving ..." Article: issta24main-p975-p doi:10.1145/3650212.3680363
Chen, Yizhou ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356
Chen, Yujia ISSTA '24: "Bridge and Hint: Extending ..." Article: issta24main-p491-p doi:10.1145/3650212.3652127
Chen, Yuqi ISSTA '24: "DistillSeq: A Framework for ..." Article: issta24main-p73-p doi:10.1145/3650212.3680304
Chen, Zhenyu ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Chen, Zhuangbin ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Chen, Zuohui ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Cheng, Peng ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375 ISSTA '24: "Isolation-Based Debugging ..." Article: issta24main-p722-p doi:10.1145/3650212.3652132
Cheng, Runxiang ISSTA '24: "Revisiting Test-Case Prioritization ..." Article: issta24main-p129-p doi:10.1145/3650212.3680307
Cheng, Zaiyu ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303
Cheung, Shing-Chi ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362
Chu, Zhaoyang ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Cohen, Myra B. ISSTA '24: "Traceback: A Fault Localization ..." Article: issta24main-p1073-p doi:10.1145/3650212.3652138
Copia, Juan Manuel ISSTA '24: "FixCheck: A Tool for Improving ..." Article: issta24demo-p19-p doi:10.1145/3650212.3685308
Cordeiro, Lucas C. ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303 ISSTA '24: "ESBMC-Python: A Bounded Model ..." Article: issta24demo-p9-p doi:10.1145/3650212.3685304
Correas, Jesús ISSTA '24: "Synthesis of Sound and Precise ..." Article: issta24main-p749-p doi:10.1145/3650212.3680352
Cui, Baoquan ISSTA '24: "DMMPP: Constructing Dummy ..." Article: issta24demo-p7-p doi:10.1145/3650212.3685302
Cui, Di ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Cui, Mengqi ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Cui, Ziyu ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Cuiying, Gao ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
Dai, Jiarun ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
Dai, Qinming ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
D'Amorim, Marcelo ISSTA '24: "Feedback-Directed Partial ..." Article: issta24main-p257-p doi:10.1145/3650212.3680320
Dasu, Vishnu Asutosh ISSTA '24: "NeuFair: Neural Network Fairness ..." Article: issta24main-p1278-p doi:10.1145/3650212.3680380
Davis, James C. ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Decrop, Alix ISSTA '24: "Leveraging Natural Language ..." Article: issta24docs-p26-p doi:10.1145/3650212.3685554
De Lima Filho, Eddie B. ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303 ISSTA '24: "ESBMC-Python: A Bounded Model ..." Article: issta24demo-p9-p doi:10.1145/3650212.3685304
Demir, Demet ISSTA '24: "Test Selection for Deep Neural ..." Article: issta24main-p179-p doi:10.1145/3650212.3680312
Deng, Huan ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Deshpande, Anmol ISSTA '24: "Ma11y: A Mutation Framework ..." Article: issta24main-p256-p doi:10.1145/3650212.3652113
Dong, Jin Song ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Dong, Yiwen ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Dong, Zhen ISSTA '24: "Reproducing Timing-Dependent ..." Article: issta24main-p1250-p doi:10.1145/3650212.3680377
Dou, Wensheng ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Do-Viet, Tung ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Du, Jianfeng ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Du, Qingpeng ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Du, Xiaoning ISSTA '24: "AI Coders Are among Us: Rethinking ..." Article: issta24main-p658-p doi:10.1145/3650212.3680347 ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300 ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Du, Xiaoyong ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Düsing, Johannes ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114
Eom, Jueon ISSTA '24: "Fuzzing JavaScript Interpreters ..." Article: issta24main-p1691-p doi:10.1145/3650212.3680389
Ernst, Michael D. ISSTA '24: "Call Graph Soundness in Android ..." Article: issta24main-p475-p doi:10.1145/3650212.3680333
Fan, Gang ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116 ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Fan, Zhiyu ISSTA '24: "AutoCodeRover: Autonomous ..." Article: issta24main-p1370-p doi:10.1145/3650212.3680384 ISSTA '24: "Oracle-Guided Program Selection ..." Article: issta24main-p138-p doi:10.1145/3650212.3680308
Fang, Chunrong ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Fang, Haoran ISSTA '24: "DDGF: Dynamic Directed Greybox ..." Article: issta24main-p317-p doi:10.1145/3650212.3680324
Fang, Weiyuan ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Farias, Bruno ISSTA '24: "ESBMC-Python: A Bounded Model ..." Article: issta24demo-p9-p doi:10.1145/3650212.3685304
Featherman, Ryan ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310
Feng, Cong ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Feng, Ruitao ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Feng, Sidong ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Feng, Yang ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348 ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Feng, Yebo ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Fiterău-Broştean, Paul ISSTA '24: "SMBugFinder: An Automated ..." Article: issta24demo-p22-p doi:10.1145/3650212.3685310
Fonseca, Alcides ISSTA '24: "Understanding Misconfigurations ..." Article: issta24main-p719-p doi:10.1145/3650212.3680350
Freudenthaler, Leon ISSTA '24: "Decentralized Near-Synchronous ..." Article: issta24docs-p92-p doi:10.1145/3650212.3685555
Fu, Cai ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Gambi, Alessio ISSTA '24: "The Flexcrash Platform for ..." Article: issta24demo-p2-p doi:10.1145/3650212.3685299
Gao, Cuiyun ISSTA '24: "SCALE: Constructing Structured ..." Article: issta24main-p463-p doi:10.1145/3650212.3652124 ISSTA '24: "Bridge and Hint: Extending ..." Article: issta24main-p491-p doi:10.1145/3650212.3652127
Gao, Shuzheng ISSTA '24: "SCALE: Constructing Structured ..." Article: issta24main-p463-p doi:10.1145/3650212.3652124
Gao, Xiang ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119 ISSTA '24: "API Misuse Detection via Probabilistic ..." Article: issta24main-p218-p doi:10.1145/3650212.3652112
Gao, Xiangshan ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375
Gao, Xinyu ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Gao, Xuanqi ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Gao, Yu ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392 ISSTA '24: "An Empirical Study on Kubernetes ..." Article: issta24main-p2073-p doi:10.1145/3650212.3680396
Gao, Zeyu ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Gao, Zhipeng ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368
Ge, Jidong ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Ge, Xiuting ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Gerten, Michael C. ISSTA '24: "Traceback: A Fault Localization ..." Article: issta24main-p1073-p doi:10.1145/3650212.3652138
Ghanbari, Ali ISSTA '24: "Decomposition of Deep Neural ..." Article: issta24main-p1839-p doi:10.1145/3650212.3680390
Go, Gwihwan ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364
Gopinath, Divya ISSTA '24: "Evaluating Deep Neural Networks ..." Article: issta24main-p874-p doi:10.1145/3650212.3680401
Gordillo, Pablo ISSTA '24: "Synthesis of Sound and Precise ..." Article: issta24main-p749-p doi:10.1145/3650212.3680352
Gorla, Alessandra ISSTA '24: "FixCheck: A Tool for Improving ..." Article: issta24demo-p19-p doi:10.1145/3650212.3685308
Gotlieb, Arnaud ISSTA '24: "Policy Testing with MDPFuzz ..." Article: issta24main-p1316-p doi:10.1145/3650212.3680382
Grundy, John ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353 ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119
Gu, Jiazhen ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Gu, Taotao ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Guan, Hanqin ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Guan, Hao ISSTA '24: "Large Language Models Can ..." Article: issta24main-p1323-p doi:10.1145/3650212.3680383
Guan, Kevin ISSTA '24: "An In-Depth Study of Runtime ..." Article: issta24main-p2170-p doi:10.1145/3650212.3680400
Guan, Nan ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Gulcan, Ege Berkay ISSTA '24: "Generalized Concurrency Testing ..." Article: issta24demo-p20-p doi:10.1145/3650212.3685309
Guo, An ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Guo, Jin ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
Guo, Lianghong ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343
Guo, Qi ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Guo, Xiaochen ISSTA '24: "Maltracker: A Fine-Grained ..." Article: issta24main-p2074-p doi:10.1145/3650212.3680397
Guo, Xiaowei ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Guo, Yao ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Guo, Yiwen ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
Guo, Yiyuan ISSTA '24: "Precise Compositional Buffer ..." Article: issta24main-p190-p doi:10.1145/3650212.3652110
Halfond, William G. J. ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Han, Lansheng ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Hao, Dan ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356 ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Hao, Zongyin ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Harmon, Carson ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Hashtroudi, Sepehr ISSTA '24: "Domain Adaptation for Code ..." Article: issta24main-p789-p doi:10.1145/3650212.3680354
Hayet, Ishrak ISSTA '24: "Feedback-Directed Partial ..." Article: issta24main-p257-p doi:10.1145/3650212.3680320
He, Biao ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
He, Dongnan ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
He, Ningyu ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300 ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358
He, Qidan ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
He, Siyang ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
He, Yifeng ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
He, Zheyuan ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Helm, Dominik ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114 ISSTA '24: "Unimocg: Modular Call-Graph ..." Article: issta24main-p182-p doi:10.1145/3650212.3652109
Hemmati, Hadi ISSTA '24: "Domain Adaptation for Code ..." Article: issta24main-p789-p doi:10.1145/3650212.3680354
Hermann, Ben ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114
Hirschfeld, Robert ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Hu, Chunming ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Hu, Jiang ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353
Hu, Jie ISSTA '24: "Calico: Automated Knowledge ..." Article: issta24main-p2121-p doi:10.1145/3650212.3680399
Hu, Jingzhao ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Hu, Ming ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Hu, Tianmin ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Hu, Xing ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368 ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386 ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134 ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Hu, Yupeng ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Huang, Hanxian ISSTA '24: "Multi-modal Learning for WebAssembly ..." Article: issta24main-p1180-p doi:10.1145/3650212.3652141
Huang, Jiabo ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
Huang, Jianjun ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Huang, Junjie ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Huang, Kaifeng ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
Huang, Tao ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Huang, Xilin ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Huang, Yuhuan ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Huang, Zongan ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
Huo, Yintong ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106 ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Huynh, Hieu ISSTA '24: "Segment-Based Test Case Prioritization: ..." Article: issta24main-p707-p doi:10.1145/3650212.3680349
Jabbarvand, Reyhaneh ISSTA '24: "Neurosymbolic Repair of Test ..." Article: issta24main-p1121-p doi:10.1145/3650212.3680369 ISSTA '24: "Revisiting Test-Case Prioritization ..." Article: issta24main-p129-p doi:10.1145/3650212.3680307
Jacob, Kerstin ISSTA '24: "Integrating Mutation Techniques ..." Article: issta24docs-p3-p doi:10.1145/3650212.3685556
Jajal, Purvish ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Jeong, Seyeon ISSTA '24: "Fuzzing JavaScript Interpreters ..." Article: issta24main-p1691-p doi:10.1145/3650212.3680389
Ji, Ruihua ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125
Ji, Shouling ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Jiang, Bo ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Jiang, Haoyu ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
Jiang, Jiajun ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360 ISSTA '24: "A Large-Scale Empirical Study ..." Article: issta24main-p445-p doi:10.1145/3650212.3652122 ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Jiang, Tingting ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Jiang, Weipeng ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Jiang, Wenxin ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Jiang, Yu ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364 ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394 ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Jiang, Zhihan ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Jin, Hai ISSTA '24: "Maltracker: A Fine-Grained ..." Article: issta24main-p2074-p doi:10.1145/3650212.3680397 ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Jin, Shunfu ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Jin, Wenqiang ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Jonsson, Bengt ISSTA '24: "SMBugFinder: An Automated ..." Article: issta24demo-p22-p doi:10.1145/3650212.3685310
Just, René ISSTA '24: "FRAFOL: FRAmework FOr Learning ..." Article: issta24demo-p13-p doi:10.1145/3650212.3685306 ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310 ISSTA '24: "Call Graph Soundness in Android ..." Article: issta24main-p475-p doi:10.1145/3650212.3680333
Kamei, Yasutaka ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395
Kampkötter, Anemone ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114
Kaniyur, Mira ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Kaoudis, Kelly ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Kariyakarawana, Nimantha ISSTA '24: "Quality Assurance for Non-trivial ..." Article: issta24docs-p32-p doi:10.1145/3650212.3685557
Kaufman, Samuel J. ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310
Keidel, Sven ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114 ISSTA '24: "Unimocg: Modular Call-Graph ..." Article: issta24main-p182-p doi:10.1145/3650212.3652109
Keung, Jacky ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386
Kim, Dongsun ISSTA '24: "Preserving Reactiveness: Understanding ..." Article: issta24main-p249-p doi:10.1145/3650212.3680319
Kim, Hyungseok ISSTA '24: "AsFuzzer: Differential Testing ..." Article: issta24main-p615-p doi:10.1145/3650212.3680345
Kim, Soomin ISSTA '24: "AsFuzzer: Differential Testing ..." Article: issta24main-p615-p doi:10.1145/3650212.3680345
Klein, Jacques ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328 ISSTA '24: "Call Graph Soundness in Android ..." Article: issta24main-p475-p doi:10.1145/3650212.3680333
Kocinare, Erik ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Kong, Ziqiao ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Koval, Nikita ISSTA '24: "Testing Concurrent Algorithms ..." Article: issta24demo-p5-p doi:10.1145/3650212.3685301
Kuang, Xiaohui ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Kukucka, James ISSTA '24: "An Empirical Examination of ..." Article: issta24main-p1466-p doi:10.1145/3650212.3680387
Kumar, Ashish ISSTA '24: "NeuFair: Neural Network Fairness ..." Article: issta24main-p1278-p doi:10.1145/3650212.3680380
Kushigian, Benjamin ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310
Kwon, Taekyoung ISSTA '24: "Fuzzing JavaScript Interpreters ..." Article: issta24main-p1691-p doi:10.1145/3650212.3680389
Lai, Yi-Hsiang ISSTA '24: "Automated Deep Learning Optimization ..." Article: issta24main-p1189-p doi:10.1145/3650212.3652143
Lam, Duy ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Lan, Junhao ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Lang, Zhe ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Larsen, Bradford ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Lathrop, James I. ISSTA '24: "Traceback: A Fault Localization ..." Article: issta24main-p1073-p doi:10.1145/3650212.3652138
Le, Bach ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Le, Hung ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Lee, Cheryl ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Lee, Jungwoo ISSTA '24: "AsFuzzer: Differential Testing ..." Article: issta24main-p615-p doi:10.1145/3650212.3680345
Legunsen, Owolabi ISSTA '24: "An In-Depth Study of Runtime ..." Article: issta24main-p2170-p doi:10.1145/3650212.3680400
Lei, Zhanyao ISSTA '24: "Foliage: Nourishing Evolving ..." Article: issta24main-p975-p doi:10.1145/3650212.3680363
Le Tolguenec, Paul-Antoine ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Li, Chongmin ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..." Article: issta24main-p320-p doi:10.1145/3650212.3680326
Li, Dan ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106
Li, Ding ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Li, Dong ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371
Li, Fei ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Li, Haofeng ISSTA '24: "Better Not Together: Staged ..." Article: issta24main-p623-p doi:10.1145/3650212.3680346
Li, Heng ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
Li, Hu ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Li, Jianfeng ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372
Li, Jiyuan ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Li, Kaixuan ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Li, Keqiang ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Li, Li ISSTA '24: "AI Coders Are among Us: Rethinking ..." Article: issta24main-p658-p doi:10.1145/3650212.3680347 ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119 ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300 ISSTA '24: "API Misuse Detection via Probabilistic ..." Article: issta24main-p218-p doi:10.1145/3650212.3652112
Li, Lian ISSTA '24: "Better Not Together: Staged ..." Article: issta24main-p623-p doi:10.1145/3650212.3680346
Li, Liangguo ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Li, Meng ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Li, Pan ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Li, Pingping ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Li, Qian ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Li, Qingshan ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Li, Shanping ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368 ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134
Li, Shanshan ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Li, Shoubin ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Li, Teng ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Li, Wenjin ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Li, Xiaohong ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Li, Xuandong ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125 ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Li, Yeting ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355
Li, Yichen ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106 ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Li, Yuekang ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355 ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366
Li, Zhenhao ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359
Li, Zhong ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125
Li, Zhongrui ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
Li, Zihao ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372
Li, Ziwei ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116
Liang, Bin ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Liang, Pingjia ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Liang, Qingyuan ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356
Liang, Ruigang ISSTA '24: "Evaluating the Effectiveness ..." Article: issta24main-p1254-p doi:10.1145/3650212.3652144
Liang, Shuyun ISSTA '24: "Characterizing and Detecting ..." Article: issta24main-p2082-p doi:10.1145/3650212.3680398
Liao, Qing ISSTA '24: "Bridge and Hint: Extending ..." Article: issta24main-p491-p doi:10.1145/3650212.3652127
Lin, Bo ISSTA '24: "One Size Does Not Fit All: ..." Article: issta24main-p1305-p doi:10.1145/3650212.3680381
Lin, Li ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Lin, Xingwei ISSTA '24: "Midas: Mining Profitable Exploits ..." Article: issta24main-p260-p doi:10.1145/3650212.3680321
Lin, Yun ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129 ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Lincke, Jens ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Liu, Chao ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371
Liu, Chen ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Liu, Chenyan ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Liu, Dongfang ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Liu, Han ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Liu, Hongle ISSTA '24: "Enhancing Robustness of Code ..." Article: issta24main-p435-p doi:10.1145/3650212.3652121
Liu, Hongwang ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348
Liu, Jia ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Liu, Jiakai ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Liu, Jianzhong ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Liu, Jinyang ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Liu, Lei ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386
Liu, Long ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Liu, Pei ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119
Liu, Shangqing ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Liu, Shuang ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360 ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Liu, Shuning ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129
Liu, Wanwei ISSTA '24: "Synthesizing Boxes Preconditions ..." Article: issta24main-p2033-p doi:10.1145/3650212.3680393
Liu, Yang ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355 ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137 ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302 ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Liu, Ye ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Liu, Yepang ISSTA '24: "Large Language Models Can ..." Article: issta24main-p1323-p doi:10.1145/3650212.3680383
Liu, Yi ISSTA '24: "DistillSeq: A Framework for ..." Article: issta24main-p73-p doi:10.1145/3650212.3680304
Liu, Yunqi ISSTA '24: "FunRedisp: A Function Redispatch ..." Article: issta24demo-p24-p doi:10.1145/3650212.3685312 ISSTA '24: "FunRedisp: Reordering Function ..." Article: issta24main-p1472-p doi:10.1145/3650212.3652146
Liu, Zengyu ISSTA '24: "Synthesizing Boxes Preconditions ..." Article: issta24main-p2033-p doi:10.1145/3650212.3680393
Liu, Zhongxin ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371 ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134
Liu, Zixi ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348
Lo, David ISSTA '24: "AI Coders Are among Us: Rethinking ..." Article: issta24main-p658-p doi:10.1145/3650212.3680347 ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371 ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386 ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300
Lu, Jie ISSTA '24: "Better Not Together: Staged ..." Article: issta24main-p623-p doi:10.1145/3650212.3680346
Lu, Minghai ISSTA '24: "Automated Deep Learning Optimization ..." Article: issta24main-p1189-p doi:10.1145/3650212.3652143
Lu, Wei ISSTA '24: "Testing Graph Database Systems ..." Article: issta24main-p164-p doi:10.1145/3650212.3680311
Lu, Yi ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Lu, You ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." Article: issta24main-p826-p doi:10.1145/3650212.3652135
Lu, Yung-Hsiang ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Luo, Chuan ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Luo, Feng ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Luo, Weilin ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Luo, Xiapu ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372 ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391 ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300 ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303
Luo, Zhengxiong ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Luu, Tuan-Hai ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Lv, Shichao ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Lyu, Jun ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Lyu, Michael R. ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123 ISSTA '24: "SCALE: Constructing Structured ..." Article: issta24main-p463-p doi:10.1145/3650212.3652124 ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Lyu, Shuangyu ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Ma, Haoyang ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362
Ma, Shiqing ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Ma, Wei ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355
Ma, Xutong ISSTA '24: "Panda: A Concurrent Scheduler ..." Article: issta24demo-p23-p doi:10.1145/3650212.3685311
Ma, Xuyan ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Ma, Yuchi ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343
Ma, Yunlong ISSTA '24: "API Misuse Detection via Probabilistic ..." Article: issta24main-p218-p doi:10.1145/3650212.3652112
Madadi, Ardi ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310
Mahmud, Junayed ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Malek, Sam ISSTA '24: "Ma11y: A Mutation Framework ..." Article: issta24main-p256-p doi:10.1145/3650212.3652113
Mao, Xiaoguang ISSTA '24: "One Size Does Not Fit All: ..." Article: issta24main-p1305-p doi:10.1145/3650212.3680381
Margalit, Roy ISSTA '24: "Robustness against the C/C++11 ..." Article: issta24docs-p27-p doi:10.1145/3650212.3685549
Marinov, Darko ISSTA '24: "Revisiting Test-Case Prioritization ..." Article: issta24main-p129-p doi:10.1145/3650212.3680307
Mathews, Shreya ISSTA '24: "The Flexcrash Platform for ..." Article: issta24demo-p2-p doi:10.1145/3650212.3685299
Mazouni, Quentin ISSTA '24: "Policy Testing with MDPFuzz ..." Article: issta24main-p1316-p doi:10.1145/3650212.3680382
Mechtaev, Sergey ISSTA '24: "Oracle-Guided Program Selection ..." Article: issta24main-p138-p doi:10.1145/3650212.3680308
Mehralian, Forough ISSTA '24: "Ma11y: A Mutation Framework ..." Article: issta24main-p256-p doi:10.1145/3650212.3652113
Mei, Hong ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Menezes, Rafael ISSTA '24: "ESBMC-Python: A Bounded Model ..." Article: issta24demo-p9-p doi:10.1145/3650212.3685304
Meng, Dan ISSTA '24: "Prospector: Boosting Directed ..." Article: issta24main-p987-p doi:10.1145/3650212.3680365 ISSTA '24: "Sleuth: A Switchable Dual-Mode ..." Article: issta24main-p242-p doi:10.1145/3650212.3680316
Mesbah, Ali ISSTA '24: "Semantic Constraint Inference ..." Article: issta24main-p471-p doi:10.1145/3650212.3680332
Mezini, Mira ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114 ISSTA '24: "Unimocg: Modular Call-Graph ..." Article: issta24main-p182-p doi:10.1145/3650212.3652109
Moiseenko, Evgenii ISSTA '24: "Testing Concurrent Algorithms ..." Article: issta24demo-p5-p doi:10.1145/3650212.3685301
Molina, Facundo ISSTA '24: "FixCheck: A Tool for Improving ..." Article: issta24demo-p19-p doi:10.1145/3650212.3685308
Moran, Kevin ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Nan, Yuhong ISSTA '24: "Midas: Mining Profitable Exploits ..." Article: issta24main-p260-p doi:10.1145/3650212.3680321
Nashid, Noor ISSTA '24: "Semantic Constraint Inference ..." Article: issta24main-p471-p doi:10.1145/3650212.3680332
Neto, João ISSTA '24: "Generalized Concurrency Testing ..." Article: issta24demo-p20-p doi:10.1145/3650212.3685309
Nguyen, Huan ISSTA '24: "Scalable, Sound, and Accurate ..." Article: issta24main-p48-p doi:10.1145/3650212.3680301
Nguyen, Thanh-Dat ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Nguyen, Tien N. ISSTA '24: "Segment-Based Test Case Prioritization: ..." Article: issta24main-p707-p doi:10.1145/3650212.3680349
Nguyen, Vu ISSTA '24: "Segment-Based Test Case Prioritization: ..." Article: issta24main-p707-p doi:10.1145/3650212.3680349
Nguyen-Duy, Hung ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Ni, Chao ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359
Ni, Lyu ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Niephaus, Fabio ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Ning, Zhenyu ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Ouyang, Yicheng ISSTA '24: "Benchmarking Automated Program ..." Article: issta24main-p1079-p doi:10.1145/3650212.3652140
Ouyang, Yu ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Overall, Lisa ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Ozkan, Burcu Kulahcioglu ISSTA '24: "Generalized Concurrency Testing ..." Article: issta24demo-p20-p doi:10.1145/3650212.3685309
Paiva, Ana ISSTA '24: "FRAFOL: FRAmework FOr Learning ..." Article: issta24demo-p13-p doi:10.1145/3650212.3685306
Pan, Minxue ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125 ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139 ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..." Article: issta24main-p320-p doi:10.1145/3650212.3680326
Pan, Shengyi ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134
Park, Sangeon ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Păsăreanu, Corina S. ISSTA '24: "Evaluating Deep Neural Networks ..." Article: issta24main-p874-p doi:10.1145/3650212.3680401
Pei, Yu ISSTA '24: "Characterizing and Detecting ..." Article: issta24main-p2082-p doi:10.1145/3650212.3680398 ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..." Article: issta24main-p320-p doi:10.1145/3650212.3680326
Pei, Yunrui ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Peng, Ruikang ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Peng, Shuo ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Peng, Xin ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339 ISSTA '24: "Reproducing Timing-Dependent ..." Article: issta24main-p1250-p doi:10.1145/3650212.3680377 ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129 ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." Article: issta24main-p826-p doi:10.1145/3650212.3652135
Pham, Long H. ISSTA '24: "Certified Continual Learning ..." Article: issta24main-p274-p doi:10.1145/3650212.3680322
Pham, Nhu ISSTA '24: "Segment-Based Test Case Prioritization: ..." Article: issta24main-p707-p doi:10.1145/3650212.3680349
Pham, Van-Thuan ISSTA '24: "An Empirical Study of Static ..." Article: issta24main-p196-p doi:10.1145/3650212.3680313
Pian, Weiguo ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Pina, Luís ISSTA '24: "An Empirical Examination of ..." Article: issta24main-p1466-p doi:10.1145/3650212.3680387
Pinconschi, Eduard ISSTA '24: "Evaluating Deep Neural Networks ..." Article: issta24main-p874-p doi:10.1145/3650212.3680401
Plein, Laura ISSTA '24: "Learning the Effects of Software ..." Article: issta24docs-p65-p doi:10.1145/3650212.3685550
Poienko, Mykhailo ISSTA '24: "The Flexcrash Platform for ..." Article: issta24demo-p2-p doi:10.1145/3650212.3685299
Potapov, Aleksandr ISSTA '24: "Testing Concurrent Algorithms ..." Article: issta24demo-p5-p doi:10.1145/3650212.3685301
Potter, Hannah ISSTA '24: "Equivalent Mutants in the ..." Article: issta24main-p142-p doi:10.1145/3650212.3680310
Priyadarshan, Soumyakant ISSTA '24: "Scalable, Sound, and Accurate ..." Article: issta24main-p48-p doi:10.1145/3650212.3680301
Qi, Zhengwei ISSTA '24: "Foliage: Nourishing Evolving ..." Article: issta24main-p975-p doi:10.1145/3650212.3680363
Qian, Peng ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Qin, Zheng ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Qiu, Han ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Qiu, Jie ISSTA '24: "Search-Based Translations ..." Article: issta24docs-p17-p doi:10.1145/3650212.3685558
Qiu, Junming ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Qiu, Mingran ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Qiu, Yuxin ISSTA '24: "Calico: Automated Knowledge ..." Article: issta24main-p2121-p doi:10.1145/3650212.3680399
Quan, Zhou ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307
Rachelson, Emmanuel ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Rafi, Tahmid ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Ran, Dezhi ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Reif, Michael ISSTA '24: "Unimocg: Modular Call-Graph ..." Article: issta24main-p182-p doi:10.1145/3650212.3652109
Rigger, Manuel ISSTA '24: "Inconsistencies in TeX-Produced ..." Article: issta24main-p1132-p doi:10.1145/3650212.3680370 ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Román-Díez, Guillermo ISSTA '24: "Synthesis of Sound and Precise ..." Article: issta24main-p749-p doi:10.1145/3650212.3680352
Rong, Guoping ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Rong, Yuyang ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
Roth, Tobias ISSTA '24: "Total Recall? How Good Are ..." Article: issta24main-p309-p doi:10.1145/3650212.3652114 ISSTA '24: "Unimocg: Modular Call-Graph ..." Article: issta24main-p182-p doi:10.1145/3650212.3652109
Roychoudhury, Abhik ISSTA '24: "AutoCodeRover: Autonomous ..." Article: issta24main-p1370-p doi:10.1145/3650212.3680384 ISSTA '24: "Oracle-Guided Program Selection ..." Article: issta24main-p138-p doi:10.1145/3650212.3680308
Rozsíval, Michal ISSTA '24: "Automated Testing of Networked ..." Article: issta24docs-p23-p doi:10.1145/3650212.3685559
Ruan, Haifeng ISSTA '24: "AutoCodeRover: Autonomous ..." Article: issta24main-p1370-p doi:10.1145/3650212.3680384 ISSTA '24: "Oracle-Guided Program Selection ..." Article: issta24main-p138-p doi:10.1145/3650212.3680308
Rubio, Albert ISSTA '24: "Synthesis of Sound and Precise ..." Article: issta24main-p749-p doi:10.1145/3650212.3680352
Sagonas, Konstantinos ISSTA '24: "SMBugFinder: An Automated ..." Article: issta24demo-p22-p doi:10.1145/3650212.3685310
Saha, Antu ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Samhi, Jordan ISSTA '24: "Call Graph Soundness in Android ..." Article: issta24main-p475-p doi:10.1145/3650212.3680333
Sarraf, Anusha ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Schmerl, Bradley ISSTA '24: "Understanding Misconfigurations ..." Article: issta24main-p719-p doi:10.1145/3650212.3680350
Schneider, Nicolas ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Schrammel, Peter ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303
Scott, Adam ISSTA '24: "Feedback-Directed Partial ..." Article: issta24main-p257-p doi:10.1145/3650212.3680320
Sekar, R. ISSTA '24: "Scalable, Sound, and Accurate ..." Article: issta24main-p48-p doi:10.1145/3650212.3680301
Sha, Zihan ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Shahbandeh, Mobina ISSTA '24: "Semantic Constraint Inference ..." Article: issta24main-p471-p doi:10.1145/3650212.3680332
Shahoor, Arooba ISSTA '24: "Preserving Reactiveness: Understanding ..." Article: issta24main-p249-p doi:10.1145/3650212.3680319
Shan, Shiwen ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106
She, Xinyu ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358
Shen, Chao ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Shen, Jiacheng ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Shen, Qingchao ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362
Shen, Wenbo ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366 ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367 ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Shen, Yuheng ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Shi, Chenghang ISSTA '24: "Better Not Together: Staged ..." Article: issta24main-p623-p doi:10.1145/3650212.3680346
Shi, Ensheng ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343
Shi, Gang ISSTA '24: "Prospector: Boosting Directed ..." Article: issta24main-p987-p doi:10.1145/3650212.3680365 ISSTA '24: "Sleuth: A Switchable Dual-Mode ..." Article: issta24main-p242-p doi:10.1145/3650212.3680316
Shi, Heyuan ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364 ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394 ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Shi, Jiangfan ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Shi, Jie ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375
Shi, Ling ISSTA '24: "DistillSeq: A Framework for ..." Article: issta24main-p73-p doi:10.1145/3650212.3680304
Shi, Qingkai ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348
Shi, Wenchang ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Shi, Zhiqiang ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Shin, Jiho ISSTA '24: "Domain Adaptation for Code ..." Article: issta24main-p789-p doi:10.1145/3650212.3680354
Shu, Honglin ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395
Song, Fu ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300
Song, Jiansen ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Song, Shuwei ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Song, Wei ISSTA '24: "FunRedisp: A Function Redispatch ..." Article: issta24demo-p24-p doi:10.1145/3650212.3685312 ISSTA '24: "FunRedisp: Reordering Function ..." Article: issta24main-p1472-p doi:10.1145/3650212.3652146
Song, Xuezhi ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129
Song, Yang ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Song, Zhanwei ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Song, Zihe ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Spieker, Helge ISSTA '24: "Policy Testing with MDPFuzz ..." Article: issta24main-p1316-p doi:10.1145/3650212.3680382
Stancu, Codruţ ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Steininger, Benedikt ISSTA '24: "The Flexcrash Platform for ..." Article: issta24demo-p2-p doi:10.1145/3650212.3685299
Su, Bowei ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303
Su, Yuxin ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106 ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Su, Zhendong ISSTA '24: "See the Forest, not Trees: ..." Article: issta24main-p1425-p doi:10.1145/3650212.3680385
Sui, Yulei ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Sultanik, Evan ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Sun, Chengnian ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Sun, Hailong ISSTA '24: "API Misuse Detection via Probabilistic ..." Article: issta24main-p218-p doi:10.1145/3650212.3652112
Sun, Hao ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Sun, Jun ISSTA '24: "Certified Continual Learning ..." Article: issta24main-p274-p doi:10.1145/3650212.3680322
Sun, Limin ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338 ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355
Sun, Mingyang ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Sun, Weisong ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Sun, Wenju ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Sun, Xiaoxia ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Sun, Youcheng ISSTA '24: "ESBMC-Python: A Bounded Model ..." Article: issta24demo-p9-p doi:10.1145/3650212.3685304 ISSTA '24: "Isolation-Based Debugging ..." Article: issta24main-p722-p doi:10.1145/3650212.3652132 ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Sun, Zeyu ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356 ISSTA '24: "A Large-Scale Empirical Study ..." Article: issta24main-p445-p doi:10.1145/3650212.3652122
Sun, Zhensu ISSTA '24: "AI Coders Are among Us: Rethinking ..." Article: issta24main-p658-p doi:10.1145/3650212.3680347 ISSTA '24: "FDI: Attack Neural Code Generation ..." Article: issta24main-p13-p doi:10.1145/3650212.3680300
Suo, Chenyao ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360
Surer, Elif ISSTA '24: "Test Selection for Deep Neural ..." Article: issta24main-p179-p doi:10.1145/3650212.3680312
Surovič, Marek ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Sweeney, Joseph ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Tåquist, Fredrik ISSTA '24: "SMBugFinder: An Automated ..." Article: issta24demo-p22-p doi:10.1145/3650212.3685310
Tafreshipour, Mahan ISSTA '24: "Ma11y: A Mutation Framework ..." Article: issta24main-p256-p doi:10.1145/3650212.3652113
Tan, Gang ISSTA '24: "NeuFair: Neural Network Fairness ..." Article: issta24main-p1278-p doi:10.1145/3650212.3680380
Tan, Jovyn ISSTA '24: "Inconsistencies in TeX-Produced ..." Article: issta24main-p1132-p doi:10.1145/3650212.3680370
Tan, Shin Hwei ISSTA '24: "Characterizing and Detecting ..." Article: issta24main-p2082-p doi:10.1145/3650212.3680398 ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120 ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Tang, Lei ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Tang, Ze ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Tang, Zhanyong ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Tavares, Pedro ISSTA '24: "FRAFOL: FRAmework FOr Learning ..." Article: issta24demo-p13-p doi:10.1145/3650212.3685306
Teichteil-Koenigsbuch, Florent ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Tewari, Arav ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Thiruvathukal, George K. ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Thongtanunam, Patanamon ISSTA '24: "An Empirical Study of Static ..." Article: issta24main-p196-p doi:10.1145/3650212.3680313 ISSTA '24: "VRDSynth: Synthesizing Programs ..." Article: issta24main-p199-p doi:10.1145/3650212.3680314
Tian, Haoye ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Tian, Senyue ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Tian, Wentong ISSTA '24: "API Misuse Detection via Probabilistic ..." Article: issta24main-p218-p doi:10.1145/3650212.3652112
Tian, Yifan ISSTA '24: "DiaVio: LLM-Empowered Diagnosis ..." Article: issta24main-p826-p doi:10.1145/3650212.3652135
Tian, Yongqiang ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362 ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Tian, Zhao ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395
Tihanyi, Norbert ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303
Timperley, Christopher S. ISSTA '24: "Understanding Misconfigurations ..." Article: issta24main-p719-p doi:10.1145/3650212.3680350
Tiwari, Abhishek ISSTA '24: "Reproducing Timing-Dependent ..." Article: issta24main-p1250-p doi:10.1145/3650212.3680377
Tizpaz-Niari, Saeid ISSTA '24: "NeuFair: Neural Network Fairness ..." Article: issta24main-p1278-p doi:10.1145/3650212.3680380
Treude, Christoph ISSTA '24: "An Empirical Study of Static ..." Article: issta24main-p196-p doi:10.1145/3650212.3680313
Tuesca, Facundo ISSTA '24: "PolyTracker: Whole-Input Dynamic ..." Article: issta24demo-p11-p doi:10.1145/3650212.3685313
Vandenbogaerde, Bram ISSTA '24: "Soft Verification for Actor ..." Article: issta24docs-p40-p doi:10.1145/3650212.3685551
Waeselynck, Hélène ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Wan, Hai ISSTA '24: "Learning to Check LTL Satisfiability ..." Article: issta24main-p511-p doi:10.1145/3650212.3680337
Wan, Yao ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Wang, Chengpeng ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Wang, Dingbang ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Wang, Dong ISSTA '24: "Large Language Models for ..." Article: issta24main-p2056-p doi:10.1145/3650212.3680395
Wang, Ethan ISSTA '24: "UniTSyn: A Large-Scale Dataset ..." Article: issta24main-p589-p doi:10.1145/3650212.3680342
Wang, Guoqing ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356
Wang, Haijun ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Wang, Haitao ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Wang, Hao ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145 ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Wang, Haoyu ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300 ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358 ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372 ISSTA '24: "NativeSummary: Summarizing ..." Article: issta24main-p500-p doi:10.1145/3650212.3680335
Wang, Huanting ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Wang, Ji ISSTA '24: "Synthesizing Boxes Preconditions ..." Article: issta24main-p2033-p doi:10.1145/3650212.3680393
Wang, Jianrong ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360
Wang, Jiaqi ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Wang, Jiashui ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Wang, Jikai ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300 ISSTA '24: "NativeSummary: Summarizing ..." Article: issta24main-p500-p doi:10.1145/3650212.3680335
Wang, Jingyi ISSTA '24: "TeDA: A Testing Framework ..." Article: issta24main-p1222-p doi:10.1145/3650212.3680375 ISSTA '24: "Isolation-Based Debugging ..." Article: issta24main-p722-p doi:10.1145/3650212.3652132 ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Wang, Junjie ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376 ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Wang, Leqing ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Wang, Linzhang ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125
Wang, Luqiao ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "Graph Learning for Extract ..." Article: issta24docs-p80-p doi:10.1145/3650212.3685561 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Wang, Mingzhe ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Wang, Qiangqiang ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Wang, Qing ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Wang, Renxiang ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Wang, Ruixin ISSTA '24: "Automated Deep Learning Optimization ..." Article: issta24main-p1189-p doi:10.1145/3650212.3652143
Wang, Shangwen ISSTA '24: "One Size Does Not Fit All: ..." Article: issta24main-p1305-p doi:10.1145/3650212.3680381
Wang, Shaohua ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359 ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368 ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Wang, Shuai ISSTA '24: "See the Forest, not Trees: ..." Article: issta24main-p1425-p doi:10.1145/3650212.3680385 ISSTA '24: "Revisiting Test-Case Prioritization ..." Article: issta24main-p129-p doi:10.1145/3650212.3680307
Wang, Song ISSTA '24: "Domain Adaptation for Code ..." Article: issta24main-p789-p doi:10.1145/3650212.3680354
Wang, Tong ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Wang, Wei ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Wang, Xiaoyin ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Wang, Xingyu ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Wang, Yanlin ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343 ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353
Wang, Yawen ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Wang, Yidong ISSTA '24: "CoderUJB: An Executable and ..." Article: issta24main-p316-p doi:10.1145/3650212.3652115
Wang, Yongjiang ISSTA '24: "Reproducing Timing-Dependent ..." Article: issta24main-p1250-p doi:10.1145/3650212.3680377
Wang, You ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134
Wang, Yujie ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Wang, Yuxing ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Wang, Zheng ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Wang, Zhuangda ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Wei, Haolai ISSTA '24: "Prospector: Boosting Directed ..." Article: issta24main-p987-p doi:10.1145/3650212.3680365 ISSTA '24: "Sleuth: A Switchable Dual-Mode ..." Article: issta24main-p242-p doi:10.1145/3650212.3680316
Wei, Jun ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392 ISSTA '24: "An Empirical Study on Kubernetes ..." Article: issta24main-p2073-p doi:10.1145/3650212.3680396
Wei, Minjie ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Wen, Ming ISSTA '24: "One Size Does Not Fit All: ..." Article: issta24main-p1305-p doi:10.1145/3650212.3680381 ISSTA '24: "Maltracker: A Fine-Grained ..." Article: issta24main-p2074-p doi:10.1145/3650212.3680397
Wen, Xin-Cheng ISSTA '24: "Collaboration to Repository-Level ..." Article: issta24docs-p91-p doi:10.1145/3650212.3685562 ISSTA '24: "SCALE: Constructing Structured ..." Article: issta24main-p463-p doi:10.1145/3650212.3652124
Wen, Zhongzhen ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Weng, Shihao ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Weng, Siyang ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Wilson, Dennis ISSTA '24: "Exploration-Driven Reinforcement ..." Article: issta24main-p466-p doi:10.1145/3650212.3680331
Wimmer, Christian ISSTA '24: "Finding Cuts in Static Analysis ..." Article: issta24main-p124-p doi:10.1145/3650212.3680306
Woo, Joseph ISSTA '24: "Interoperability in Deep Learning: ..." Article: issta24main-p1204-p doi:10.1145/3650212.3680374
Wu, Boyu ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Wu, Feifan ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Wu, Jiajing ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116 ISSTA '24: "Midas: Mining Profitable Exploits ..." Article: issta24main-p260-p doi:10.1145/3650212.3680321
Wu, Mengzhou ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Wu, Rongxin ISSTA '24: "SQLess: Dialect-Agnostic SQL ..." Article: issta24main-p244-p doi:10.1145/3650212.3680317
Wu, Shuohan ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372
Wu, Tong ISSTA '24: "JCWIT: A Correctness-Witness ..." Article: issta24demo-p8-p doi:10.1145/3650212.3685303
Wu, Wei ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Wu, Yang ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Wu, Yijian ISSTA '24: "C2D2: Extracting Critical ..." Article: issta24main-p582-p doi:10.1145/3650212.3652129
Wu, Yueming ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
Wu, Zhiying ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116
Xia, Chunqiu Steven ISSTA '24: "Automated Program Repair via ..." Article: issta24main-p296-p doi:10.1145/3650212.3680323
Xia, Mingyuan ISSTA '24: "Foliage: Nourishing Evolving ..." Article: issta24main-p975-p doi:10.1145/3650212.3680363
Xia, Qing ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116
Xia, Xin ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368 ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386 ISSTA '24: "Automating Zero-Shot Patch ..." Article: issta24main-p755-p doi:10.1145/3650212.3652134
Xia, Yingfeng ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
Xiao, Xi ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Xiao, Yang ISSTA '24: "SCALE: Constructing Structured ..." Article: issta24main-p463-p doi:10.1145/3650212.3652124
Xiao, Yuan ISSTA '24: "CooTest: An Automated Testing ..." Article: issta24main-p1200-p doi:10.1145/3650212.3680373
Xie, Dongchen ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Xie, Jundong ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
Xie, Linna ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..." Article: issta24main-p320-p doi:10.1145/3650212.3680326
Xie, Maoyi ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Xie, Rui ISSTA '24: "CoderUJB: An Executable and ..." Article: issta24main-p316-p doi:10.1145/3650212.3652115
Xie, Tao ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Xie, Xiaofei ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355 ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366 ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376 ISSTA '24: "FT2Ra: A Fine-Tuning-Inspired ..." Article: issta24main-p700-p doi:10.1145/3650212.3652130
Xie, Xiaoyuan ISSTA '24: "FastLog: An End-to-End Method ..." Article: issta24main-p49-p doi:10.1145/3650212.3652107
Xing, Zezhong ISSTA '24: "Characterizing and Detecting ..." Article: issta24main-p2082-p doi:10.1145/3650212.3680398
Xiong, Hao ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Xu, Baowen ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348
Xu, Fanjiang ISSTA '24: "Enhancing Multi-agent System ..." Article: issta24main-p1238-p doi:10.1145/3650212.3680376
Xu, Guandong ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136
Xu, Jinchen ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Xu, Liang ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Xu, Qingxin ISSTA '24: "An Empirical Study on Kubernetes ..." Article: issta24main-p2073-p doi:10.1145/3650212.3680396
Xu, Tongtong ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Xu, Yiru ISSTA '24: "Enhancing ROS System Fuzzing ..." Article: issta24main-p192-p doi:10.1145/3650212.3652111
Xu, Zhengfeng ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125
Xu, Zhengzi ISSTA '24: "DeLink: Source File Information ..." Article: issta24main-p523-p doi:10.1145/3650212.3680338
Xu, Zhenyang ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Xuan, Jifeng ISSTA '24: "FastLog: An End-to-End Method ..." Article: issta24main-p49-p doi:10.1145/3650212.3652107
Xuan, Qi ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Xue, Yue ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Xue, Zhipeng ISSTA '24: "SelfPiCo: Self-Guided Partial ..." Article: issta24main-p1071-p doi:10.1145/3650212.3680368
Xue, Zhiyi ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Yadav, Drishti ISSTA '24: "From Fault Injection to Formal ..." Article: issta24docs-p62-p doi:10.1145/3650212.3685552
Yan, Jiwei ISSTA '24: "DMMPP: Constructing Dummy ..." Article: issta24demo-p7-p doi:10.1145/3650212.3685302 ISSTA '24: "Panda: A Concurrent Scheduler ..." Article: issta24demo-p23-p doi:10.1145/3650212.3685311 ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Yan, Jun ISSTA '24: "Panda: A Concurrent Scheduler ..." Article: issta24demo-p23-p doi:10.1145/3650212.3685311
Yan, Meng ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371
Yan, Xiaoyong ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Yang, Boyang ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Yang, Chengcheng ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Yang, Hongru ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Yang, Jun ISSTA '24: "Benchmarking Automated Program ..." Article: issta24main-p1079-p doi:10.1145/3650212.3652140
Yang, Junjie ISSTA '24: "A Large-Scale Empirical Study ..." Article: issta24main-p445-p doi:10.1145/3650212.3652122
Yang, Min ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
Yang, Mingke ISSTA '24: "DistillSeq: A Framework for ..." Article: issta24main-p73-p doi:10.1145/3650212.3680304
Yang, Ping ISSTA '24: "CoEdPilot: Recommending Code ..." Article: issta24main-p1182-p doi:10.1145/3650212.3652142
Yang, Tianyi ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Yang, Wei ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Yang, Wenwu ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Yang, Xiaohu ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359
Yang, Xiaoniu ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Yang, Xiaoyi ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Yang, Yihan ISSTA '24: "Interprocedural Path Complexity ..." Article: issta24main-p364-p doi:10.1145/3650212.3652118
Yang, Yongqiang ISSTA '24: "MicroRes: Versatile Resilience ..." Article: issta24main-p712-p doi:10.1145/3650212.3652131
Yang, Zezhou ISSTA '24: "Bridge and Hint: Extending ..." Article: issta24main-p491-p doi:10.1145/3650212.3652127
Yang, Zhou ISSTA '24: "AI Coders Are among Us: Rethinking ..." Article: issta24main-p658-p doi:10.1145/3650212.3680347
Yao, Peisen ISSTA '24: "Precise Compositional Buffer ..." Article: issta24main-p190-p doi:10.1145/3650212.3652110
Yao, Yuan ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Ye, Guixin ISSTA '24: "UPBEAT: Test Input Checks ..." Article: issta24main-p424-p doi:10.1145/3650212.3652120
Ye, Mingxi ISSTA '24: "Midas: Mining Profitable Exploits ..." Article: issta24main-p260-p doi:10.1145/3650212.3680321
Ye, Wei ISSTA '24: "CoderUJB: An Executable and ..." Article: issta24main-p316-p doi:10.1145/3650212.3652115
Ye, Zhenyu ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Yi, Jooyong ISSTA '24: "Preserving Reactiveness: Understanding ..." Article: issta24main-p249-p doi:10.1145/3650212.3680319
Yin, Heng ISSTA '24: "Calico: Automated Knowledge ..." Article: issta24main-p2121-p doi:10.1145/3650212.3680399
Yin, Xin ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359
Yin, Xizhe ISSTA '24: "FRIES: Fuzzing Rust Library ..." Article: issta24main-p701-p doi:10.1145/3650212.3680348
Yin, Yining ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Ying, Xinlei ISSTA '24: "Tacoma: Enhanced Browser Fuzzing ..." Article: issta24main-p723-p doi:10.1145/3650212.3680351
You, Nianhao ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
You, Wei ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Yu, Cody Hao ISSTA '24: "Automated Deep Learning Optimization ..." Article: issta24main-p1189-p doi:10.1145/3650212.3652143
Yu, Donghui ISSTA '24: "DDGF: Dynamic Directed Greybox ..." Article: issta24main-p317-p doi:10.1145/3650212.3680324
Yu, Haoran ISSTA '24: "CREF: An LLM-Based Conversational ..." Article: issta24main-p338-p doi:10.1145/3650212.3680328
Yu, Jiongchi ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366
Yu, Junze ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Yu, Tingting ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Yu, Xiao ISSTA '24: "Practitioners’ Expectations ..." Article: issta24main-p1455-p doi:10.1145/3650212.3680386
Yu, Zeliang ISSTA '24: "Maltracker: A Fine-Grained ..." Article: issta24main-p2074-p doi:10.1145/3650212.3680397
Yuan, Wei ISSTA '24: "Uncovering and Mitigating ..." Article: issta24main-p53-p doi:10.1145/3650212.3680302
Yuan, Yuanyuan ISSTA '24: "See the Forest, not Trees: ..." Article: issta24main-p1425-p doi:10.1145/3650212.3680385
Zamudio Amaya, José Antonio ISSTA '24: "Shaping Test Inputs in Grammar-Based ..." Article: issta24docs-p29-p doi:10.1145/3650212.3685553
Zeng, Huazheng ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
Zeng, Limin ISSTA '24: "ThinkRepair: Self-Directed ..." Article: issta24main-p840-p doi:10.1145/3650212.3680359
Zeng, Ruiying ISSTA '24: "Wapplique: Testing WebAssembly ..." Article: issta24main-p535-p doi:10.1145/3650212.3680340
Zeng, Zhengran ISSTA '24: "CoderUJB: An Executable and ..." Article: issta24main-p316-p doi:10.1145/3650212.3652115
Zhai, Juan ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Zhang, Cen ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355 ISSTA '24: "Bugs in Pods: Understanding ..." Article: issta24main-p1052-p doi:10.1145/3650212.3680366 ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Zhang, Chao ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Zhang, Charles ISSTA '24: "Precise Compositional Buffer ..." Article: issta24main-p190-p doi:10.1145/3650212.3652110
Zhang, Fengwei ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Zhang, Hao ISSTA '24: "DeFort: Automatic Detection ..." Article: issta24main-p1059-p doi:10.1145/3650212.3652137
Zhang, He ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Zhang, Hongyu ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343 ISSTA '24: "Bridge and Hint: Extending ..." Article: issta24main-p491-p doi:10.1145/3650212.3652127 ISSTA '24: "Graph Neural Networks for ..." Article: issta24main-p884-p doi:10.1145/3650212.3652136 ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Zhang, Huaien ISSTA '24: "Characterizing and Detecting ..." Article: issta24main-p2082-p doi:10.1145/3650212.3680398
Zhang, Hui ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116
Zhang, Jian ISSTA '24: "DMMPP: Constructing Dummy ..." Article: issta24demo-p7-p doi:10.1145/3650212.3685302 ISSTA '24: "Panda: A Concurrent Scheduler ..." Article: issta24demo-p23-p doi:10.1145/3650212.3685311 ISSTA '24: "PatchFinder: A Two-Phase Approach ..." Article: issta24main-p82-p doi:10.1145/3650212.3680305
Zhang, Kaikai ISSTA '24: "DDGF: Dynamic Directed Greybox ..." Article: issta24main-p317-p doi:10.1145/3650212.3680324
Zhang, Lingming ISSTA '24: "Benchmarking Automated Program ..." Article: issta24main-p1079-p doi:10.1145/3650212.3652140 ISSTA '24: "Automated Program Repair via ..." Article: issta24main-p296-p doi:10.1145/3650212.3680323
Zhang, Lu ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Zhang, Mengxiao ISSTA '24: "LPR: Large Language Models-Aided ..." Article: issta24main-p470-p doi:10.1145/3650212.3652126
Zhang, Min ISSTA '24: "LLM4Fin: Fully Automating ..." Article: issta24main-p1492-p doi:10.1145/3650212.3680388
Zhang, Mu ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358
Zhang, Neng ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303
Zhang, Qian ISSTA '24: "Calico: Automated Knowledge ..." Article: issta24main-p2121-p doi:10.1145/3650212.3680399
Zhang, Quan ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364
Zhang, Rong ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Zhang, Ruikai ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343
Zhang, Runze ISSTA '24: "Evaluating the Effectiveness ..." Article: issta24main-p1254-p doi:10.1145/3650212.3652144
Zhang, Shikun ISSTA '24: "CoderUJB: An Executable and ..." Article: issta24main-p316-p doi:10.1145/3650212.3652115
Zhang, Tian ISSTA '24: "Distance-Aware Test Input ..." Article: issta24main-p464-p doi:10.1145/3650212.3652125 ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139 ISSTA '24: "BRAFAR: Bidirectional Refactoring, ..." Article: issta24main-p320-p doi:10.1145/3650212.3680326
Zhang, Tianyi ISSTA '24: "Automated Deep Learning Optimization ..." Article: issta24main-p1189-p doi:10.1145/3650212.3652143
Zhang, Weijie ISSTA '24: "Empirical Study of Move Smart ..." Article: issta24main-p1871-p doi:10.1145/3650212.3680391
Zhang, Wenjie ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Zhang, Wuqi ISSTA '24: "Towards Understanding the ..." Article: issta24main-p889-p doi:10.1145/3650212.3680362
Zhang, Xiangyu ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Zhang, Xiaohong ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371
Zhang, Xiaoyu ISSTA '24: "Efficient DNN-Powered Software ..." Article: issta24main-p503-p doi:10.1145/3650212.3680336
Zhang, Xingjian ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Zhang, Xueling ISSTA '24: "Towards Automatic Oracle Prediction ..." Article: issta24main-p212-p doi:10.1145/3650212.3680315
Zhang, Yakun ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Zhang, Yang ISSTA '24: "Detecting Build Dependency ..." Article: issta24main-p38-p doi:10.1145/3650212.3652105
Zhang, Yaosheng ISSTA '24: "CoSec: On-the-Fly Security ..." Article: issta24main-p1149-p doi:10.1145/3650212.3680371
Zhang, Ying ISSTA '24: "Guardian: A Runtime Framework ..." Article: issta24main-p477-p doi:10.1145/3650212.3680334
Zhang, Yixuan ISSTA '24: "WASMaker: Differential Testing ..." Article: issta24main-p828-p doi:10.1145/3650212.3680358
Zhang, Yuan ISSTA '24: "VioHawk: Detecting Traffic ..." Article: issta24main-p318-p doi:10.1145/3650212.3680325
Zhang, Yuanyuan ISSTA '24: "DDGF: Dynamic Directed Greybox ..." Article: issta24main-p317-p doi:10.1145/3650212.3680324
Zhang, Yuntong ISSTA '24: "AutoCodeRover: Autonomous ..." Article: issta24main-p1370-p doi:10.1145/3650212.3680384
Zhang, Zhaoxu ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Zhang, Zhijie ISSTA '24: "Prospector: Boosting Directed ..." Article: issta24main-p987-p doi:10.1145/3650212.3680365 ISSTA '24: "Sleuth: A Switchable Dual-Mode ..." Article: issta24main-p242-p doi:10.1145/3650212.3680316
Zhang, Zhuo ISSTA '24: "Define-Use Guided Path Exploration ..." Article: issta24main-p581-p doi:10.1145/3650212.3652128
Zhang, Zuoyan ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Zhao, Gang ISSTA '24: "Dance of the ADS: Orchestrating ..." Article: issta24main-p601-p doi:10.1145/3650212.3680344
Zhao, Jie ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Zhao, Jishen ISSTA '24: "Multi-modal Learning for WebAssembly ..." Article: issta24main-p1180-p doi:10.1145/3650212.3652141
Zhao, Qiyuan ISSTA '24: "Beyond Pairwise Testing: Advancing ..." Article: issta24main-p139-p doi:10.1145/3650212.3680309
Zhao, Wenxuan ISSTA '24: "Wapplique: Testing WebAssembly ..." Article: issta24main-p535-p doi:10.1145/3650212.3680340
Zhao, Yanyang ISSTA '24: "Logos: Log Guided Fuzzing ..." Article: issta24main-p2052-p doi:10.1145/3650212.3680394
Zhao, Yifan ISSTA '24: "Commit Artifact Preserving ..." Article: issta24main-p808-p doi:10.1145/3650212.3680356 ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Zhao, Yingquan ISSTA '24: "Fuzzing MLIR Compiler Infrastructure ..." Article: issta24main-p866-p doi:10.1145/3650212.3680360
Zhao, Yu ISSTA '24: "Feedback-Driven Automated ..." Article: issta24main-p543-p doi:10.1145/3650212.3680341
Zhao, Yutong ISSTA '24: "HECS: A Hypergraph Learning-Based ..." Article: issta24demo-p14-p doi:10.1145/3650212.3685307 ISSTA '24: "One-to-One or One-to-Many? ..." Article: issta24main-p1258-p doi:10.1145/3650212.3680379
Zhao, Zhehao ISSTA '24: "SeeWasm: An Efficient and ..." Article: issta24demo-p4-p doi:10.1145/3650212.3685300
Zhao, Zhihong ISSTA '24: "Datactive: Data Fault Localization ..." Article: issta24main-p365-p doi:10.1145/3650212.3680329
Zhen, Yi ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116
Zheng, Peilin ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303
Zheng, Yaowen ISSTA '24: "How Effective Are They? Exploring ..." Article: issta24main-p791-p doi:10.1145/3650212.3680355
Zheng, Yingying ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Zheng, Zibin ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343 ISSTA '24: "Identifying Smart Contract ..." Article: issta24main-p788-p doi:10.1145/3650212.3680353 ISSTA '24: "Face It Yourselves: An LLM-Based ..." Article: issta24main-p42-p doi:10.1145/3650212.3652106 ISSTA '24: "DAppFL: Just-in-Time Fault ..." Article: issta24main-p335-p doi:10.1145/3650212.3652116 ISSTA '24: "LENT-SSE: Leveraging Executed ..." Article: issta24main-p62-p doi:10.1145/3650212.3680303 ISSTA '24: "Midas: Mining Profitable Exploits ..." Article: issta24main-p260-p doi:10.1145/3650212.3680321
Zhong, Hua ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Zhong, Wanjun ISSTA '24: "When to Stop? Towards Efficient ..." Article: issta24main-p599-p doi:10.1145/3650212.3680343
Zhou, Aoying ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Zhou, Bei ISSTA '24: "Arfa: An Agile Regime-Based ..." Article: issta24main-p1257-p doi:10.1145/3650212.3680378
Zhou, Chijin ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364
Zhou, Hao ISSTA '24: "Following the “Thread”: ..." Article: issta24main-p1199-p doi:10.1145/3650212.3680372
Zhou, Jiayuan ISSTA '24: "Silent Taint-Style Vulnerability ..." Article: issta24main-p1074-p doi:10.1145/3650212.3652139
Zhou, Jun ISSTA '24: "Interpretability Based Neural ..." Article: issta24main-p404-p doi:10.1145/3650212.3680330
Zhou, Kaihang ISSTA '24: "Automated Data Binding Vulnerability ..." Article: issta24main-p1053-p doi:10.1145/3650212.3680367
Zhou, Lei ISSTA '24: "FortifyPatch: Towards Tamper-Resistant ..." Article: issta24main-p75-p doi:10.1145/3650212.3652108
Zhou, Mingyi ISSTA '24: "Model-less Is the Best Model: ..." Article: issta24main-p402-p doi:10.1145/3650212.3652119
Zhou, Xuan ISSTA '24: "DBStorm: Generating Various ..." Article: issta24main-p248-p doi:10.1145/3650212.3680318
Zhou, Yajin ISSTA '24: "Atlas: Automating Cross-Language ..." Article: issta24main-p742-p doi:10.1145/3650212.3652133
Zhou, Yangfan ISSTA '24: "Wapplique: Testing WebAssembly ..." Article: issta24main-p535-p doi:10.1145/3650212.3680340
Zhou, Ying ISSTA '24: "Toward the Automated Localization ..." Article: issta24main-p819-p doi:10.1145/3650212.3680357
Zhou, Yuchen ISSTA '24: "CEBin: A Cost-Effective Framework ..." Article: issta24main-p347-p doi:10.1145/3650212.3652117 ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Zhou, Zhuotong ISSTA '24: "Your “Notice” Is Missing: ..." Article: issta24main-p525-p doi:10.1145/3650212.3680339
Zhu, Jiaxin ISSTA '24: "Testing Gremlin-Based Graph ..." Article: issta24main-p1939-p doi:10.1145/3650212.3680392
Zhu, Jieming ISSTA '24: "A Large-Scale Evaluation for ..." Article: issta24main-p448-p doi:10.1145/3650212.3652123
Zhu, Qihao ISSTA '24: "Synthesis-Based Enhancement ..." Article: issta24main-p333-p doi:10.1145/3650212.3680327
Zhu, Wenyu ISSTA '24: "CLAP: Learning Transferable ..." Article: issta24main-p1308-p doi:10.1145/3650212.3652145
Zou, Xiazijian ISSTA '24: "Towards More Complete Constraints ..." Article: issta24main-p982-p doi:10.1145/3650212.3680364
Zuev, Maksim ISSTA '24: "Testing Concurrent Algorithms ..." Article: issta24demo-p5-p doi:10.1145/3650212.3685301

899 authors

proc time: 21.34