会员服务
Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems
Arxiv
0+阅读 · 6月14日
Syntax-driven Incremental Program Verification of Matching Logic Properties
Arxiv
0+阅读 · 6月7日
Vibe-driven model-based engineering
Arxiv
0+阅读 · 5月31日
Agentic Generation and Evolution of Knowledge Models
Arxiv
0+阅读 · 6月4日
Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
Arxiv
0+阅读 · 5月27日
SoK: Post-Quantum Cryptography (PQC) Implementation in Software Systems
Arxiv
0+阅读 · 6月3日
SysLLMatic: Large Language Models are Software System Optimizers
Arxiv
0+阅读 · 5月5日
How Requirements Quality Makes (or Breaks) Traceability Link Recovery
Arxiv
0+阅读 · 6月10日
Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
Arxiv
0+阅读 · 5月1日
Do Privacy Policies Match with the Logs? An Empirical Study of Privacy Disclosure in Android Application Logs
Arxiv
0+阅读 · 4月20日
Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
Arxiv
0+阅读 · 3月25日
Managing Uncertainty in LLM-based Multi-Agent System Operation
Arxiv
0+阅读 · 2月26日
Every Maintenance Has Its Exemplar: The Future of Software Maintenance through Migration
Arxiv
0+阅读 · 2月15日
Environment-in-the-Loop: Rethinking Code Migration with LLM-based Agents
Arxiv
0+阅读 · 2月10日
LogicLens: Leveraging Semantic Code Graph to explore Multi Repository large systems
Arxiv
0+阅读 · 1月15日
参考链接
微信扫码咨询专知VIP会员
Top