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

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

631 authors

proc time: 16.72