会员服务
软件工程 (Software Engineering) 是一门研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。
Understanding the Issues, Their Causes and Solutions in Microservices Systems: An Empirical Study
Arxiv
0+阅读 · 2月19日
What Makes a Good LLM Agent for Real-world Penetration Testing?
Arxiv
0+阅读 · 2月19日
The Runtime Dimension of Ethics in Self-Adaptive Systems
Arxiv
0+阅读 · 2月19日
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
Arxiv
0+阅读 · 2月18日
Mind the GAP: Text Safety Does Not Transfer to Tool-Call Safety in LLM Agents
Arxiv
0+阅读 · 2月18日
A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
Arxiv
0+阅读 · 2月18日
Not Only for Developers: Exploring Plugin Maintenance for Knowledge-Centric Communities
Arxiv
0+阅读 · 2月19日
Disjunction Composition of BDD Transition Systems for Model-Based Testing
Arxiv
0+阅读 · 2月19日
HAFix: History-Augmented Large Language Models for Bug Fixing
Arxiv
0+阅读 · 2月18日
huff: A Python package for Market Area Analysis
Arxiv
0+阅读 · 2月19日
The Case for HTML First Web Development
Arxiv
0+阅读 · 2月19日
Patch-to-PoC: A Systematic Study of Agentic LLM Systems for Linux Kernel N-Day Reproduction
Arxiv
0+阅读 · 2月18日
How AI Coding Agents Communicate: A Study of Pull Request Description Characteristics and Human Review Responses
Arxiv
0+阅读 · 2月19日
NESSiE: The Necessary Safety Benchmark -- Identifying Errors that should not Exist
Arxiv
0+阅读 · 2月18日
Robustness and Reasoning Fidelity of Large Language Models in Long-Context Code Question Answering
Arxiv
0+阅读 · 2月19日
参考链接
微信扫码咨询专知VIP会员
Top