一句话：提出面向上下文无关属性的模糊测试，以发现由特定操作序列触发的软件缺陷。
模糊测试在发现软件缺陷方面十分有效，但现有模糊测试器难以发现由上下文无关属性描述的缺陷。此类缺陷仅在程序执行包含特定操作序列时触发，例如栈的 push/pop、锁的 lock/unlock。已有方法不支持非正则的上下文无关属性，而这类属性表达能力更强，可用于许多场景的缺陷规约。本文提出面向上下文无关属性的模糊测试（Context-Free Property Oriented Fuzzing），针对这一缺口，目标是对非正则上下文无关属性进行测试并暴露相关缺陷。摘要未报告具体实现技术与实验结果。
Fuzzing is effective for finding software bugs. However, the bugs specified in context-free properties are difficult for the existing fuzzers. These bugs are triggered when the program execution contains specific sequences of operations, e.g., push and pop operations on the stack, and locking and unlocking operations on the lock. As far as we know, existing approaches do not support fuzzing for non-regular context-free properties, which are more expressive and can be used to specify bugs in many scenarios.
DOI 原文 ·
@inproceedings{paperbot11610,
title = {Context-Free Property Oriented Fuzzing},
author = {Jiaqiang Yao and Meixi Liu and Zhenbang Chen and Yongchao Xing and Jinjian Luo and Yunlai Luo and Guofeng Zhang and Yufeng Zhang and Ji Wang},
booktitle = {ICSE},
year = {2026},
doi = {10.1145/3744916.3773273}
}