• TPTP

  • 参考文献368篇[sw04143]
  • Provers)是一个测试的问题自动化定理证明系统。TPTP。。。与:ATP综合库测试今天可用的问题,为了。。。
  • 投掷

  • 引用68篇文章[sw07260]
  • 飞镖:定向自动化随机测试. 我们提出了一个新的工具,名为DART,用于自动测试... 结合了三种主要技术的软件:(1)自动化程序接口的提取。。。代码解析;(2)自动生成测试此接口的驱动程序执行随机。。。这三种技术共同构成了定向自动化随机测试或简称飞镖。主要。。。
  • 科拉特

  • 引用31篇文章[sw07259]
  • 科拉特:自动化 测试基于Java谓词,本文提出了一个新的框架Korat。。。自动化 测试Java程序。给出一个方法的正式规范,Korat使用。。。
  • 可爱的

  • 参考58篇文章[sw00177]
  • 功能。装置的一部分可以测试通过为单个条目生成输入。。。论文讨论了自动化单元测试以内存图作为输入。方法。。。
  • 人力资源

  • 引用了29篇文章[sw10392]
  • 定理生成程序。自动化理论的形成包括利益对象、概念的产生。。。产生大量的定理测试 自动化定理证明者(ATP),或更小的数字。。。自动化TPTP库的定理证明和基准定理的产生测试...
  • 测试者

  • 引用21篇文章[sw07258]
  • TestEra:一个新的框架自动化 测试一个新颖的Java程序,我们。。。框架自动化 测试Java程序。TestEra自动生成所有非同构的测试案例。。。
  • 盖特尔

  • 引用16条[sw07255]
  • GATeL:自动试验从光泽描述生成GATeL是一个由法国开发的工具。。。主要目的是自动化这个测试关键控制应用阶段。关键点。。。那个自动化不是用来产生大量测试案例,但是。。。
  • VTune

  • 引用18条[sw08852]
  • 快速洞察性能瓶颈。自动化回归测验利用强大的。。。
  • SifDec公司

  • 在194篇文章中引用[sw04087]
  • 最初发布的可爱,被广泛使用测试介绍了优化软件环境。。。软件包,以及一个相当简单和完整的自动化unix系统的安装过程。环境。。。具有对SIF的简单扩展测试问题格式和文件的生成适合。。。
  • 单位

  • 引用21篇文章[sw06566号]
  • UniTESK是一种软件技术测试基于正式规范。说明书是用。。。高级数学算法使自动化产生测试规范中的顺序,确保可靠测试...
  • ILTP

  • 引用23条[sw00437]
  • 图书馆为测试和标杆管理自动化定理证明系统。。。
  • 朱尼特

  • 引用了29篇文章[sw07262]
  • 使写作单元测验更容易的。它使用一个正式的规范语言的运行时。。。因此,工作正常自动化单位的书写测试神谕。这些神谕很容易。。。
  • 阿加莎

  • 在10篇文章中引用[sw02930]
  • 在CEA/LIST开发。它是一个自动化 测试并发单元通信规范生成器。。。
  • 日本日报

  • 引用42篇文章[sw04319]
  • 用于生成测试案例,预测组件集成中的不兼容性,自动化定理证明,修复不一致。。。
  • 射击类游戏

  • 引用21篇文章[sw07274]
  • 生成符号的工具测试操作规范中的程序和预言。我们报告。。。我们开发的工具自动化推导测验根据规范。该工具实现。。。
  • lbtt公司

  • 参考7篇文章【sw29442】
  • 翻译测试台。lbtt是一种用于测试翻译命题公式的程序。。。Büchi翻译算法通过提供一个自动化 测试LTL-to-Büchi翻译的环境。另外。。。
  • 阿盖迪斯

  • 参考7篇文章【sw32266】
  • 基于模型的AGEDIS工具测试. 我们描述了所创建的工具和接口。。。方法和工具自动化模型驱动测试分布式系统的生成和执行。。。基于模型测试方法论的特点是自动化还包括。。。覆盖率和缺陷分析工具测试生成器和执行框架。原型。。。
  • 轻松检查

  • 参考12篇文章[sw09735]
  • 呈现轻量级,自动化基于规范的工具测试写的声明性程序。。。