#harness-generation

共收录 2 条相关情报。

← 返回所有主题
学术论文2026-07-08 发布INFO

Thinking More, Harnessing Better: State Machine Guided Harness Automatic Generation with Project Digestion and Workflow Decomposition

该论文提出 SynapseFlow,一种基于状态机引导的自动化模糊测试 harness 生成工具,旨在解决现有大语言模型(LLM)单轮生成方法中因函数粒度过粗和生成流程错位导致的幻觉及覆盖率不足问题。SynapseFlow 的创新包括两点:

历史摘要 · 未重新核验 · arXiv cs.CR

学术论文2026-05-20 发布INFO

Quality-Assured Fuzz Harness Generation via the Four Principles Framework

本文针对C/C++软件中模糊测试(fuzz testing)的关键瓶颈——fuzz harness(连接模糊器和库API的程序)的正确性问题,提出了一种自动化生成高质量harness的系统QuartetFuzz。现有的自动化harness生

历史摘要 · 未重新核验 · arXiv cs.CR