· software
[Paper] LLMs 驱动的实时故障注入：面向智能故障测试用例生成的方法
一种广为人知的用于汽车软件系统（ASSs）安全评估和实时验证的测试方法是故障注入（Fault Injection，FI）。根据……
-
- · ai
[论文] LLMs 能恢复程序语义吗？使用 Symbolic Execution 的系统性评估
Obfuscation 对于软件工程任务（如程序理解、维护、测试和漏洞检测）构成了持续的挑战。While …
- · ai
[Paper] Lehmer 码的理论与实证分析：使用进化算法搜索置换空间
对候选解表示的恰当选择对于进化算法及相关元启发式方法的效率至关重要。我们关注……
- · software
[Paper] LLMAID：使用大型语言模型识别 Android 应用中的 AI 能力
Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highli...
- · ai
[Paper] LLM驱动的内核演进：在 Linux 中自动化驱动更新
Linux 内核演进通过 API/ABI 变更、语义转变以及安全强化更新破坏驱动程序。我们介绍 **DRIVEBENCH**，一个可执行的语料库……
- · software
[Paper] 面向优化的深度学习编译器测试生成
Deep Learning（DL）编译器已被广泛用于优化 DL 模型，以实现跨各种硬件的高效部署。由于它们在 DL...
- · software
[Paper] VecIntrinBench：用于 RISC‑V 向量的跨架构内在代码迁移基准测试
内在函数是编译器提供的专用函数，能够高效地在特定架构的硬件上运行，使程序员能够编写…
- · ai
[论文] 时间旅行：使用 Git Bisect 的 LLM 辅助语义行为定位
我们提出了一个新颖的框架，将大型语言模型（LLMs）集成到 Git bisect 过程中，以实现语义故障定位。传统的 bisect 假设……
- · ai
[论文] 使用开发者行为遥测进行预过滤代码建议以优化 LLM 辅助编程
大型语言模型（LLMs）正日益被集成到代码编辑器中，以提供 AI 驱动的代码建议。然而，许多这些建议被忽视、重新…
- · ai
[Paper] 优化 LLM 代码建议：基于反馈的时序与轻量状态界限
大型语言模型（LLMs）通过生成上下文感知的建议，彻底改变了代码自动补全。然而，何时向用户展示这些建议仍是一个挑战……
- · software
[Paper] 摘要介导的修复：大型语言模型能否将代码摘要用作程序修复的工具？
大型语言模型（LLMs）即使在基准测试中表现强劲，也常常生成带有细微实现层面错误的代码。这些错误对LLMs来说很难……
- · ai
[Paper] 建模神经胶质细胞的生物电状态转变：一种受 ASAL 启发的计算方法用于胶质母细胞瘤的起始
理解胶质母细胞瘤（GBM）如何从最初健康的胶质组织中出现，需要整合生物电、代谢以及多细胞动力学的模型。