罗伯特·布鲁迈耶;弗洛里安·朗辛;阿明·比尔 SAT和QBF解算器的自动测试和调试。 (英语) Zbl 1306.68155号 Strichman,Ofer(编辑)等人,《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日,英国爱丁堡,第13届国际会议,SAT 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14185-0/pbk)。计算机科学课堂讲稿6175,44-57(2010)。 摘要:鲁棒性和正确性是SAT和QBF求解器的基本标准。我们开发了针对SAT和QBF解算器开发而设计和优化的自动化测试和调试技术。我们的模糊测试技术能够发现导致崩溃、无效满足任务和错误可满足性结果的关键求解器缺陷。此外,我们还表明,顺序和并发增量调试技术在最小化故障诱导输入方面非常有效。关于整个系列,请参见[Zbl 1196.68013号]. 引用于17文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 软件:Quaffle餐厅;魁北克++;快速检查;SMT-LIB公司;ManySAT公司;PicoSAT卫星;超小卫星;RSat公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Brummayer}等人,Lect。注释计算。科学。6175、44-57(2010年;Zbl 1306.68155) 全文: 内政部