会员服务
软件工程 (Software Engineering) 是一门研究和应用如何以系统性的、规范化的、可定量的过程化方法去开发和维护软件，以及如何把经过时间考验而证明正确的管理技术和当前能够得到的最好的技术方法结合起来的学科。
Revisiting Vulnerability Patch Identification on Data in the Wild
Revisiting Vulnerability Patch Identification on Data in the Wild
Arxiv
0+阅读 · 3月18日
A Longitudinal Study of Usability in Identity-Based Software Signing
A Longitudinal Study of Usability in Identity-Based Software Signing
Arxiv
0+阅读 · 3月17日
Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
Arxiv
0+阅读 · 3月17日
Semantics-Aligned, Curriculum-Driven, and Reasoning-Enhanced Vulnerability Repair Framework
Arxiv
0+阅读 · 3月18日
Detecting Data Poisoning in Code Generation LLMs via Black-Box, Vulnerability-Oriented Scanning
Arxiv
0+阅读 · 3月17日
This Is Taking Too Long -- Investigating Time as a Proxy for Energy Consumption of LLMs
Arxiv
0+阅读 · 3月16日
Beyond Grading Accuracy: Exploring Alignment of TAs and LLMs
Arxiv
0+阅读 · 3月17日
Unpacking Security Scanners for GitHub Actions Workflows
Arxiv
0+阅读 · 3月17日
LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
Arxiv
0+阅读 · 3月17日
ManiTwin: Scaling Data-Generation-Ready Digital Object Dataset to 100K
Arxiv
0+阅读 · 3月17日
IQuest-Coder-V1 Technical Report
Arxiv
0+阅读 · 3月17日
A Framework and Prototype for a Navigable Map of Datasets in Engineering Design and Systems Engineering
Arxiv
0+阅读 · 3月16日
DUCTILE: Agentic LLM Orchestration of Engineering Analysis in Product Development Practice
Arxiv
0+阅读 · 3月17日
SseRex: Practical Symbolic Execution of Solana Smart Contracts
Arxiv
0+阅读 · 3月17日
VERINA: Benchmarking Verifiable Code Generation
Arxiv
0+阅读 · 3月16日
参考链接
微信扫码咨询专知VIP会员
Top