代码大模型 / AI 编程

TRACED: Execution-aware Pre-training for Source Code

Yangruibo Ding, Ben Steenhoek, Kexin Pei, Gail Kaiser, Wei Le, Baishakhi Ray

专题命中 测试生成 ：code model(abstract)；分类 cs.SE

Comments Accepted by ICSE 2024 (Early Cycle). Camera-ready is in preparation

KazakhTTS2: Extending the Open-Source Kazakh TTS Corpus With More Data, Speakers, and Topics

Saida Mussakhojayeva, Yerbolat Khassanov, Huseyin Atakan Varol

专题命中 测试生成 ：repository(abstract)；分类 cs.CL

Comments 8 pages, 2 figures, 5 tables, accepted to LREC 2022

QuSBT: Search-Based Testing of Quantum Programs

Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

On the Relation between Prediction and Imputation Accuracy under Missing Covariates

Burim Ramosaj, Justus Tulowietzki, Markus Pauly

专题命中 测试生成 ：repository(abstract)；分类 cs.LG

Comments Includes supplementary material

Morphological Reinflection with Multiple Arguments: An Extended Annotation schema and a Georgian Case Study

David Guriel, Omer Goldman, Reut Tsarfaty

专题命中 测试生成 ：repository(abstract)；分类 cs.CL

Comments ACL 2022

Basic Block Coverage for Search-based Unit Testing and Crash Reproduction

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman

专题命中 测试生成 ：unit test generation(abstract)；分类 cs.SE

A Framework for Real-World Multi-Robot Systems Running Decentralized GNN-Based Policies

Jan Blumenkamp, Steven Morad, Jennifer Gielis, Qingbiao Li, Amanda Prorok

专题命中 测试生成 ：repository(abstract)；分类 cs.LG

Comments Accepted at IEEE ICRA (International Conference on Robotics and Automation) 2022 Final Version (Camera Ready)

Automating Test Case Identification in Java Open Source Projects on GitHub

Matej Madeja, Jaroslav Porubän, Michaela Bačíková, Matúš Sulír, Ján Juhár, Sergej Chodarev, Filip Gurbáľ

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

Comments 30 pages, accepted in Computing and Informatics Journal - http://www.cai.sk, ISSN 2585-8807

Journal ref Computing and Informatics 40 (2021) 575-605

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Loris Bozzato, Thomas Eiter, Rafael Kiesel

专题命中 测试生成 ：repository(abstract)；分类 cs.AI

Comments Paper presented at the 37th International Conference on Logic Programming (ICLP 2021). 32 pages, 17 pages are appendix. (v2 updates: updated acknowledgements, added journal reference and DOI)

Journal ref Theory and Practice of Logic Programming, 21(5):593-609, 2021

Testing Reactive Systems Using Behavioural Programming, a Model Centric Approach

Yeshayahu Weiss

专题命中 测试生成 ：code model(abstract)；分类 cs.SE

Comments 31 pages, 7 figures

Methodology for Assessing the State of the Practice for Domain X

Spencer Smith, Jacques Carette, Peter Michalski, Ao Dong, Olu Owojaiye

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

Comments 35 pages, 3 figures

Tutorials on Testing Neural Networks

Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

What makes a good Node.js package? Investigating Users, Contributors, and Runnability

Bodin Chinthanet, Brittany Reid, Christoph Treude, Markus Wagner, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

Comments Submitted to ACM Transactions on Software Engineering and Methodology (TOSEM)

Automatically Assessing and Extending Code Coverage for NPM Packages

Haiyang Sun, Andrea Rosà, Daniele Bonetta, Walter Binder

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

Measuring Economic Policy Uncertainty Using an Unsupervised Word Embedding-based Method

Fatemeh Kaveh-Yazdy, Sajjad Zarifzadeh

专题命中 测试生成 ：repository(abstract)；分类 cs.CL

Comments 21 Pages, 8 Figures, 2 Tables, This article aimed at computing economic policy uncertainty of Iran for the first time using text mining techniques

The birth of Romanian BERT

Stefan Daniel Dumitrescu, Andrei-Marius Avram, Sampo Pyysalo

专题命中 测试生成 ：repository(abstract)；分类 cs.CL

Comments 5 pages (4 + reference page), accepted in Findings of EMNLP 2020

Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

专题命中 测试生成 ：program synthesis(abstract)；分类 cs.SE

Test Agents: Adaptive, Autonomous and Intelligent Test Cases

Eduard Enoiu, Mirgita Frasheri

专题命中 测试生成 ：software agent(abstract)；分类 cs.SE

Data-Driven Program Completion

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

专题命中 测试生成 ：repository(abstract)；分类 cs.PL

Auto-Documenation for Software Development

Thomas Zheng, Jeff Shaw, Sergey Kozlov

专题命中 测试生成 ：repository(abstract)；分类 cs.SE

Places: An Image Database for Deep Scene Understanding

Bolei Zhou, Aditya Khosla, Agata Lapedriza, Antonio Torralba, Aude Oliva

专题命中 测试生成 ：repository(abstract)；分类 cs.AI

