default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProceedings of the ACM on Software Engineering, Volume 3
Volume 3, Number FSE, July 2026
Research Papers
- Yifan Huang
, Xiaojun Jia, Wenbo Guo, Yuqiang Sun, Yihao Huang, Chong Wang, Yang Liu:
Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-Breaking. FSE001:1-FSE001:22 - Zejun Zhang, Yixin Gan, Zhenchang Xing, Tian Zhang, Yi Li, Qinghua Lu, Xiwei Xu, Liming Zhu:
Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards. 23-45 - Kaixuan Li, Jian Zhang, Chong Wang, Sen Chen, Zong Cao, Min Zhang, Yang Liu:
GadgetHunter: Region-Based Neuro-symbolic Detection of Java Deserialization Vulnerabilities. 46-68 - Gabriel Sherman, Stefan Nagy:
SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid Python Libraries. 69-91 - Ye Fan, Jidong Ge, Chuanyi Li, LiGuo Huang, Bin Luo:
UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive Transfer Learning. 92-115 - Zaoyu Chen, Haoran Qin, Nuo Chen, Xiangyu Zhao, Lei Xue, Xiapu Luo, Xiao-Ming Wu:
Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair. 116-137 - Shuai Liang, Pengfei Chen, Bozhe Tian, Gou Tan, Maohong Xu, Youjun Qu, Yahui Zhao, Yiduo Shang, Chongkang Tan:
MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge. 138-159 - Mohammadali Sefidi Esfahani, Peter C. Rigby:
Mitigating the Risk of Defects and Improving Knowledge Distribution with Code Reviewer Recommenders. 160-181 - Xiaohui Hu, Ningyu He, Haoyu Wang:
WalleTruth: Visual-Oriented Software Testing for Web3 Wallet Browser Extensions. 182-204 - Zengyu Liu, Bai Xue, Pengfei Yang, Ji Wang:
Precondition Synthesis for Deep Neural Networks with Statistical Guarantees. 205-228 - Tanghaoran Zhang, Xinjun Mao, Shangwen Wang, Yuxin Zhao, Yao Lu, Zezhou Tang, Wenyu Xu, Longfei Sun, Changrong Xie, Kang Yang, Yue Yu:
Coding in a Bubble? Evaluating LLMs in Resolving Context Adaptation Bugs during Code Adaptation. 229-252 - Yitao Yang, Yangtao Deng, Yifan Xiong, Baochun Li, Hong Xu, Peng Cheng:
TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud. 253-276 - Xiaoxuan Zhou, Yiling Lou, Jinhao Dong, Dan Hao:
TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs. 277-298 - Saleh Amareen, Arif Rahman, Sazzadur Rahaman, Amiangshu Bosu:
GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption. 299-320 - Tianyi Zhang, Shidong Pan, Zejun Zhang, Zhenchang Xing, Xiaoyu Sun:
Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation. 321-343 - Yuyang Bi, Junming Cao, You Lu, Bihuan Chen, Tianwei Gan, Dingji Wang, Xin Peng:
Understanding Performance Problems in CUDA Programs. 344-365 - Minh Le-Anh, Huyen Nguyen, Khanh An Tran, Nam Le Hai, Linh Ngo Van, Nghi D. Q. Bui, Bach Le:
Do Not Treat Code as Natural Language: Implications for Repository-Level Code Generation and Beyond. 366-389 - Minxing Wang, Yintong Huo:
Small Is Beautiful: A Practical and Efficient Log Parsing Framework. 390-410 - Li Lin, Qinglin Zhu, Jintai Hong, Chong Wang, Yang Liu, Rongxin Wu:
Validating LLM-Generated SQL Queries through Metamorphic Prompting. 411-434 - Yuhong Liu, Yunhe Su, Zhipeng Peng, Zhiwen Luo, Lin Shi, Zhi Jin, Li Zhang:
On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors. 435-458 - Shangbo Yun, Xiaodong Gu, Jianghong Huang, Beijun Shen:
Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models. 459-478 - Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, Yepang Liu:
ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning. 479-502 - Krishanu Singh, Kushagra Karar, Abhilash Jindal, Guowei Yang:
Speculate: Generating REST API Specifications using LLMs. 503-524 - Lianghong Guo, Yanlin Wang, Caihua Li, Wei Tao, Pengyu Yang, Jiachi Chen, Haoyu Song, Duyu Tang, Zibin Zheng:
SWE Data Construction, Automatically! 525-546 - Min Gou, Zhiyu Yao, Hualong Ma, Ende Zhang, Jian Zhou, Fei He:
CertiCoder: Towards MISRA-Compliant C Code Generation with LLMs. 547-567 - Sebastian Lubos, Alexander Felfernig, Damian Garber, Viet-Man Le, Manuel Henrich:
Recommending Usability Improvements with Multimodal Large Language Models. 568-589 - Haocheng Huang, Yuchen Chen, Weisong Sun, Peizhuo Lv, Yuan Xiao, Chunrong Fang, Yang Liu, Xiaofang Zhang:
PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models. 590-612 - Yinghao Wu, Miaomiao Zhang, Fu Song, John W. Baugh Jr.:
SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts. 613-635 - Yanyang Zhao, Zhengxiong Luo, Wenlong Zhang, Feifan Wu, Yuanliang Chen, Fuchen Ma, Qi Xu, Heyuan Shi, Yu Jiang:
Protocol Reverse Engineering via Deep Transfer Learning. 636-656 - Jingdong Guo, Chaopeng Dong, Yimo Ren, Siyuan Li, Jie Liu, Hong Li, Hongsong Zhu:
Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study. 657-677 - Jiahong Xiang, Xiaoyang Xu, Xiaopan Chu, Hongliang Tian, Yuqun Zhang:
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis. 678-699 - Zhiqing Zhong, Jiaming Huang, Pinjia He:
BackportBench: A Multilingual Benchmark for Automated Patch Backporting. 700-722 - Zixi Liu, Yang Feng, Jialiang Jiang, Baowen Xu:
Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation. 723-744 - He Yang Yuan, Xin Wang, Kundi Yao, An Ran Chen, Zishuo Ding, Zhenhao Li:
Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs. 745-765 - Fengjuan Gao, Qingjie Zhu, Yi Zhang, Yu Wang, Xuandong Li, Ke Wang:
Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis. 766-785 - Shuqing Li, Chenran Zhang, Binchang Li, Cuiyun Gao, Michael R. Lyu:
When Shared Worlds Break: Demystifying Defects in Multi-user Extended Reality Software Systems. 786-809 - Anyuan Sang, Li Yang, Lu Zhou, Junbo Jia, Huipeng Yang:
Flash: Query-Efficient Black-Box Static Malware Evasion through Transferable GAN-Guided Modification Sequences. 810-831 - Wenyuan Xu, Anders Møller:
JavaScript Pointer Analysis with Adaptive Heap Abstraction. 832-852 - Yuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger:
ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems. 853-875 - Yeaseen Arafat, Stefan Nagy:
PROGnosticator: Testing Source-to-Source Code Translators via Construct-Oriented Fuzzing. 876-898 - Yujue Wang, Quan Zhang, Chijin Zhou, Gwihwan Go, Dalong Shi, Yu Jiang:
InDe-LLM: Defending against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling. 899-919 - Pengyu Xue, Kunwu Zheng, Zhen Yang, Yifei Pei, Linhao Wu, Jiahui Dong, Xiapu Luo, Yan Xiao, Fei Liu, Yuxuan Zhang, Xiran Lyu, Xianhang Li, Xuanyu Zhu, Chengyi Wang:
TransLibEval: Demystify Large Language Models' Capability in Third-Party Library-Targeted Code Translation. 920-942 - Wentao Liang, Yanjun Wu, Xiang Ling, Tianyue Luo, Dinghao Liu, Haotian Zhang, Jingzheng Wu:
Mining Long Tail Bugs: Identifying Rare and Overlooked Issues in Code. 943-966 - Miryeong Kang, Wonseok Oh, Gabin An, Hakjoo Oh:
Pig: Leveraging Large Language Models for Python Library Migrations. 967-988 - Luping Zhang, Chao Chen, Dapeng Yan, Hui Xu, Mingsheng Cao, Jingkuan Song, Zhikuang Cai, Yufeng Guo:
VerilogASTBench: Benchmark Construction of Verilog AST Dataset with Dual-Stage AST Semantic Enhancement Framework. 989-1010 - Hyegeun Song, Jiseong Han, Sunbeom So:
SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning. 1011-1034 - Ajmain Inqiad Alam, Palash Ranjan Roy, Chanchal K. Roy, Banani Roy, Kevin A. Schneider:
Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models. 1035-1058 - Yuchen Chen, Yuan Xiao, Chunrong Fang, Zhenyu Chen, Baowen Xu:
DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark-Poison Design. 1059-1081 - Haolin Li, Michael Coblenz:
A Grounded Theory of Debugging in Professional Software Engineering Practice. 1082-1103 - Zao Yang, Stefan Nagy:
Binvariants: Enhancing Fuzzing of Closed-Source Binary Executables via Register-Level Likely Invariants. 1104-1127 - Wei Liu, Chao Peng, Pengfei Gao, Aofan Liu, Wei Zhang, Haiyan Zhao, Zhi Jin:
GraphLocator: Graph-Guided Causal Reasoning for Issue Localization. 1128-1149 - Ke Ma, Jianjun Huang, Wei You, Bin Liang, Jingzheng Wu, Yanjun Wu, Yuanjun Gong:
Feature Slice Matching for Precise Bug Detection. 1150-1171 - Shuangyu Lyu, Chuan Luo, Ruizhi Shi, Zhuo Su, Chunming Hu:
DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas. 1172-1195 - Jiashuo Tian, Dong Wang, Chen Yang, Haichi Wang, Zan Wang, Junjie Chen:
Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel. 1196-1218 - Zhe Yin, Xiaodong Gu, Beijun Shen:
Neuron-Guided Interpretation of Code LLMs: Where, Why, and How? 1219-1240 - Yuan-An Xiao, Pengfei Gao, Chao Peng, Yingfei Xiong:
Reducing Cost of LLM Agents with Trajectory Reduction. 1241-1263 - Xiao Cheng, Zhihao Guo, Huan Huo, Yulei Sui:
TLR: Codebase-Level C Memory Management Error Repair with Large Language Models. 1264-1287 - Jingyu Zhang, Fan Wang, Jacky Keung, Yihan Liao, Yan Xiao, Lei Ma:
Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts. 1288-1311 - Ning Kang, Peng Zhang, Jianyuan Zhang, Hao Li, Dan Wang, Zhenrong Gu, Weibo Lin, Shibiao Jiang, Zhu He, Xu Du, Longfei Chen, Jun Li, Xiaohong Guan:
AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud. 1312-1334 - Hanzhen Lu, Lishui Fan, Jiachi Chen, Qiuyuan Chen, Zhao Wei, Zhongxin Liu:
Balancing Latency and Accuracy of Code Completion via Local-Cloud Model Cascading. 1335-1356 - Simantika Bhattacharjee Dristi, Matthew B. Dwyer:
LoCaL: Countering Surface Bias in Code Evaluation Metrics. 1357-1380 - Heedong Yang, Jeongwoo Lee, Hajin Yun, Seunghoon Woo:
SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching. 1381-1403 - Jongchan Hong, Jaewon Kim, Sungjae Hwang:
OCPPuzz: Specification-Driven Fuzzing of Charging Station Management Systems with Large Language Model. 1404-1423 - Yingying Wang, Masih Beigi Rizi, Fatemeh Khashei, Julia Rubin:
From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-Based Software Engineering Course. 1424-1447 - Divya Rathore, Kartik Nagar:
Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis. 1448-1468 - Chao Hu, Wenhao Zeng, Yuling Shi, Beijun Shen, Xiaodong Gu:
In Line with Context: Repository-Level Code Generation via Context Inlining. 1469-1491 - Hai Duong, Thanh Tien Le, Lam Nguyen, ThanhVu Nguyen:
Verifying Structural Robustness of Deep Neural Network. 1492-1514 - Yi Gao, Ziyuan Zhang, Xing Hu, Xiaohu Yang, Xin Xia:
IntentTester: Intent-Driven Multi-agent Framework for Cross-Library Test Migration. 1515-1535 - Georgios-Petros Drosos, Georgios Alexopoulos, Thodoris Sotiropoulos, Dimitris Mitropoulos, Zhendong Su:
Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code. 1536-1559 - Dongjin Chen, Wenhua Yang, Minxue Pan, Yu Zhou:
Automating Dockerfile Refactoring to Multi-stage Builds. 1560-1581 - Zhiqiang Yuan, Weitong Chen, Hanlin Wang, Xin Peng, Zhenpeng Chen, Yiling Lou:
TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment. 1582-1604 - Aoyang Fang, Songhan Zhang, Yifan Yang, Haotong Wu, Junjielong Xu, Xuyang Wang, Rui Wang, Manyi Wang, Qisheng Lu, Pinjia He:
Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark. 1605-1627 - Zhihao Lin, Mingyi Zhou, Bo Sun, Han Hu, Gang Fan, Li Li:
Phantom Rendering Detection: Identifying and Analyzing Unnecessary UI Computations. 1628-1649 - Yuan Huang, Yukang Zhou, Xiangping Chen, Zibin Zheng:
Comment Traps: How Defective Commented-Out Code Augment Defects in AI-Assisted Code Generation. 1650-1670 - Shuo Sun, Shixin Zhang, Jiwei Yan, Jun Yan, Jian Zhang:
Co-evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code. 1671-1691 - David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis:
Interrogation Testing of CHC Solvers. 1692-1711 - Yi-Hung Chou, Boyuan Jiang, Yi Wen Chen, Mingyue Weng, Victoria Jackson, Thomas Zimmermann, James A. Jones:
Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding. 1712-1734 - Jia Li, Hongyi Deng, Yiran Zhang, Kechi Zhang, Tianqi Shao, Tiankuo Zhao, Weinan Wang, Zhi Jin, Ge Li, Yang Liu, Yingtao Fang, Yihong Dong:
RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices. 1735-1756 - Hang Du, Vijay Krishna Palepu, James A. Jones:
Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior. 1757-1780 - Han Zhou, Wei Song:
AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics Trees. 1781-1801 - Jaehyun Lee, Seokhun Jeong, Sukyoung Ryu:
Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System. 1802-1822 - Kunyi Li, Sai Wu, Xiu Tang, Chang Yao, Songhao Bu, Quanqing Xu, Gang Chen:
Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug? 1823-1843 - Tahmid Rafi, Xueling Zhang, Jianwei Niu, Xiaoyin Wang:
Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android AR Software with Comparison to Prior Bug Studies. 1844-1865 - Ardi Madadi, Seongmin Lee, Cornelius Aschermann, Marcel Böhme:
In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking Outcome. 1866-1887 - Yu Ge, Linna Xie, Zhong Li, Yu Pei, Tian Zhang:
Spectrum-Based Failure Attribution for Multi-agent Systems. 1888-1909 - Juyeon Yoon, Somin Kim, Robert Feldt, Shin Yoo:
Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs. 1910-1932 - Xiwen Teoh, Yun Lin, Duc-Minh Nguyen, Ruofei Ren, Wenjie Zhang, Jin Song Dong:
WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements. 1933-1956 - Jiyong Uhm, Minseok Kim, Michalis Polychronakis, Hyungjoon Koo:
Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-Preserving Transformations. 1957-1980 - Chengyue Liu, Zhengzi Xu, Kaixuan Li, Jiahui Wu, Sihao Qiu, Siyuan Li, Siyang Xiong, Yang Xiao, Yang Liu:
Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale. 1981-2002 - Zhiyuan Peng, Wei Tao, Xin Yin, Chenhao Ying, Yuan Luo, Yiwen Guo:
PlayCoder: Making LLM-Generated GUI Code Playable. 2003-2026 - Guangrui Fan, Dandan Liu, Lihu Pan, Rui Zhang, Qian Guo:
Multi-LLM Persona Generation for Virtual Focus Groups in Software Engineering: A Controlled, Multi-domain Study of Emotional Requirements Elicitation. 2027-2048 - Xiao Chen, Qiuyun Wang, Shuwei Wang, Weize Zhang, Yuling Liu, Baoxu Liu, Zhengwei Jiang:
Large Language Models for Opaque Predicate Resolution: A Universal Control Flow Deobfuscation Framework. 2049-2071 - Minki Lee, Seojin Lee, Seulbae Kim:
SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis. 2072-2093 - Chaozheng Wang, Zezhou Yang, Shuzheng Gao, Cuiyun Gao, Zongjie Li, Yichen Li, Ting Peng, Hailiang Huang, Yuetang Deng, Michael R. Lyu:
Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing. 2094-2116 - Lei Yu, Jingyuan Zhang, Xin Wang, Li Yang, Fengjun Zhang, Peng Wang, Jia Xu, Jiajia Ma:
Bash-Commenter: Leveraging Syntax-Aware Preference Optimization to Reinforce Large Language Model for Bash Code Comment Generation. 2117-2140 - Christoph Bühler, Matteo Biagiola, Luca Di Grazia, Guido Salvaneschi:
AgentBound: Securing Execution Boundaries of AI Agents. 2141-2164 - Lei Yu, Jingyuan Zhang, Xin Wang, Li Yang, Fengjun Zhang, Jiajia Ma:
SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization. 2165-2188 - Susheng Wu, Xin Hu, Yiheng Cao, Zhuotong Zhou, Yiheng Huang, Yijian Wu, Bihuan Chen, Zhijia Zhao, Xin Peng:
It Takes Two: Option-Aware Directed Greybox Fuzzing for Vulnerability PoC Generation. 2189-2210 - Xinyue Li, Zhenpeng Chen, Jie M. Zhang, Ying Xiao, Tianlin Li, Weisong Sun, Yang Liu, Yiling Lou, Xuanzhe Liu:
Fairness Testing of Large Language Models in Role-Playing. 2211-2234 - Hao Jia, Haoyu Ma, Changfeng Ding, Jinku Li:
Exorcist: Enabling Atomic-Level Runtime Detection of Spectre Attacks using Precise Event Based Sampling. 2235-2258 - Jingwen Zhang, Yuhong Nan, Kaiwen Ning, Mingxi Ye, Wei Li, Yuming Xiao, Yuming Feng, Weizhe Zhang, Zibin Zheng:
V2E: Validating Smart Contract Vulnerabilities through Profit-Driven Exploit Generation and Execution. 2259-2281 - Zhensheng Xian, Zhen Yan, Yuanliang Chen, Xuelian Cao, Fuchen Ma, Dalong Shi, Yu Jiang:
Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation. 2282-2303 - Marius Smytzek, Andreas Zeller:
Denoising Fault Localization with Test Line Proximity. 2304-2327 - Chibin Zhang, Qiang Liu, Mathias Payer:
CrossFit: Demystifying VM Callback Bugs in Interpreters. 2328-2349 - Jiashuo Zhang, Jiachi Chen, Ting Zhang, Yue Li, Daoyuan Wu, Yanlin Wang, Jianbo Gao, Ting Chen, Zhong Chen:
Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program Analysis. 2350-2372 - Xin Yin, Chao Ni, Xiaohu Yang:
Aligning with Human Coding Preferences for Improving Code Generation. 2373-2395 - Jingyu Xiao, Zhongyi Zhang, Yuxuan Wan, Yintong Huo, Yang Liu, Michael R. Lyu:
EfficientUICoder: A Bidirectional Token Compression Framework for Efficient MLLM-Based UI Code Generation. 2396-2418 - Francesco Sovrano, Gabriele Dominici, Alberto Bacchelli:
Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering. 2419-2441 - Yifan Xia, Chengwei Liu, Zifan Xie, Lyuye Zhang, Peiyu Liu, Kangjie Lu, Yang Liu, Wenhai Wang, Shouling Ji:
Break to Adapt: Knowledge-Based Updates of Breaking Dependencies in JavaScript. 2442-2464 - Jia Li, Zhuangbin Chen, Yuxin Su, Michael R. Lyu:
VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns. 2465-2487 - Zhenyu Yang, Zhongxing Yu:
GREClue: Failure Indexing with Graph-Based Failure Representation and Entropy-Based Deep Clustering. 2488-2511 - Haonan Yu, Jiaxin Zhu, Yingying Zheng, Yuwei Zhang, Wei Wang, Jun Wei, Tao Huang:
Understanding Code Similarity across Instruction Set Architectures: An Empirical Study. 2512-2535 - Yinan Wu, Ze Shi Li, Kathryn Thomasset Stolee, Bowen Xu:
How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior. 2536-2559 - Qianqian Pang, Xin Yin, Tingting Bi, Lingfeng Bao, Chao Ni, Xiaohu Yang:
Adaptive Mutation Scheduling with Deep Reinforcement Learning for Smart Contract Fuzzing. 2560-2582 - Donghui Yu, Dahan Pan, Fengwei Zhang, Haoran Fang, Ya Fang, Yuanyuan Zhang:
Reducing the TCB of SGX-Oriented LibOSes at Runtime. 2583-2605 - Sanjeepan Sivapiran, Gias Uddin:
Reward-Free Code Alignment from Pretrained or Fine-Tuned LLM: Unpacking the Trade-offs for Code Generation. 2606-2629 - Teyu Lin, Minghao Fan, Huaxun Huang, Zhirong Shen, Rongxin Wu:
TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing. 2630-2651 - Jing Jiang, Liehao Li, Jinyun Hou, Xin Tan, Li Zhang:
Understanding and Predicting Accepted Code Suggestions in AI-Assisted Programming. 2652-2674 - Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto, Daniel Sadoc Menasché, Gustavo Bittencourt Figueiredo, Eduardo Santana de Almeida:
Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis. 2675-2697 - Luca Brodo, Giuseppe Scalora, Stefan Henkler:
Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification. 2698-2719 - Jixiang Zhou, Mingfei Cheng, Shuncheng Tang, An Guo, Xiaofei Xie, Yinxing Xue, Lijun Zhang:
OdoTest: An Automated Testing Approach for Odometry Systems. 2720-2743 - Jing Liu, Seongmin Lee, Eleonora Losiouk, Marcel Böhme:
Evaluating LLM-Based Regression Test Generation. 2744-2766 - Md Awsaf Alam Anindya, Showvik Biswas, Anindya Iqbal, Jaydeb Sarker, Amiangshu Bosu:
ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering. 2767-2789 - Yanlin Wang, Suiquan Wang, Yanli Wang, Bowen Zhang, Daya Guo, Jiachi Chen, Zibin Zheng:
RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models. 2790-2812 - Hao Zhu, Jia Li, Cuiyun Gao, Jiaru Qian, Yihong Dong, Huanyu Liu, Lecheng Wang, Ziliang Wang, Xiaolong Hu, Ge Li:
VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications. 2813-2834 - Mingwei Liu, Zheng Pei, Yanlin Wang, Zihao Wang, Zikang Li, Enci Lin, Xin Peng, Zibin Zheng:
Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study. 2835-2857 - Shuqing Li, Binchang Li, Yepang Liu, Cuiyun Gao, Jianping Zhang, Shing-Chi Cheung, Michael R. Lyu:
Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing. 2858-2881 - Minqi Shao, Shangzhou Xia, Jianjun Zhao:
QuanForge: A Mutation Testing Framework for Quantum Neural Networks. 2882-2904 - Yirui He, Ziyao He, Syed Fatiul Huq, Sam Malek:
ReFLAIR: Detecting Responsive Layout Reflow Issues using Multimodal Generative AI. 2905-2927 - Luan Pham, Huong Ha, Xiuzhen Zhang, Hongyu Zhang:
TORAI: Multi-source Root Cause Analysis for Blind Spots in Microservice Service Call Graph. 2928-2951 - Yichen Li, Qiye Lin, Yun Peng, Zhihan Jiang, Jinyang Liu, Chaozheng Wang, Yintong Huo, Cuiyun Gao:
One Size Does Not Fit All: Revisiting Code Context Engineering for Repository-Level Code Generation. 2952-2975 - Guanghua Wan, Yuanning Feng, Yao Wan, Zhaoyang Chu, Zhangqian Bi, Junxiao Han, Zhou Zhao, Hongyu Zhang, Pingpeng Yuan, Xuanhua Shi, Hai Jin:
Hallucinations in LLM-Based Code Summarization: Unveiling, Detection, and Mitigation. 2976-2999 - Pascal Joos, Islem Bouzenia, Michael Pradel:
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings. 3000-3022 - Chaoyuan Peng, Muhui Jiang, Yajin Zhou, Lei Wu:
Thought Is All You Need: Smart Contract Vulnerability Detection with Thought-Augmented Large Language Model. 3023-3046 - Kaifeng He, Mingwei Liu, Chong Wang, Zike Li, Yanlin Wang, Xin Peng, Zibin Zheng:
AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation. 3047-3069 - Jiayi Mao, Liqun Li, Yanjie Gao, Zegang Peng, Shilin He, Chaoyun Zhang, Si Qin, Samia Khalid, Qingwei Lin, Saravan Rajmohan, Sitaram Lanka, Dongmei Zhang:
StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis. 3070-3092 - Zhengran Zeng, Ruikai Shi, Keke Han, Yixin Li, Kaicheng Sun, Yidong Wang, Zhuohao Yu, Rui Xie, Wei Ye, Shikun Zhang:
SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation. 3093-3115 - Jiaqi He, Karim Ali:
GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs. 3116-3137 - Ziyuan Zhang, Yi Gao, Xing Hu, Xin Xia, Shanping Li:
Automated Knowledge-Aware Test Reuse. 3138-3161 - Kallistos Weis, Martina Maggio, Norbert Siegmund, Sven Apel:
Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies. 3162-3185 - Yang Chen, Toufique Ahmed, Reyhaneh Jabbarvand, Martin Hirzel:
Can Old Tests Do New Tricks for Resolving SWE Issues? 3186-3207 - I Putu Arya Dharmaadi, Van-Thuan Pham, Fadi Mohsen, Fatih Turkmen:
SQLiFuzz: Uncovering SQL Injection in Any Web Applications. 3208-3229 - Yueke Zhang, Yifan Zhang, Zihan Fang, Greg Trafton, Daniel Levin, Kevin Leach, Yu Huang:
ScanCoder: Leveraging Human Attention Patterns to Enhance LLMs for Code. 3230-3252 - Chunhao Dong, Yanjie Jiang, Yang Zhang, Yuxia Zhang, Hui Liu:
Cross-Refactoring-Type Test Program Migration for Refactoring Engines. 3253-3274 - Sidong Feng, Dingbang Wang, Nikola Tomic, Tingting Yu, Aldeida Aleti, Chunyang Chen:
ViBR: Automated Bug Replay from Video-Based Reports using Vision-Language Models. 3275-3297 - Linfeng Liang, Xiao Cheng, Tsong Yueh Chen, Xi Zheng:
From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing. 3298-3320 - Yoel Kim, Yunja Choi:
Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper. 3321-3343 - Wenjie Wang, Yazhe Wang, Lei Ren:
A Wily Hare Has Three Havens: Combating Programmable Logic Controller Attacks via Virtualization Redundancy. 3344-3367 - Bo Wang, Ming Deng, Mingda Chen, Chengran Yang, Youfang Lin, Mark Harman, Mike Papadakis, Jie M. Zhang:
Boosting LLMs for Mutation Generation. 3368-3391 - Mingxi Ye, Yuhong Nan, Zhijie Zhong, Jianzhong Su, Xingwei Lin, Peilin Zheng, Zibin Zheng:
ChainDelta: Automatic Patch-Based Exploit Generation for Ethereum with Fuzzing Agents. 3392-3414 - Mengzhuo Chen, Zhe Liu, Chunyang Chen, Junjie Wang, Yuekai Huang, Boyu Wu, Jun Hu, Qing Wang:
From Suspicious Signals to Crashes: Guiding Bug-Driven GUI Testing via Code-Inspired Tracing. 3415-3438 - Weijie Liu, Hongbo Chen, Shuo Huai, Zhen Xu, Wenhao Wang, XiaoFeng Wang, Danfeng Zhang, Zhi Li, Haixu Tang, Zheli Liu:
Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study. 3439-3462 - Jianzhong Su, Mingxi Ye, Jiachi Chen, Yuhong Nan, Peilin Zheng, Tao Zhang, Zibin Zheng:
Odyssey: Hunting Smart Contract Vulnerabilities with Fine-Grained State Modeling and Exploration. 3463-3485 - Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Jinyao Guo, Mingwei Zheng, Qingkai Shi, Xiangyu Zhang:
NESA: Relational Neuro-Symbolic Static Program Analysis. 3486-3509 - Zhichao Zhou, Jingzhu He:
LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks. 3510-3533 - Yuan Si, Daming Li, Hanyuan Shi, Jialu Zhang:
VisionScratch: LLM-Based Automated Feedback Generation using Code-Produced Videos for Scratch Programs. 3534-3557 - Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury:
Agentic Verification of Software Systems. 3558-3581 - Neha Singh, Francesco Sovrano, Vincent J. Hellendoorn, Alberto Bacchelli:
The Effect of Complexity and Provenance on Code Review Decisions: Evidence from a Controlled Experiment. 3582-3603 - Zhengdao Li, Xiuwei Shang, Zhenkan Fu, Shikai Guo, Weiming Zhang, Nenghai Yu, Kejiang Chen:
DualCodeDetect: Zero-Shot LLM-Generated Code Detection via Dual-Channel Perturbation. 3604-3626 - Xiaoqin Fu, Haipeng Cai:
Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis. 3627-3650 - Liuhuo Wan, Zicong Liu, Chuan Yan, Liujia Wan, Naipeng Dong, Zi Huang, Guangdong Bai:
Unveiling AI-Driven Web Applications: Insights into Characteristics, Functionality, and Compliance. 3651-3674 - Zhiqiang Yuan, Wenjun Mao, Zhuo Chen, Xiyue Shang, Chong Wang, Yiling Lou, Xin Peng:
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs. 3675-3698 - Ximing Fan, Yong Fang, Peng Jia, Yang Liu, Yijia Xu, Xi Peng, Yuhao Zhou:
CuFuzz: An API-Knowledge-Graph Coverage-Driven Fuzzing Framework for CUDA Libraries. 3699-3721 - Jiawei Shen, Chengcheng Wan, Ruoyi Qiao, Jiazhen Zou, Hang Xu, Yuchen Shao, Yueling Zhang, Weikai Miao, Geguang Pu:
Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors. 3722-3745 - Philipp Görz, Joschua Schilling, Nicolai Bissantz, Thorsten Holz:
An Empirical Study of Fuzz Harness Degradation. 3746-3768 - Shengcheng Yu, Yuchen Ling, Chunrong Fang, Zhenyu Chen, Chunyang Chen:
Towards Automated Crowdsourced Testing via Personified-LLM. 3769-3792 - Haotong Liu, Zhi Wang, Zhuohang Liu, Wanpeng Li:
DECODE: Dynamic Exploration for Constraint-Guided Vulnerability Discovery in Deep Learning Operators. 3793-3815 - Tobias Kiecker, Jan Arne Sparka, Martin Reuter, Albert Ziegler, Lars Grunske:
CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation. 3816-3838 - Kaichen Chen, Yi Xiang, Haining Wang, Jiatong Ma, Fujian Feng, Miqing Li, Han Huang:
A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems. 3839-3862 - Zeming Wei, Chengcan Wu, Meng Sun:
ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction. 3863-3886 - Deniz Simsek, Aryaz Eghbali, Michael Pradel:
PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages. 3887-3908 - Doha Nam, Taehyoun Kim, Duksan Ryu, Jongmoon Baik:
ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction? 3909-3930 - Yazhuo Gao, Lin Yang, Lianxiao Meng, Ran Zhu, Yining Cao:
Towards the Localization of Multi-Root-Cause Failures in Microservice Systems: An Active Intervention Framework. 3931-3953 - Fangwen Mu, Junjie Wang, Lin Shi, Song Wang, Shoubin Li, Qing Wang:
ExpeRepair: Dual-Memory Enhanced LLM-Based Repository-Level Program Repair. 3954-3976 - Shuyao Jiang, Ruiying Zeng, Yangfan Zhou, Michael R. Lyu:
Bringing Managed Language Support to WebAssembly with External Library Linking. 3977-4000 - Yuxin Ren, Li Zhou, Chumin Sun, Rui Fan, Jie Sun, Ning Jia, Xinwei Hu:
Unleashing HPC Application Performance through Software Deployment: A Joint Model of Software Parallelism and Co-location. 4001-4024 - Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu, Xiaoyan Gu, Xianhui Lu, Hongbo Liu, Bingzheng Wang, Haihui Fan, Ziming Zhao, Rui Zhang, Li Zhou:
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes. 4025-4047 - Weibin Lin, Jiangtao Meng, Zheng Zheng:
Failure-Based Testing for Deep Reinforcement Learning Agents. 4048-4069 - Luan Pham, Victor Nicolet, Joey Dodds, Hui Guan, Daniel Kroening:
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems. 4070-4093 - Rakhshanda Jabeen, Morgan Ericsson, Jonas Nordqvist, Anna Wingkvist:
GAER: Graph Auto-encoders for Unsupervised Software Architecture Recovery. 4094-4115 - Mingjie Chen, Tiancheng Zhu, Mingxue Zhang, Yiling He, Minghao Lin, Penghui Li, Kui Ren:
Unveiling the Fragility of Binary Code Similarity Detection via Targeted Attacks with Model Explanations. 4116-4139 - Jinku Cui, Yueming Hao, Shuyin Jiao, Jiajia Li, Xu Liu:
SmartDispatch: Dynamic Substitution of NumPy-Style APIs on Heterogeneous CPU-GPU Systems. 4140-4160 - Qiang Ke, Yanjie Zhao, Hongjin Leng, Shengming Zhao, Haoyu Wang:
Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks. 4161-4183 - Arshia Akhavan, Alireza Hoseinpour, Abbas Heydarnoori, Hamid Bagheri, Mehdi Keshani:
LinkAnchor: An Autonomous LLM-Based Agent for Issue-to-Commit Link Recovery. 4184-4207 - Kishan Kumar Ganguly, Tim Menzies:
How Low Can You Go? The Data-Light SE Challenge. 4208-4230 - Junyi Wang, Jialun Cao, Zhongxin Liu:
iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation. 4231-4252 - Yu Yu, Zhihong Sun, Jia Li, Yao Wan, Chuanyi Li, Hongyu Zhang, Ruyun Wang, Tao Huang, Zhi Jin, Ge Li, Chen Lyu:
Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation. 4253-4275 - Yonggang Tao, Jingling Xue:
Structure-Aware Delta Debugging with Geometric-Information Weights. 4276-4298 - Jieke Shi, Junda He, Zhou Yang, Chengran Yang, Mykhailo V. Klymenko, Thong Hoang, Xiwei Xu, Zhenchang Xing, David Lo:
Compiling Code LLMs into Lightweight Executables. 4299-4322 - Xin Peng, Bo Lin, Jing Wang, Xiaoling Li, Jun Ma, Jie Yu, Xiaoguang Mao, Shangwen Wang:
Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection. 4323-4346 - Yinggang Qiu, Yihao Qin, Mingyang Geng, Shangwen Wang, Dezun Dong:
One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks. 4347-4370 - Taha Draoui, Mohamed Wiem Mkaouer, Christian D. Newman:
Improving Data Leakage Detection in Machine Learning Notebooks through Static Slicing and Structured LLM Prompts. 4371-4392 - Yuqi Zhu, Ge Li, Hong Mei, Zhi Jin, Jia Li, Qibin Zheng, Jieyuan Zhang:
Influence-Aware Bayesian-Inspired Token Reweighting for Improved Code Generation. 4393-4414 - Tianyi Jing, Pengyu Ding, Meng Xu, Yinhao Hu, Zheng Yu, Dongliang Mu:
pPatch: Automated Vulnerability Unpatching. 4415-4436 - Wenbo Hu, Jie Lu, Jingting Chen, Feng Li, Chenghang Shi, Xiaonan Shi, Jinchen Wang, Wei Huo:
SpecWeaver: End-to-End HTTP API Specification Inference across Multi-layer Routing in Production Web Services. 4437-4458 - Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou:
Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement. 4459-4481 - Shuai Yuan, Nian Luo, Jingling Sun, Yihao Huang, Chengyu Zhang:
Red Teaming LLMs via Linguistic-Aware Fuzzing. 4482-4504 - Negar Fathi, Hiroshi Unno, Tachio Terauchi, Rahul Purandare:
Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs. 4505-4528 - Sebastian Watzinger, Valentin Wüstholz, Deepak Garg, Maria Christakis:
Cost-Effective Testing of MPC Compilers. 4529-4550 - Chengyan Ma, Jieke Shi, Ruidong Han, Ye Liu, Feng Li, Yuqing Niu, David Lo:
Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching. 4551-4574 - Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, Marsha Chechik:
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables. 4575-4598 - Leizhen Zhang, Shuhan Chen, Sheng Chen:
Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability. 4599-4621 - Jaehan Yoon, Yunji Seo, Hakjoo Oh, Sooyoung Cha:
Reducing Coverage-Equivalent Inputs in Grammar-Based Fuzzing by Avoiding Recurrent Rule Sequences. 4622-4643 - Aryaz Eghbali, Zhongxin Liu, Michael Pradel:
Natural Language-Focused Software Engineering via Code-Documentation Equivalence. 4644-4665 - Chu Chen, Qianxin Cheng, Pinghong Ren, Hairong Yu, Cong Tian, Zhenhua Duan, Xu Lu, Bin Yu, Wensheng Wang, Jin Liu:
RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations. 4666-4689 - Congying Xu, Hengcheng Zhu, Songqiang Chen, Jiarong Wu, Valerio Terragni, Shing-Chi Cheung:
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis. 4690-4713 - Shaoheng Cao, Minxue Pan, Xuandong Li:
TUSR: A Test Unit-Based Framework for Repairing Obsolete GUI Test Scripts. 4714-4736 - Yi Gao, Xing Hu, Xiaohu Yang, Xin Xia:
GUIMigrator: Semantics-Preserving Transpilation from Android XML to Compose and SwiftUI. 4737-4759 - Binhang Qi, Yun Lin, Xinyi Weng, Chenyan Liu, Hailong Sun, Gordon Fraser, Jin Song Dong:
Generalizing Test Cases for Comprehensive Test Scenario Coverage. 4760-4781 - Sunha Park, Soojin Han, Seunghoon Woo:
Uncovering Similar but Different Packages in PyPI and Potential Security Threats. 4782-4803 - Hongshu Wang, Xinyue Zuo, Yuhan Sun, Qin Li, Yamine Aït-Ameur, Jin Song Dong:
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair. 4804-4826
Corrections
- Farbod Daneshyan, Runzhi He, Jianyu Wu, Minghui Zhou:
Corrigendum: SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works. 4827
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-25 22:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
