• 科拉特

• 引用31篇文章[sw07259]
• 检查每个输出的正确性生成 测试 案例作为一种方法，Korat构造了。。。Korat是一种自动化技术测试 案例 一代：给定一个谓词和一个边界。。。证明它是可行的生成 测试 案例即使在。。。预期，实验表明科拉特产生 测试 案例比声明性框架快得多。。。

• 日本日报

• 引用了43篇文章[sw04319]
• 输出已用于生成 测试 案例，预测组件集成中的不兼容性，自动化定理。。。

• 快速检查

• 引用88篇[sw07277]
• 定义自定义测试数据发电机. 我们提供了一些案例研究，其中。。。指出一些要避免的陷阱。随机测试特别适用于函数程序，因为。。。

• 迪马奇

• 参考515篇文章[sw08221]
• 确定实际算法性能最差的地方案例分析过于悲观和概率模型。。。激励理论工作的问题。它也是测验关于实现方法和数据的许多假设。。。发展机会和测试问题实例，实例发电机以及其他方法测试...

• AETG公司

• 引用59篇文章[sw09715]
• 生成高水平的测试平面图和详图测试 案例. 在一些应用中，它大大。。。

• F外壳

• 引用8篇文章[sw14481]
• FShell:系统化试验 案件 代用于动态分析和测量。虽然主要的类比是。。。反例一代还有白盒子测试已经反复强调，使用模式和性能。。。测试完全不同于正式的验证。我们的工具FShell提供了一个通用的测试环境。。。描述支持高效的架构修改测试 案例 一代...

• 爬虫

• 在10篇文章中引用[sw07253]
• 自动化原型工具一代属于测试-案例满足严格的所有路径准则。。。代码，我们演示测试-案例 一代一个典型例子的过程。。。论证了严谨系统的可行性测试命令式语言编码的顺序程序。。。

• 可爱的

• 参考61篇文章[sw00177]
• 部分装置可以测试通过生成单个输入函数的输入。。。函数可以包含指针参数，其中案例装置的输入是存储器。。。本文讨论了单元自动化问题测试以内存图作为输入。方法。。。更具体地说，使用这种组合生成 测试为探索所有可行的执行提供投入。。。

• 盖特尔

• 引用16条[sw07255]
• 作为手段生成很多的测试 案例更能帮助锻炼身体。。。

• 酒精试验原

• 引用9篇文章【sw17720】
• TestGen是a是a是a测试 案例 发电机对于基于规范的单元测试. 酒精试验。。。

• jCUTE公司

• 在10篇文章中引用[sw26692]
• 这种组合，jCUTE能够生成 测试 案例执行许多不同的执行路径。。。

• 测试者

• 引用21篇文章[sw07258]
• Java程序。自动测试仪产生所有非同构测试 案例在给定的输入大小内。。。

• 温迪

• 参考6篇文章[sw01246]
• 从服务代理到测试 案例 一代.案件研究表明温迪有效地。。。

• Pex公司

• 参考33篇文章[sw07263]
• 自动生成小的测试通常实现高代码覆盖率的套件。合二为一案例学习。。。

• 地形图

• 引用42篇文章[sw02206]
• 生成通过标准和目标函数的全套组合，进行了计算测试... 其他作者。在某些方面案例这个新算法产生比最著名的解决方案更好。。。

• jPET公司

• 第3条引用[sw12788号]
• jPET：自动试验-案件 发电机对于Java。我们提供jPET，一个白色的盒子测试...案例 发电机（TCG）可用于Java应用程序的软件开发。。。自动获得测试-案例与Java程序相关联的字节码。jPET。。。

• Nat2测试

• 第3条引用[sw16844号]
• 全自动策略一代属于测试 案例从自然语言的要求，可能会考虑。。。当满足特殊条件时。试验 案例是生成可能使用商业工具（比如。。。哪一个案例这个测试 一代证明是正确的。NAT2TEST工具，支持该策略。。。

• 大门

• 参考6篇文章[sw06442]
• 使用高斯分布校准发电机作为测试 案例，被证明是非常有效的。。。

• 汽车发动机

• 第3条引用[sw09718]
• 介绍了AutoMOTGen，一种自动化工具测试 案例 一代（ATG）来自MATLAB Simulink/Stateflow（SL/SF）模型。。。

• 卡根

• 第3条引用[sw25442]
• 查询特定的测试 案例. 不幸的是，当前数据库发电机 生成独立于查询的数据库。。。生成 测试数据库可以获得与测试 案例...生成一测试然后查看它与特定测试 案例... 提议生成一个查询感知数据库测试 案例. 对此。。。