Diffusion Models in Finance: A Survey

金融中的扩散模型：一项综述

Zhuohan Wang, Carmine Ventre

专题命中 测试生成 ：repository(abstract)

AI总结 该综述聚焦金融领域的扩散族生成模型，按金融数据类型分类梳理相关研究，是首个针对金融数据扩散族模型的专门综述，还开源了相关代码仓库。

A Unified [CII] Morpho-Kinematic Corpus for 31 Star-Forming Galaxies at z = 4.26-5.68: The High-z Kinematic Corpus Z1

统一 [CII] 运动学形态数据集：31 个 z=4.26-5.68 恒星形成星系的高红移运动学语料库 Z1

David C. Flynn

专题命中 测试生成 ：repository(abstract)

AI总结 基于 ALPINE 巡天数据，构建了 31 个高红移恒星形成星系的 [CII] 形态运动学结构化数据集，包含旋转曲线、动力学质量及分类信息，并公开了多格式数据与示例分析。

Comments 8 pages, 4 tables, 3 figures. Data descriptor for the High-z Kinematic Corpus Z1, the fourth corpus in the EPS Research RAG Astrophysics Corpus Series. Corpus deposited at Zenodo DOI: 10.5281/zenodo.20369285. Jupyter notebooks and figures included as ancillary files

When Agents Talk: Honeytokens under Shared Memory

当智能体对话时：共享内存下的蜜罐

Joshua S. Gans

专题命中 测试生成 ：repository(abstract)

AI总结 该研究通过2026年网络能力评估案例，分析共享内存下蜜罐的安全缺陷，提出将令牌身份存于私有引用监视器等架构应对方案，指出蜜罐仍需单独安全边界。

Comments artificial intelligence, cybersecurity, honeytokens, defensive deception, shared memory, intrusion detection

Understanding Inference-Time Token Allocation and Coverage Limits in Agentic Hardware Verification

理解代理硬件验证中推理时间标记分配与覆盖限制

Vihaan Patel, Vidya Chhabria, Aman Arora

专题命中 测试生成 ：coding agent(abstract)

AI总结 本文研究了代理硬件验证中推理时间标记分配与覆盖限制，通过两个层级的代理框架，分析覆盖孔径并改进效率，展示领域专业化如何提升覆盖效率。

Lost in Vagueness: Towards Context-Sensitive Standards for Robustness Assessment under the EU AI Act

迷失在模糊性中：迈向欧盟人工智能法案下稳健性评估的上下文敏感标准

Roberta Tamponi, Carina Prunkl, Thomas Bäck, Anna V. Kononova

专题命中 测试生成 ：repository(abstract)

AI总结 研究欧盟人工智能法案下稳健性定义及评估方法不明问题，指出其依赖于多种因素，提出上下文敏感的多层标准化框架，减少解释负担等。

VROOM-SBI: A Fast Simulation-Based Bayesian Inference Methodology for QU-Fitting

VROOM-SBI: 一种用于QU拟合的快速基于模拟的贝叶斯推断方法

Arpan Pal, Preshanth Jagannathan

专题命中 测试生成 ：repository(abstract)

AI总结 提出VROOM-SBI方法，利用基于模拟的推断（特别是神经后验估计）加速QU拟合，实现与经典方法相当的精度，速度提升约500倍。

Comments Submitted in AJ; Comments are welcome. 10 figures, 2 tables

Batch Me If You Can: Coverage-guided RPKI Fuzzing at Scale

Batch Me If You Can: 大规模覆盖引导的RPKI模糊测试

Haya Schulmann, Niklas Vogel

专题命中 测试生成 ：repository(abstract)

AI总结 针对RPKI软件现有模糊测试无法处理多对象加密仓库的局限性，提出基于连续采样和函数侧信道的覆盖归因技术，结合非顺序模糊测试与ASN.1变异引擎，实现66倍吞吐量提升并发现21个新漏洞。

Comments Published at IEEE S&P 2026

Spec2Cov: An Agentic Framework for Code Coverage Closure of Digital Hardware Designs

Spec2Cov: 一种用于数字硬件设计代码覆盖率闭合的代理框架

Sean Lowe, Elias Hilaneh, Alma Babbit, Nakul Gopalan, Vidya Chhabria, Aman Arora

专题命中 测试生成 ：code generation(abstract)

AI总结 本文提出了一种基于代理框架的代码覆盖率闭合方法，利用大型语言模型和硬件仿真器的协同工作，自动迭代生成测试刺激以加速覆盖率闭合，并在不同复杂度的设计上实现了高达49%的覆盖率。

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations

解释应包含什么？一种以人类为中心的解释内容模型用于局部、事后解释

Helmut Degen

专题命中 测试生成 ：code model(abstract)

AI总结 本文通过混合归纳-演绎定性内容分析，提出了一种包含14个代码的解释内容模型，用于工业AI系统的局部事后解释，通过专家审查和编码复现性验证其有效性。

Comments paper has 36 pages (without references), 2 figures, and 2 tables; appendix has 165 pages; submitted to International Journal of Human-Computer Studies