FSESoftware Engineering / System Software / Programming Languages
ACM International Conference on the Foundations of Software Engineering
891已索引 Paper
2020-2026覆盖年份
最新论文
- A Grounded Theory of Debugging in Professional Software Engineering PracticeHaolin Li, Michael Coblenz2026
- A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software SystemsKaichen Chen, Yi Xiang, Haining Wang, Jiatong Ma 等2026
- A Wily Hare Has Three Havens: Combating Programmable Logic Controller Attacks via Virtualization RedundancyWenjie Wang, Yazhe Wang, Lei Ren2026
- Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive RefinementAlexandros Evangelidis, Gricel Vázquez, Simos Gerasimou2026
- AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics TreesHan Zhou, Wei Song2026
- AccessRefinery: Fast Mining Concise Access Control Intents on Public CloudNing Kang, Peng Zhang, Jianyuan Zhang, Hao Li 等2026
- ACME: Automated Clause Mapping Engine for Testing Emerging Database SystemsYuancheng Jiang, Jianing Wang, Chuqi Zhang, Roland H. C. Yap 等2026
- Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic MapperYoel Kim, Yunja Choi2026
- AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code GenerationKaifeng He, Mingwei Liu, Chong Wang, Zike Li 等2026
- Adaptive Mutation Scheduling with Deep Reinforcement Learning for Smart Contract FuzzingQianqian Pang, Xin Yin, Tingting Bi, Lingfeng Bao 等2026
- AgentBound: Securing Execution Boundaries of AI AgentsChristoph Bühler, Matteo Biagiola, Luca Di Grazia, Guido Salvaneschi2026 · 被引用 1 次
- Agentic Verification of Software SystemsHaoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar 等2026 · 被引用 1 次
- Aligning with Human Coding Preferences for Improving Code GenerationXin Yin, Chao Ni, Xiaohu Yang2026
- An Empirical Study of Fuzz Harness DegradationPhilipp Görz, Joschua Schilling, Nicolai Bissantz, Thorsten Holz2026 · 被引用 1 次
- Automated Detection of Configuration-Specific Security Vulnerabilities via Patch AnalysisFelipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto, Daniel Sadoc Menasché 等2026
- Automated Knowledge-Aware Test ReuseZiyuan Zhang, Yi Gao, Xing Hu, Xin Xia 等2026
- Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements TablesAren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi 等2026
- Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted PatchingChengyan Ma, Jieke Shi, Ruidong Han, Ye Liu 等2026
- Automating Dockerfile Refactoring to Multi-stage BuildsDongjin Chen, Wenhua Yang, Minxue Pan, Yu Zhou2026
- BackportBench: A Multilingual Benchmark for Automated Patch BackportingZhiqing Zhong, Jiaming Huang, Pinjia He2026 · 被引用 1 次
- Balancing Latency and Accuracy of Code Completion via Local-Cloud Model CascadingHanzhen Lu, Lishui Fan, Jiachi Chen, Qiuyuan Chen 等2026 · 被引用 1 次
- Bash-Commenter: Leveraging Syntax-Aware Preference Optimization to Reinforce Large Language Model for Bash Code Comment GenerationLei Yu, Jingyuan Zhang, Xin Wang, Li Yang 等2026 · 被引用 1 次
- Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android AR Software with Comparison to Prior Bug StudiesTahmid Rafi, Xueling Zhang, Jianwei Niu, Xiaoyin Wang2026
- Beyond Language Boundaries: Uncovering Programming Language Families for Code Language ModelsShangbo Yun, Xiaodong Gu, Jianghong Huang, Beijun Shen2026
