日本日报

动态检测可能不变量的Daikon系统。Daikon是可能不变量的动态检测的实现；也就是说，Daikon不变检测器报告可能的程序不变量。不变量是在程序中的某个或多个特定点处保持不变的属性；这些属性通常用于断言语句、文档和正式规范中。示例包括常量$（x=a）$、非零$（x eq 0）$、在范围$（a leq x leq b）$、线性关系$（y=ax+b）$、排序$（x leq y）$、库函数（$x=fn（y））$、包含$（x in y）$、排序（$x$已排序）等等。用户可以扩展Daikon来检查其他不变量。动态不变检测运行一个程序，观察程序计算的值，然后报告在观察到的执行中为真的属性。动态不变检测是一种可以应用于任意数据的机器学习技术。Daikon可以检测C、C++、Java和Perl程序以及记录结构化数据源中的不变量；很容易将Daikon扩展到其他应用程序。不变量在程序理解和许多其他应用程序中都很有用。Daikon的输出被用于生成测试用例、预测组件集成中的不兼容、自动化定理证明、修复不一致的数据结构以及检查数据流的有效性等任务。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（引用于，1标准件)

显示第1到第20个结果，共43个。
按年份排序(引用)
  1. 希拉·佩莱格；伊扎基，沙查尔；肖厄姆，沙龙；雅哈夫，伊兰：《谓词编程：交互式合成的正式模型》（2020）
  2. Gupta，Shubhani；Saxena，Aseem；Mahajan，Anmol；Bansal，Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查（2018年）
  3. Kiefer，Moritz；Klebanov，Vladimir；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
  4. Kojima，Kensuke；Imanishi，Akifumi；Igarashi，Atsushi：无种族GPU程序功能正确性的自动验证（2018）
  5. 阿普特，马利亚；帕多，丹尼尔；维拉纽娃，艾丽西亚：重写框架中的象征性抽象合同合成（2017）
  6. Smallbone，Nicholas；Johansson，Moa；Claessen，Koen；Algeed，Maximilian：忙碌程序员的快速规范（2017）
  7. Cassel，Sofia；Howar，Falk；Jonsson，Bengt；Steffen，Bernhard:扩展有限状态机的主动学习（2016）
  8. 林芳珍：离散线性序一阶逻辑程序的形式化（2016）
  9. Sharma，Rahul；Aiken，Alex:使用随机搜索从不变检查到不变推理（2016）
  10. Kirchner，Florent；Kosmatov，Nikolai；Prevosto，Virgile；Signoles，Julien；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
  11. Pedro Pinto，Rui Abreu，João M.P.Cardoso:使用范围值监控的C程序故障检测：初步结果（2015）第十四章
  12. 安娜州卡瓦尔坎蒂；史蒂夫•金；科林•奥哈洛兰；吉姆•伍德考克：通过证据控制覆盖率的测试数据生成（2014）
  13. davidr.Cok:OpenJML：使用JML、OpenJDK和Eclipse的java7软件验证（2014）第十四章
  14. Ghezzi，Carlo；Mocci，Andrea；Sangiorgio，Mario:无限状态抽象的合成及其在软件验证中的应用（2014）ioport公司
  15. Isberner，Malte；Howar，Falk；Steffen，Bernhard：《学习寄存器自动机：从语言到程序结构》（2014）
  16. Konur，Savas:迈向轻量化概率模型检验（2014）
  17. Llano，Maria Teresa；Ireland，Andrew；Pease，Alison：通过自动理论形成发现不变量（2014）ioport公司
  18. 张志海；卡普尔，迪帕克：关于不变检验（2013）
  19. Aarts，Fides；Heidarian，Faranak；Kuppens，Harco；Olsen，Petur；Vaandrager，Frits:通过反例引导的抽象提炼进行自动机学习（2012）
  20. Christakis，Maria；Müller，Peter；Wüstholz，Valentin：《明确假设下的协同验证和测试》（2012）