日本日报

动态检测可能不变量的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的输出被用于生成测试用例、预测组件集成中的不兼容、自动化定理证明、修复不一致的数据结构以及检查数据流的有效性等任务。

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

显示第1到第20个结果，共42个。

按年份排序(引用)

1 2 三 下一个

希拉·佩莱格；伊扎基，沙查尔；肖厄姆，沙龙；雅哈夫，伊兰：《谓词编程：交互式合成的正式模型》（2020）
Gupta，Shubhani；Saxena，Aseem；Mahajan，Anmol；Bansal，Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查（2018年）
Kiefer，Moritz；Klebanov，Vladimir；Ulbrich，Mattias:使用编译器IR进行关系程序推理（2018）
Kojima，Kensuke；Imanishi，Akifumi；Igarashi，Atsushi：无种族GPU程序功能正确性的自动验证（2018）
Daniel Nuwritia framework；Daniel Nuwrite framework，2017；Daniel Nuwrite框架；Daniel Nuwrite框架
Smallbone，Nicholas；Johansson，Moa；Claessen，Koen；Algeed，Maximilian：忙碌程序员的快速规范（2017）
Cassel，Sofia；Howar，Falk；Jonsson，Bengt；Steffen，Bernhard:扩展有限状态机的主动学习（2016）
林芳珍：离散线性序一阶逻辑程序的形式化（2016）
Sharma，Rahul；Aiken，Alex:使用随机搜索从不变检查到不变推理（2016）
Kirchner，Florent；Kosmatov，Nikolai；Prevosto，Virgile；Signoles，Julien；Yakobowski，Boris:Frama-C:软件分析视角（2015）ioport公司
Pedro Pinto，Rui Abreu，João M.P.Cardoso:使用范围值监控的C程序故障检测：初步结果（2015）阿尔十四
安娜州卡瓦尔坎蒂；史蒂夫•金；科林•奥哈洛兰；吉姆•伍德考克：通过证据控制覆盖率的测试数据生成（2014）
davidr.Cok:OpenJML：使用JML、OpenJDK和Eclipse的java7软件验证（2014）阿尔十四
Ghezzi，Carlo；Mocci，Andrea；Sangiorgio，Mario:无限状态抽象的合成及其在软件验证中的应用（2014）ioport公司
Isberner，Malte；Howar，Falk；Steffen，Bernhard：《学习寄存器自动机：从语言到程序结构》（2014）
Llano，Maria Teresa；Ireland，Andrew；Pease，Alison：通过自动理论形成发现不变量（2014）ioport公司
张志海（Deephai，Kapon checking，2013年）
Aarts，Fides；Heidarian，Faranak；Kuppens，Harco；Olsen，Petur；Vaandrager，Frits:通过反例引导的抽象提炼进行自动机学习（2012）
Christakis，Maria；Müller，Peter；Wüstholz，Valentin：《明确假设下的协同验证和测试》（2012）
da Costa，Umberto Souza；Moreira，Anamaria Martins；Musicante，Martin A.；Souza Neto，Plácido A.：JCML：Java卡程序运行时验证规范语言（2012）

1 2 三 下一个