ISSTA 2025
Proceedings of the ACM on Software Engineering, Volume 2, Number ISSTA
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Software Engineering, Volume 2, Number ISSTA, June 25–28, 2025, Trondheim, Norway

ISSTA 2025 – Author Index

Contents - Abstracts - Authors

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

Al Awar, Nader ISSTA '25: "Dynamically Fusing Python ..."
Almgren-Bell, James ISSTA '25: "Dynamically Fusing Python ..."
Ardito, Luca ISSTA '25: "Gamifying Testing in IntelliJ: ..."
Bai, Guangdong ISSTA '25: "Identifying Multi-parameter ..." ISSTA '25: "CrossProbe: LLM-Empowered ..."
Bao, Lingfeng ISSTA '25: "LLM4SZZ: Enhancing SZZ Algorithm ..." ISSTA '25: "More Effective JavaScript ..."
Beyzaei, Benyamin ISSTA '25: "Automated Test Transfer across ..."
Bhattar, Arunkumar ISSTA '25: "Adding Spatial Memory Safety ..."
Biros, George ISSTA '25: "Dynamically Fusing Python ..."
Bissyandé, Tegawendé F. ISSTA '25: "AudioTest: Prioritizing Audio ..."
Blanc, Xavier ISSTA '25: "Are Autonomous Web Agents ..."
Bodden, Eric ISSTA '25: "Program Feature-Based Benchmarking ..."
Böhme, Marcel ISSTA '25: "Top Score on the Wrong Exam: ..."
Bollanos, Yannis ISSTA '25: "The Incredible Shrinking Context... ..."
Bouzenia, Islem ISSTA '25: "You Name It, I Run It: An ..."
Cai, Haipeng ISSTA '25: "VerLog: Enhancing Release ..."
Cai, Lijun ISSTA '25: "Pepper: Preference-Aware Active ..."
Cao, Jie ISSTA '25: "A Low-Cost Feature Interaction ..."
Cao, Rongyu ISSTA '25: "SWE-GPT: A Process-Centric ..."
Cao, Shaoheng ISSTA '25: "Intention-Based GUI Test Migration ..."
Cao, Weining ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Cao, Yiheng ISSTA '25: "Recurring Vulnerability Detection: ..."
Cao, Yongchang ISSTA '25: "SWE-GPT: A Process-Centric ..."
Cao, Yushi ISSTA '25: "Enhancing Vulnerability Detection ..."
Cao, Zhixiang ISSTA '25: "Improving Deep Learning Framework ..."
Chang, Rui ISSTA '25: "Freesia: Verifying Correctness ..."
Che, Jiarui ISSTA '25: "Uncovering API-Scope Misalignment ..."
Chen, Bihuan ISSTA '25: "Recurring Vulnerability Detection: ..." ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Chen, Guanjie ISSTA '25: "GUIPilot: A Consistency-Based ..."
Chen, Hongqiao ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Chen, Jiachi ISSTA '25: "OmniGIRL: A Multilingual and ..." ISSTA '25: "LLM Hallucinations in Practical ..." ISSTA '25: "Copy-and-Paste? Identifying ..."
Chen, Jialuo ISSTA '25: "S-Eval: Towards Automated ..."
Chen, Jianhai ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Chen, Jue ISSTA '25: "SWE-GPT: A Process-Centric ..."
Chen, Junjie ISSTA '25: "No Bias Left Behind: Fairness ..."
Chen, Junkai ISSTA '25: "Understanding Practitioners’ ..."
Chen, Kai ISSTA '25: "Unlocking Low Frequency Syscalls ..." ISSTA '25: "BinQuery: A Novel Framework ..."
Chen, Kaichen ISSTA '25: "A Low-Cost Feature Interaction ..."
Chen, Kun ISSTA '25: "Incremental Verification of ..."
Chen, Liqian ISSTA '25: "Program Analysis Combining ..."
Chen, Qicai ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Chen, Rui ISSTA '25: "STRUT: Structured Seed Case ..."
Chen, Taolue ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Chen, Tianqi ISSTA '25: "Productively Deploying Emerging ..."
Chen, Tieming ISSTA '25: "Doctor: Optimizing Container ..."
Chen, Wei ISSTA '25: "Testing the Fault-Tolerance ..."
Chen, Xiang ISSTA '25: "Improving Deep Learning Framework ..."
Chen, Yanwei ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Chen, Yongle ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Chen, Yuchen ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Chen, Yuefeng ISSTA '25: "S-Eval: Towards Automated ..."
Chen, Zhenyu ISSTA '25: "A Large-Scale Empirical Study ..." ISSTA '25: "DeCoMa: Detecting and Purifying ..." ISSTA '25: "Improving Deep Learning Framework ..."
Chen, Zhuangbin ISSTA '25: "Tracezip: Efficient Distributed ..."
Cheng, Jiaxing ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Cheng, Mingfei ISSTA '25: "MoDitector: Module-Directed ..."
Cheng, Renhong ISSTA '25: "Uncovering API-Scope Misalignment ..."
Cheng, Shiqi ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Cheng, Xiao ISSTA '25: "Understanding Model Weaknesses: ..."
Chengwei, Liu ISSTA '25: "Doctor: Optimizing Container ..." ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Cherupattamoolayil, Sourag ISSTA '25: "Adding Spatial Memory Safety ..."
Chevrot, Antoine ISSTA '25: "Are Autonomous Web Agents ..."
Chi, Jianlei ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Chong, Chun Yong ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Cloosters, Tobias ISSTA '25: "Wemby’s Web: Hunting for ..."
Cretin, Aymeric ISSTA '25: "Are Autonomous Web Agents ..."
Cui, Di ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Cui, Yuxin ISSTA '25: "BinQuery: A Novel Framework ..."
Cui, Ziyu ISSTA '25: "Detecting Isolation Anomalies ..."
Dang, Xueqi ISSTA '25: "AudioTest: Prioritizing Audio ..."
Davi, Lucas ISSTA '25: "Wemby’s Web: Hunting for ..."
Davis, James C. ISSTA '25: "Finding 709 Defects in 258 ..."
Degueule, Thomas ISSTA '25: "What Happened in This Pipeline? ..."
Deng, Jiapeng ISSTA '25: "Walls Have Ears: Demystifying ..."
Ding, Wenqiang ISSTA '25: "Testing the Fault-Tolerance ..."
Dong, Jin Song ISSTA '25: "ConTested: Consistency-Aided ..." ISSTA '25: "GUIPilot: A Consistency-Based ..."
Dong, Jinhao ISSTA '25: "ConTested: Consistency-Aided ..."
Dong, Naipeng ISSTA '25: "Uncovering API-Scope Misalignment ..."
Dong, Wei ISSTA '25: "Incremental Verification of ..."
Dong, Zhen ISSTA '25: "RouthSearch: Inferring PID ..."
Dou, Wensheng ISSTA '25: "Model Checking Guided Incremental ..." ISSTA '25: "Detecting Isolation Anomalies ..."
Draissi, Oussama ISSTA '25: "Wemby’s Web: Hunting for ..."
Du, Jianfeng ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Du, Junwei ISSTA '25: "Enhanced Prompting Framework ..."
Du, Xiaoning ISSTA '25: "No Bias Left Behind: Fairness ..."
Durieux, Thomas ISSTA '25: "What Happened in This Pipeline? ..."
Eken, Beyza ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Elovici, Yuval ISSTA '25: "Robust Vulnerability Detection ..."
Ernst, Michael D. ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Falleri, Jean-Rémy ISSTA '25: "Are Autonomous Web Agents ..." ISSTA '25: "What Happened in This Pipeline? ..."
Fan, Guangsheng ISSTA '25: "Program Analysis Combining ..."
Fan, Guodong ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Fan, Lingling ISSTA '25: "Uncovering API-Scope Misalignment ..."
Fang, Chunrong ISSTA '25: "Enhanced Prompting Framework ..." ISSTA '25: "A Large-Scale Empirical Study ..." ISSTA '25: "DeCoMa: Detecting and Purifying ..." ISSTA '25: "Improving Deep Learning Framework ..."
Fang, Cundi ISSTA '25: "DepState: Detecting Synchronization ..."
Fang, Dongliang ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Fang, Minying ISSTA '25: "Enhanced Prompting Framework ..."
Feng, Jia ISSTA '25: "Extended Reality Cybersickness ..."
Feng, Siyuan ISSTA '25: "Productively Deploying Emerging ..."
Feng, Wenhan ISSTA '25: "Model Checking Guided Incremental ..."
Feng, Yuan ISSTA '25: "Model Checking Guided Incremental ..."
Feng, Yuming ISSTA '25: "Copy-and-Paste? Identifying ..."
Fraser, Gordon ISSTA '25: "Gamifying Testing in IntelliJ: ..."
Frey, Dominik ISSTA '25: "Automated Scene Generation ..."
Fu, Jingzhou ISSTA '25: "DepState: Detecting Synchronization ..." ISSTA '25: "Hulk: Exploring Data-Sensitive ..."
Fu, Yingjie ISSTA '25: "The First Prompt Counts the ..."
Fulcini, Tommaso ISSTA '25: "Gamifying Testing in IntelliJ: ..."
Gan, Shuitao ISSTA '25: "xFUZZ: A Flexible Framework ..."
Gao, Cuiyun ISSTA '25: "MLLM-Based UI2Code Automation ..." ISSTA '25: "Extended Reality Cybersickness ..." ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Gao, Lian ISSTA '25: "BinDSA: Efficient, Precise ..."
Gao, Ying ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Gao, Yu ISSTA '25: "Model Checking Guided Incremental ..." ISSTA '25: "Detecting Isolation Anomalies ..."
Gao, Zeyu ISSTA '25: "BinQuery: A Novel Framework ..."
Garaccione, Giacomo ISSTA '25: "Gamifying Testing in IntelliJ: ..."
Gervais, Arthur ISSTA '25: "Enhancing Smart Contract Security ..."
Gligoric, Milos ISSTA '25: "Dynamically Fusing Python ..."
Glosner, Connor Everett ISSTA '25: "Adding Spatial Memory Safety ..."
Gong, Sichen ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Grech, Neville ISSTA '25: "The Incredible Shrinking Context... ..."
Gu, Bin ISSTA '25: "STRUT: Structured Seed Case ..."
Gu, Siqi ISSTA '25: "A Large-Scale Empirical Study ..."
Guan, Hao ISSTA '25: "CrossProbe: LLM-Empowered ..."
Guan, Jihong ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Guo, An ISSTA '25: "Testing the Fault-Tolerance ..." ISSTA '25: "Improving Deep Learning Framework ..."
Guo, Chenkai ISSTA '25: "Uncovering API-Scope Misalignment ..."
Guo, Jiawei ISSTA '25: "VerLog: Enhancing Release ..."
Guo, Jiyu ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Guo, Lianghong ISSTA '25: "OmniGIRL: A Multilingual and ..."
Guo, Lihua ISSTA '25: "Preventing Disruption of System ..."
Guo, Xiaoyu ISSTA '25: "Quantum Concolic Testing ..."
Han, Sujin ISSTA '25: "Automated Attack Synthesis ..."
Han, Tingchen ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Han, Xingshuo ISSTA '25: "Testing the Fault-Tolerance ..."
Hao, Dan ISSTA '25: "ConTested: Consistency-Aided ..."
Hauser, Christophe ISSTA '25: "WildSync: Automated Fuzzing ..."
He, Ningyu ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
He, Qinming ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Hong, Quan ISSTA '25: "DataHook: An Efficient and ..."
Hou, Yiwei ISSTA '25: "Preventing Disruption of System ..."
Hu, Chang ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Hu, Chao ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Hu, Kun ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Hu, Xing ISSTA '25: "Safe4U: Identifying Unsound ..." ISSTA '25: "Understanding Practitioners’ ..."
Huang, Chun ISSTA '25: "DepState: Detecting Synchronization ..."
Huang, Fei ISSTA '25: "SWE-GPT: A Process-Centric ..."
Huang, Han ISSTA '25: "A Low-Cost Feature Interaction ..."
Huang, Haocheng ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Huang, Heqing ISSTA '25: "KRAKEN: Program-Adaptive Parallel ..."
Huang, Jeff ISSTA '25: "GoPV: Detecting Blocking Concurrency ..."
Huang, Longtao ISSTA '25: "S-Eval: Towards Automated ..."
Huang, Mingyu ISSTA '25: "Rethinking Performance Analysis ..."
Huang, Yiheng ISSTA '25: "Recurring Vulnerability Detection: ..."
Huang, Yuhan ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Huang, Zhirong ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Hubner, Nicolas ISSTA '25: "What Happened in This Pipeline? ..."
Islam, Tahiatul ISSTA '25: "Static Program Reduction via ..."
Ji, Shouling ISSTA '25: "Beyond Static Pattern Matching? ..."
Ji, Zhenlan ISSTA '25: "Causality-Aided Evaluation ..."
Jia, Zhouyang ISSTA '25: "DepState: Detecting Synchronization ..."
Jiang, Haowen ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Jiang, He ISSTA '25: "Reinforcement Learning-Based ..."
Jiang, Runhan ISSTA '25: "OmniGIRL: A Multilingual and ..."
Jiang, Yu ISSTA '25: "Preventing Disruption of System ..." ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..." ISSTA '25: "DepState: Detecting Synchronization ..." ISSTA '25: "Hulk: Exploring Data-Sensitive ..."
Jiang, Zhiyuan ISSTA '25: "xFUZZ: A Flexible Framework ..."
Jin, Ruikai ISSTA '25: "ClassEval-T: Evaluating Large ..."
Johns, Martin ISSTA '25: "Wemby’s Web: Hunting for ..."
Junming, Qiu ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Kargén, Ulf ISSTA '25: "Automated Scene Generation ..."
Kellogg, Martin ISSTA '25: "Static Program Reduction via ..."
Keung, Jacky Wai ISSTA '25: "ClassEval-T: Evaluating Large ..."
Khurshid, Sarfraz ISSTA '25: "Identifying Multi-parameter ..."
Kim, Jinseo ISSTA '25: "Automated Attack Synthesis ..."
Klein, David ISSTA '25: "Wemby’s Web: Hunting for ..."
Klein, Jacques ISSTA '25: "AudioTest: Prioritizing Audio ..."
Kong, Dezhen ISSTA '25: "More Effective JavaScript ..."
Kong, Zikui ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Kummita, Sriteja ISSTA '25: "Program Feature-Based Benchmarking ..."
Lagouvardos, Sifis ISSTA '25: "The Incredible Shrinking Context... ..."
Lai, Ruihang ISSTA '25: "Productively Deploying Emerging ..."
Lan, Yang ISSTA '25: "xFUZZ: A Flexible Framework ..."
Lan, Yuanhong ISSTA '25: "Intention-Based GUI Test Migration ..."
Lee, Sung-Ju ISSTA '25: "Automated Attack Synthesis ..."
Legeard, Bruno ISSTA '25: "Are Autonomous Web Agents ..."
Le Goues, Claire ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Lenz, Sam ISSTA '25: "Static Program Reduction via ..."
Li, Binhua ISSTA '25: "SWE-GPT: A Process-Centric ..."
Li, Bozhou ISSTA '25: "The First Prompt Counts the ..."
Li, Chao ISSTA '25: "STRUT: Structured Seed Case ..."
Li, Ganlin ISSTA '25: "Bridge the Islands: Pointer ..."
Li, Haodong ISSTA '25: "Understanding Model Weaknesses: ..."
Li, Haojie ISSTA '25: "Enhanced Prompting Framework ..."
Li, Huan ISSTA '25: "Safe4U: Identifying Unsound ..."
Li, Hui ISSTA '25: "RouthSearch: Inferring PID ..."
Li, Jia ISSTA '25: "ClassEval-T: Evaluating Large ..."
Li, Jiaqi ISSTA '25: "DataHook: An Efficient and ..."
Li, Jinfeng ISSTA '25: "S-Eval: Towards Automated ..."
Li, Kaixuan ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Li, Ke ISSTA '25: "Rethinking Performance Analysis ..."
Li, Li ISSTA '25: "Porting Software Libraries ..."
Li, Linyi ISSTA '25: "The First Prompt Counts the ..."
Li, Longxing ISSTA '25: "Unlocking Low Frequency Syscalls ..."
Li, Shanshan ISSTA '25: "DepState: Detecting Synchronization ..."
Li, Shaofeng ISSTA '25: "STRUT: Structured Seed Case ..."
Li, Shuqing ISSTA '25: "MLLM-Based UI2Code Automation ..." ISSTA '25: "Extended Reality Cybersickness ..."
Li, Sisheng ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Li, Tsz On ISSTA '25: "Porting Software Libraries ..."
Li, Weilin ISSTA '25: "Enhancing Smart Contract Security ..."
Li, Xiang ISSTA '25: "ClassEval-T: Evaluating Large ..."
Li, Xiaochen ISSTA '25: "Reinforcement Learning-Based ..."
Li, Xuandong ISSTA '25: "Intention-Based GUI Test Migration ..."
Li, Xuezixiang ISSTA '25: "ALMOND: Learning an Assembly ..."
Li, Yi ISSTA '25: "Identifying Multi-parameter ..."
Li, Yinghua ISSTA '25: "AudioTest: Prioritizing Audio ..."
Li, Yitao ISSTA '25: "Reinforcement Learning-Based ..."
Li, Yiwei ISSTA '25: "Incremental Verification of ..."
Li, Yongbin ISSTA '25: "SWE-GPT: A Process-Centric ..."
Li, Yue ISSTA '25: "Bridge the Islands: Pointer ..."
Li, Yuying ISSTA '25: "Enhanced Prompting Framework ..."
Li, Zhenhao ISSTA '25: "Understanding Practitioners’ ..."
Li, Zhiming ISSTA '25: "Enhancing Vulnerability Detection ..."
Li, Zongjie ISSTA '25: "Causality-Aided Evaluation ..." ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Liang, Jie ISSTA '25: "DepState: Detecting Synchronization ..." ISSTA '25: "Hulk: Exploring Data-Sensitive ..."
Liang, Ruigang ISSTA '25: "Unlocking Low Frequency Syscalls ..."
Liang, Siyuan ISSTA '25: "Fairness Mediator: Neutralize ..."
Liang, Yu ISSTA '25: "Model Checking Guided Incremental ..."
Liang, Yufei ISSTA '25: "Bridge the Islands: Pointer ..."
Liao, Qing ISSTA '25: "MLLM-Based UI2Code Automation ..."
Lin, Li ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Lin, Shang-Wei ISSTA '25: "Enhancing Vulnerability Detection ..."
Lin, Yun ISSTA '25: "GUIPilot: A Consistency-Based ..."
Liu, Aishan ISSTA '25: "Fairness Mediator: Neutralize ..."
Liu, Chengjie ISSTA '25: "Enhancing Vulnerability Detection ..."
Liu, Guiyang ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Liu, Han ISSTA '25: "Doctor: Optimizing Container ..."
Liu, Hongjian ISSTA '25: "Freesia: Verifying Correctness ..."
Liu, Jiakun ISSTA '25: "LLM4SZZ: Enhancing SZZ Algorithm ..." ISSTA '25: "More Effective JavaScript ..."
Liu, Jiawei ISSTA '25: "Productively Deploying Emerging ..."
Liu, Jinbu ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Liu, Jing ISSTA '25: "Top Score on the Wrong Exam: ..."
Liu, Jinwei ISSTA '25: "STRUT: Structured Seed Case ..."
Liu, Kui ISSTA '25: "Understanding Practitioners’ ..."
Liu, Long ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Liu, Peiyu ISSTA '25: "Beyond Static Pattern Matching? ..."
Liu, Rongkai ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Liu, Ruofan ISSTA '25: "GUIPilot: A Consistency-Based ..."
Liu, Shuning ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Liu, Tianming ISSTA '25: "Walls Have Ears: Demystifying ..."
Liu, Wenhuan ISSTA '25: "Preventing Disruption of System ..."
Liu, Xianglong ISSTA '25: "Fairness Mediator: Neutralize ..."
Liu, Xiaoxia ISSTA '25: "S-Eval: Towards Automated ..."
Liu, Xilin ISSTA '25: "OmniGIRL: A Multilingual and ..."
Liu, Xin ISSTA '25: "Bridging the Gaps between ..."
Liu, Yan ISSTA '25: "Beyond Static Pattern Matching? ..."
Liu, Yanan ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Liu, Yang ISSTA '25: "Doctor: Optimizing Container ..." ISSTA '25: "SoK: A Taxonomic Analysis ..." ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Liu, Yepang ISSTA '25: "CrossProbe: LLM-Empowered ..."
Liu, Yibo ISSTA '25: "SWE-GPT: A Process-Centric ..."
Liu, Yuchen ISSTA '25: "SWE-GPT: A Process-Centric ..."
Liu, Zheli ISSTA '25: "Uncovering API-Scope Misalignment ..."
Liu, Zhibo ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Liu, Zhijie ISSTA '25: "KEENHash: Hashing Programs ..."
Liu, Zhongxin ISSTA '25: "LLM4SZZ: Enhancing SZZ Algorithm ..."
Lo, David ISSTA '25: "Why Does My Transaction Fail? ..." ISSTA '25: "More Effective JavaScript ..."
Lu, Chenhao ISSTA '25: "Recurring Vulnerability Detection: ..."
Lu, Junyi ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Lu, Kangjie ISSTA '25: "Beyond Static Pattern Matching? ..." ISSTA '25: "Type-Alias Analysis: Enabling ..."
Lu, You ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Luo, Chuan ISSTA '25: "No Bias Left Behind: Fairness ..."
Luo, Weilin ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Luo, Xiangyang ISSTA '25: "Uncovering API-Scope Misalignment ..."
Lyu, Michael R. ISSTA '25: "Extended Reality Cybersickness ..."
Lyu, Xiran ISSTA '25: "ClassEval-T: Evaluating Large ..."
Ma, Jiajia ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Ma, Jie ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Ma, Lei ISSTA '25: "MoDitector: Module-Directed ..."
Ma, Pingchuan ISSTA '25: "Causality-Aided Evaluation ..."
Ma, Shiqing ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Ma, Wei ISSTA '25: "SoK: A Taxonomic Analysis ..."
Ma, Xiaoxing ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Ma, Yingwei ISSTA '25: "SWE-GPT: A Process-Centric ..."
Ma, Yuchi ISSTA '25: "OmniGIRL: A Multilingual and ..." ISSTA '25: "LLM Hallucinations in Practical ..."
Ma, Zheyu ISSTA '25: "xFUZZ: A Flexible Framework ..."
Machiry, Aravind ISSTA '25: "Finding 709 Defects in 258 ..." ISSTA '25: "Adding Spatial Memory Safety ..."
Majoju, Nidhi ISSTA '25: "An Investigation on Numerical ..."
Malek, Sam ISSTA '25: "Automated Test Transfer across ..."
Mao, Mingzhi ISSTA '25: "OmniGIRL: A Multilingual and ..." ISSTA '25: "LLM Hallucinations in Practical ..."
Mao, Peili ISSTA '25: "Rethinking Performance Analysis ..."
Mao, Qiheng ISSTA '25: "Understanding Practitioners’ ..."
Mao, Xiaofeng ISSTA '25: "S-Eval: Towards Automated ..."
Martin-Lopez, Alberto ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Medvidović, Nenad ISSTA '25: "Automated Test Transfer across ..."
Meng, Dan ISSTA '25: "Pepper: Preference-Aware Active ..."
Mi, Xun ISSTA '25: "Uncovering API-Scope Misalignment ..."
Miao, Miao ISSTA '25: "Program Feature-Based Benchmarking ..."
Molinelli, Davide ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Mu, Yanzhou ISSTA '25: "Improving Deep Learning Framework ..."
Musch, Marius ISSTA '25: "Wemby’s Web: Hunting for ..."
Naeem, Muhammad Hannan ISSTA '25: "Dynamically Fusing Python ..."
Nagy, Stefan ISSTA '25: "WildSync: Automated Fuzzing ..."
Nguyen, Loi Ngo Duc ISSTA '25: "Static Program Reduction via ..."
Ni, Chao ISSTA '25: "More Effective JavaScript ..."
Nie, Changhai ISSTA '25: "Effective REST APIs Testing ..."
Nie, Liming ISSTA '25: "SoK: A Taxonomic Analysis ..."
Nie, Sen ISSTA '25: "KEENHash: Hashing Programs ..." ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Niu, Xintao ISSTA '25: "Effective REST APIs Testing ..."
Ouédraogo, Wendkûuni C. ISSTA '25: "AudioTest: Prioritizing Audio ..."
Pan, Minxue ISSTA '25: "Intention-Based GUI Test Migration ..."
Pan, Zhenyu ISSTA '25: "Effective REST APIs Testing ..."
Pan, Ziyue ISSTA '25: "Type-Alias Analysis: Enabling ..."
Pei, Jiaqi ISSTA '25: "Uncovering API-Scope Misalignment ..."
Pei, Yifei ISSTA '25: "ClassEval-T: Evaluating Large ..."
Peng, Bo ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Peng, Xin ISSTA '25: "Recurring Vulnerability Detection: ..." ISSTA '25: "RouthSearch: Inferring PID ..." ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Pezzè, Mauro ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Pillai, Akul Abhilash ISSTA '25: "Finding 709 Defects in 258 ..."
Poshyvanyk, Denys ISSTA '25: "GUIPilot: A Consistency-Based ..."
Pradel, Michael ISSTA '25: "You Name It, I Run It: An ..."
Pu, Junsong ISSTA '25: "Tracezip: Efficient Distributed ..."
Qi, Guanxiao ISSTA '25: "Reinforcement Learning-Based ..."
Qian, Peng ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Qian, Zhiyun ISSTA '25: "Type-Alias Analysis: Enabling ..."
Qin, Kaihua ISSTA '25: "Enhancing Smart Contract Security ..."
Qin, Siliang ISSTA '25: "BinQuery: A Novel Framework ..."
Qin, Zhengkai ISSTA '25: "Pepper: Preference-Aware Active ..."
Qu, Yibo ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Rafiei, Ghazal ISSTA '25: "Automated Test Transfer across ..."
Rathnasuriya, Ravishka ISSTA '25: "An Investigation on Numerical ..."
Ren, Kui ISSTA '25: "S-Eval: Towards Automated ..."
Ren, Ruofei ISSTA '25: "GUIPilot: A Consistency-Based ..."
Ren, Zhilei ISSTA '25: "Reinforcement Learning-Based ..."
Risse, Niklas ISSTA '25: "Top Score on the Wrong Exam: ..."
Rodler, Michael ISSTA '25: "Wemby’s Web: Hunting for ..."
Ruan, Charlie F. ISSTA '25: "Productively Deploying Emerging ..."
Shabtai, Asaf ISSTA '25: "Robust Vulnerability Detection ..."
Shang, Ye ISSTA '25: "A Large-Scale Empirical Study ..."
She, Dongdong ISSTA '25: "RouthSearch: Inferring PID ..." ISSTA '25: "ZTaint-Havoc: From Havoc Mode ..."
Shen, Chenjie ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Shen, Liwei ISSTA '25: "RouthSearch: Inferring PID ..."
Shen, Mingjie ISSTA '25: "Finding 709 Defects in 258 ..."
Shen, Wenbo ISSTA '25: "Type-Alias Analysis: Enabling ..."
Shen, Yuheng ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Shen, Zhaoyan ISSTA '25: "ClassEval-T: Evaluating Large ..."
Shi, Ensheng ISSTA '25: "LLM Hallucinations in Practical ..."
Shi, Heyuan ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Shi, Jiaqi ISSTA '25: "Porting Software Libraries ..."
Shi, Qingkai ISSTA '25: "Validating Network Protocol ..."
Shi, Xiaohai ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Shir, Rony ISSTA '25: "Robust Vulnerability Detection ..."
Si, Shuaizong ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Smaragdakis, Yannis ISSTA '25: "The Incredible Shrinking Context... ..."
Smytzek, Marius ISSTA '25: "FANDANGO: Evolving Language-Based ..."
Song, Dawn ISSTA '25: "Enhancing Smart Contract Security ..."
Song, Jiansen ISSTA '25: "Detecting Isolation Anomalies ..."
Song, Qijie ISSTA '25: "Doctor: Optimizing Container ..."
Song, Wei ISSTA '25: "GoPV: Detecting Blocking Concurrency ..."
Song, Zihe ISSTA '25: "An Investigation on Numerical ..."
Straubinger, Philipp ISSTA '25: "Gamifying Testing in IntelliJ: ..."
Sun, Bingkun ISSTA '25: "Structure-Aware, Diagnosis-Guided ..."
Sun, Chengnian ISSTA '25: "Preventing Disruption of System ..."
Sun, Dianxiang ISSTA '25: "SoK: A Taxonomic Analysis ..."
Sun, Jianguo ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Sun, Jun ISSTA '25: "ConTested: Consistency-Aided ..." ISSTA '25: "Enhancing Vulnerability Detection ..." ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Sun, Limin ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Sun, Weisong ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Sun, Xiaoyu ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Surve, Priyanka ISSTA '25: "Robust Vulnerability Detection ..."
Talebipour, Saghar ISSTA '25: "Automated Test Transfer across ..."
Tan, Tian ISSTA '25: "Bridge the Islands: Pointer ..."
Tan, Wende ISSTA '25: "xFUZZ: A Flexible Framework ..."
Tang, Lingxiao ISSTA '25: "LLM4SZZ: Enhancing SZZ Algorithm ..."
Tang, Qiyi ISSTA '25: "KEENHash: Hashing Programs ..." ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Tang, Yutian ISSTA '25: "KEENHash: Hashing Programs ..."
Tao, Dacheng ISSTA '25: "Fairness Mediator: Neutralize ..."
Tao, Wei ISSTA '25: "OmniGIRL: A Multilingual and ..."
Teoh, Xiwen ISSTA '25: "GUIPilot: A Consistency-Based ..."
Tian, Haoxiang ISSTA '25: "Testing the Fault-Tolerance ..."
Uricaru, Raluca ISSTA '25: "What Happened in This Pipeline? ..."
Varró, Dániel ISSTA '25: "Automated Scene Generation ..."
Vernotte, Alexandre ISSTA '25: "Are Autonomous Web Agents ..."
Wan, Hai ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Wan, Zhiyuan ISSTA '25: "Why Does My Transaction Fail? ..."
Wang, Bei ISSTA '25: "Safe4U: Identifying Unsound ..."
Wang, Chao ISSTA '25: "Walls Have Ears: Demystifying ..."
Wang, Chengpeng ISSTA '25: "Validating Network Protocol ..."
Wang, Chengyi ISSTA '25: "ClassEval-T: Evaluating Large ..."
Wang, Chong ISSTA '25: "LLM Hallucinations in Practical ..." ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Wang, Dong ISSTA '25: "Model Checking Guided Incremental ..."
Wang, Dongxia ISSTA '25: "S-Eval: Towards Automated ..."
Wang, Haining ISSTA '25: "A Low-Cost Feature Interaction ..."
Wang, Hao ISSTA '25: "BinQuery: A Novel Framework ..."
Wang, Haoyu ISSTA '25: "Understanding Model Weaknesses: ..." ISSTA '25: "Walls Have Ears: Demystifying ..." ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Wang, Huaijin ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Wang, Ji ISSTA '25: "Program Analysis Combining ..." ISSTA '25: "Incremental Verification of ..."
Wang, Jiashui ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Wang, Jingyi ISSTA '25: "S-Eval: Towards Automated ..."
Wang, Mingzhe ISSTA '25: "Hulk: Exploring Data-Sensitive ..."
Wang, Renzhi ISSTA '25: "MoDitector: Module-Directed ..."
Wang, Ruiqi ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Wang, Ruisi ISSTA '25: "Recurring Vulnerability Detection: ..."
Wang, Runzhe ISSTA '25: "PatchScope: LLM-Enhanced Fine-Grained ..."
Wang, Shaohua ISSTA '25: "Effective REST APIs Testing ..."
Wang, Shuai ISSTA '25: "Causality-Aided Evaluation ..." ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Wang, Siao ISSTA '25: "RouthSearch: Inferring PID ..."
Wang, Theron ISSTA '25: "Static Program Reduction via ..."
Wang, Wenhai ISSTA '25: "Beyond Static Pattern Matching? ..." ISSTA '25: "S-Eval: Towards Automated ..."
Wang, Xiaotian ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Wang, Xingkai ISSTA '25: "Type-Alias Analysis: Enabling ..."
Wang, Yanlin ISSTA '25: "OmniGIRL: A Multilingual and ..." ISSTA '25: "LLM Hallucinations in Practical ..." ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Wang, Ying ISSTA '25: "Porting Software Libraries ..."
Wang, Yiyi ISSTA '25: "xFUZZ: A Flexible Framework ..."
Wang, Zan ISSTA '25: "No Bias Left Behind: Fairness ..."
Wang, Zexu ISSTA '25: "Copy-and-Paste? Identifying ..."
Wang, Zhaoyu ISSTA '25: "Causality-Aided Evaluation ..."
Wang, Zhen ISSTA '25: "ICEPRE: ICS Protocol Reverse ..."
Wang, Zhuangda ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Wang, Zhun ISSTA '25: "Enhancing Smart Contract Security ..."
Wei, Hengfeng ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Wei, Jun ISSTA '25: "Model Checking Guided Incremental ..." ISSTA '25: "Testing the Fault-Tolerance ..." ISSTA '25: "Detecting Isolation Anomalies ..."
Wei, Shiyi ISSTA '25: "Program Feature-Based Benchmarking ..."
Wen, Xin-Cheng ISSTA '25: "MLLM-Based UI2Code Automation ..."
Wong, Wai Kin ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Wu, Bozhi ISSTA '25: "Enhancing Vulnerability Detection ..."
Wu, Chunming ISSTA '25: "Bridging the Gaps between ..."
Wu, Daoyuan ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Wu, Fan ISSTA '25: "MLLM-Based UI2Code Automation ..."
Wu, Guangyuan ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Wu, Guoquan ISSTA '25: "Testing the Fault-Tolerance ..."
Wu, Huayao ISSTA '25: "Effective REST APIs Testing ..."
Wu, Jiahui ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Wu, Linhao ISSTA '25: "ClassEval-T: Evaluating Large ..."
Wu, Rongxin ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Wu, Shi ISSTA '25: "KEENHash: Hashing Programs ..." ISSTA '25: "DecLLM: LLM-Augmented Recompilable ..."
Wu, Susheng ISSTA '25: "Recurring Vulnerability Detection: ..."
Wu, Wei-Cheng ISSTA '25: "WildSync: Automated Fuzzing ..."
Wu, Zhiyong ISSTA '25: "DepState: Detecting Synchronization ..." ISSTA '25: "Hulk: Exploring Data-Sensitive ..."
Wu, Zhuo ISSTA '25: "No Bias Left Behind: Fairness ..."
Xi, Jinwen ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Xia, Shangzhou ISSTA '25: "Quantum Concolic Testing ..."
Xia, Xin ISSTA '25: "Safe4U: Identifying Unsound ..." ISSTA '25: "Understanding Practitioners’ ..." ISSTA '25: "Can LLMs Replace Human Evaluators? ..."
Xia, Yifan ISSTA '25: "Beyond Static Pattern Matching? ..."
Xiang, Yi ISSTA '25: "A Low-Cost Feature Interaction ..."
Xiao, Guohui ISSTA '25: "NADA: Neural Acceptance-Driven ..."
Xiao, Yisong ISSTA '25: "Fairness Mediator: Neutralize ..."
Xiao, Yuan ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Xiaofei, Xie ISSTA '25: "MoDitector: Module-Directed ..."
Xie, Danning ISSTA '25: "Validating Network Protocol ..."
Xie, Difan ISSTA '25: "Why Does My Transaction Fail? ..."
Xie, Fuman ISSTA '25: "Identifying Multi-parameter ..."
Xie, Tao ISSTA '25: "The First Prompt Counts the ..."
Xie, Xiaoheng ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Xie, Xudong ISSTA '25: "Detecting Isolation Anomalies ..."
Xie, Xueshuo ISSTA '25: "Uncovering API-Scope Misalignment ..."
Xie, Yuchong ISSTA '25: "ZTaint-Havoc: From Havoc Mode ..."
Xie, Zichen ISSTA '25: "Beyond Static Pattern Matching? ..."
Xing, Mingzhe ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Xu, Chang ISSTA '25: "Bridge the Islands: Pointer ..."
Xu, Guoai ISSTA '25: "Understanding Model Weaknesses: ..."
Xu, Guosheng ISSTA '25: "Understanding Model Weaknesses: ..."
Xu, Lixin ISSTA '25: "Effective REST APIs Testing ..."
Xu, Tangzhi ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Xu, Tongtong ISSTA '25: "Effective REST APIs Testing ..."
Xu, Wenying ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Xu, Xiaofan ISSTA '25: "GoPV: Detecting Blocking Concurrency ..."
Xu, Xiufeng ISSTA '25: "Identifying Multi-parameter ..."
Xu, Zhengzi ISSTA '25: "Doctor: Optimizing Container ..."
Xuan, Jifeng ISSTA '25: "Reinforcement Learning-Based ..."
Xue, Hui ISSTA '25: "S-Eval: Towards Automated ..."
Xue, Pengyu ISSTA '25: "ClassEval-T: Evaluating Large ..."
Yang, Aidan Z.H. ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Yang, Haoran ISSTA '25: "VerLog: Enhancing Release ..."
Yang, Li ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Yang, Mengfei ISSTA '25: "STRUT: Structured Seed Case ..."
Yang, Peiran ISSTA '25: "Improving Deep Learning Framework ..."
Yang, Rui ISSTA '25: "Detecting Isolation Anomalies ..."
Yang, Wei ISSTA '25: "An Investigation on Numerical ..."
Yang, Xiaohu ISSTA '25: "LLM4SZZ: Enhancing SZZ Algorithm ..." ISSTA '25: "Why Does My Transaction Fail? ..."
Yang, Xiaowei ISSTA '25: "A Low-Cost Feature Interaction ..."
Yang, Zhen ISSTA '25: "ClassEval-T: Evaluating Large ..."
Yao, Peisen ISSTA '25: "Program Analysis Combining ..."
Yao, Yuan ISSTA '25: "Clause2Inv: A Generate-Combine-Check ..."
Ye, He ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Ye, Zhe ISSTA '25: "Enhancing Smart Contract Security ..."
Yin, Banghu ISSTA '25: "Program Analysis Combining ..."
Yin, Heng ISSTA '25: "ALMOND: Learning an Assembly ..." ISSTA '25: "BinDSA: Efficient, Precise ..."
Yin, Liangze ISSTA '25: "Incremental Verification of ..."
Ying, Xinlei ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Yu, Aimin ISSTA '25: "Pepper: Preference-Aware Active ..."
Yu, Dongsong ISSTA '25: "xFUZZ: A Flexible Framework ..."
Yu, Hai ISSTA '25: "Porting Software Libraries ..."
Yu, Lechen ISSTA '25: "REACCEPT: Automated Co-evolution ..."
Yu, Lei ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Yu, Qingchen ISSTA '25: "Bridging the Gaps between ..."
Yu, Sheng ISSTA '25: "ALMOND: Learning an Assembly ..."
Yu, Yong ISSTA '25: "Productively Deploying Emerging ..."
Yuan, Brian A. ISSTA '25: "Finding 709 Defects in 258 ..."
Yuan, Hang ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Yuan, Xiaohan ISSTA '25: "S-Eval: Towards Automated ..."
Yuan, Xing ISSTA '25: "Enhanced Prompting Framework ..."
Yue, Yinliang ISSTA '25: "OpDiffer: LLM-Assisted Opcode-Level ..."
Yun, Insu ISSTA '25: "Automated Attack Synthesis ..."
Zackrone, Elliott ISSTA '25: "Tratto: A Neuro-Symbolic Approach ..."
Zamudio Amaya, José Antonio ISSTA '25: "FANDANGO: Evolving Language-Based ..."
Zeller, Andreas ISSTA '25: "FANDANGO: Evolving Language-Based ..."
Zeng, Fanlang ISSTA '25: "Freesia: Verifying Correctness ..."
Zhai, Juan ISSTA '25: "Improving Deep Learning Framework ..."
Zhai, Lidong ISSTA '25: "DataHook: An Efficient and ..."
Zhang, Bolun ISSTA '25: "BinQuery: A Novel Framework ..."
Zhang, Chao ISSTA '25: "xFUZZ: A Flexible Framework ..." ISSTA '25: "Enhancing Smart Contract Security ..." ISSTA '25: "BinQuery: A Novel Framework ..."
Zhang, Charles ISSTA '25: "KRAKEN: Program-Adaptive Parallel ..."
Zhang, Chenbo ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Zhang, Fengjun ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Zhang, Fuyuan ISSTA '25: "Quantum Concolic Testing ..."
Zhang, Hongyu ISSTA '25: "OmniGIRL: A Multilingual and ..."
Zhang, Huan ISSTA '25: "Pepper: Preference-Aware Active ..."
Zhang, Jingyuan ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."
Zhang, Junqi ISSTA '25: "Testing the Fault-Tolerance ..."
Zhang, Liang Feng ISSTA '25: "KEENHash: Hashing Programs ..."
Zhang, Lin ISSTA '25: "Walls Have Ears: Demystifying ..."
Zhang, Lingming ISSTA '25: "Productively Deploying Emerging ..."
Zhang, Lu ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Zhang, Lun ISSTA '25: "FreeWavm: Enhanced WebAssembly ..."
Zhang, Lyuye ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Zhang, Quan ISSTA '25: "Preventing Disruption of System ..."
Zhang, Quanjun ISSTA '25: "A Large-Scale Empirical Study ..."
Zhang, Tao ISSTA '25: "Copy-and-Paste? Identifying ..." ISSTA '25: "AdverIntent-Agent: Adversarial ..."
Zhang, Teng ISSTA '25: "Bridge the Islands: Pointer ..."
Zhang, Tianwei ISSTA '25: "Testing the Fault-Tolerance ..."
Zhang, Weizhe ISSTA '25: "Copy-and-Paste? Identifying ..."
Zhang, Wen ISSTA '25: "DataHook: An Efficient and ..."
Zhang, Wenhui ISSTA '25: "ZTaint-Havoc: From Havoc Mode ..."
Zhang, Wenjie ISSTA '25: "ConTested: Consistency-Aided ..."
Zhang, Wentao ISSTA '25: "The First Prompt Counts the ..."
Zhang, Wenyu ISSTA '25: "Program Analysis Combining ..."
Zhang, Xiangyu ISSTA '25: "Validating Network Protocol ..."
Zhang, Xiaofang ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Zhang, Yu ISSTA '25: "Copy-and-Paste? Identifying ..."
Zhang, Yue ISSTA '25: "SWE-GPT: A Process-Centric ..."
Zhang, Yuxiang ISSTA '25: "ClassEval-T: Evaluating Large ..."
Zhang, Zhiyu ISSTA '25: "Unlocking Low Frequency Syscalls ..."
Zhang, Ziyao ISSTA '25: "LLM Hallucinations in Practical ..."
Zhao, Beibei ISSTA '25: "BinQuery: A Novel Framework ..."
Zhao, Jianjun ISSTA '25: "Quantum Concolic Testing ..."
Zhao, Kexin ISSTA '25: "Improving Deep Learning Framework ..."
Zhao, Lida ISSTA '25: "Fixing Outside the Box: Uncovering ..."
Zhao, Lixin ISSTA '25: "Pepper: Preference-Aware Active ..."
Zhao, Yanjie ISSTA '25: "Understanding Model Weaknesses: ..." ISSTA '25: "Walls Have Ears: Demystifying ..."
Zheng, Mingwei ISSTA '25: "Validating Network Protocol ..."
Zheng, Qisheng ISSTA '25: "Extended Reality Cybersickness ..."
Zheng, Xiaoye ISSTA '25: "Why Does My Transaction Fail? ..."
Zheng, Zibin ISSTA '25: "OmniGIRL: A Multilingual and ..." ISSTA '25: "Tracezip: Efficient Distributed ..." ISSTA '25: "LLM Hallucinations in Practical ..." ISSTA '25: "Copy-and-Paste? Identifying ..."
Zhong, Wanjun ISSTA '25: "LLM Hallucinations in Practical ..."
Zhou, Anshunkang ISSTA '25: "KRAKEN: Program-Adaptive Parallel ..."
Zhou, Bo ISSTA '25: "Porting Software Libraries ..."
Zhou, Chijin ISSTA '25: "Preventing Disruption of System ..."
Zhou, Jianyi ISSTA '25: "A Large-Scale Empirical Study ..."
Zhou, Jinmeng ISSTA '25: "Type-Alias Analysis: Enabling ..."
Zhou, Liyi ISSTA '25: "Enhancing Smart Contract Security ..."
Zhou, Qi ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Zhou, Qingguo ISSTA '25: "Bridging the Gaps between ..."
Zhou, Shuigeng ISSTA '25: "LogBase: A Large-Scale Benchmark ..."
Zhou, Yuan ISSTA '25: "MoDitector: Module-Directed ..."
Zhou, Zhuotong ISSTA '25: "Recurring Vulnerability Detection: ..."
Zhu, Chenguang ISSTA '25: "Identifying Multi-parameter ..."
Zhu, Qinglin ISSTA '25: "QTRAN: Extending Metamorphic-Oracle ..."
Zhu, Yunfeng ISSTA '25: "DeCoMa: Detecting and Purifying ..."
Zhu, Zhiliang ISSTA '25: "Porting Software Libraries ..."
Zhu, Zhiling ISSTA '25: "Doctor: Optimizing Container ..."
Zuo, Chun ISSTA '25: "Smart-LLaMA-DPO: Reinforced ..."

631 authors

proc time: 6.22