[ 下载 |概述 |出版物 |许可证 ]

下载

• 源代码可从项目网页属于QBFuzz公司。

概述

QBFuzz是中量化布尔公式的模糊器QDIMACS格式.它生成关于某些参数的随机QBF，例如变量数量、子句数量、最小/最大子句长度等。QBFuzz不使用固定参数值，而是使用范围值，这可能会增加生成的公式。与结合时三角洲债务，QBFuzz可以是有效用于QBF解算器的自动测试。这个想法是快速向QBF求解器提供随机公式，以便触发“罕见”错误（例如角落案例、复杂数据结构）使用单元测试等技术可能无法检测到。有关更多信息，请参阅README文件。

出版物

纸类和谈话SAT’10。

许可证

QBFuzz由Mathias Preiner作为学士项目开发。它发布于GNU（全球导航单元）GPLv3级。另请参阅作为分配。