• 可爱的

  • 引用59篇文章[sw00177]
  • 基于以前的工作组合象征的混凝土执行更具体地说,使用这样的。。。生成测试输入以探索所有可行的执行路径。目前的工作发展了一种方法。。。捕捉到象征的 执行一个有记忆图的单位。。。
  • VeriFast公司

  • 在56篇文章中引用[sw07705]
  • 功能规范。验证过程由象征的 执行使用记忆的抽象表示。。。
  • 克莱

  • 引用了40篇文章[sw04894]
  • 复杂系统程序的覆盖测试。象征的 执行工具,克莱,能自动生成测试。。。
  • Pex公司

  • 引用32篇文章[sw07263]
  • 系统程序分析(使用动态象征的 执行,类似于路径边界模型检查)来确定。。。
  • 日本星

  • 引用32篇文章[sw11261]
  • 谓词族与象征的 执行以及使用分离逻辑的抽象。提议。。。
  • 爪哇凡

  • 引用了30篇文章[sw01934]
  • Java程序分析框架,可以象征性地 执行多线程程序,检测安全违规搜索。。。
  • Symstra公司

  • 引用18条[sw01296]
  • 使用生成面向对象的单元测试象征的 执行面向对象的单元测试由序列组成。。。使用象征的 执行方法序列的象征的论据。。。
  • MXNet公司

  • 引用25篇文章[sw20940]
  • 再加上一层象征的 执行速度快,节省内存。MXNet是便携式的。。。
  • 阿特根

  • 参考11篇文章[sw07275]
  • 使用约束逻辑编程和象征的 执行通过。。。尽管承诺很高象征的 执行这项技术最初被提出时就产生了。。。基于约束逻辑编程和象征的 执行. 在回顾了象征的 执行技术,方法。。。迄今为止阻止的困难象征的 执行从充分发挥潜力。。。
  • 示踪剂

  • 参考11篇文章[sw09484]
  • 示踪剂:A象征的 执行验证工具。TRACER是一种基于象征的... 跟踪器试图建立一个有限的象征的 执行一棵过度接近的树。。。解决了象征的 执行:数字上的路径的指数数量。。。象征的 执行进程。。。
  • JPF-SE公司

  • 在10篇文章中引用[sw12038]
  • 象征的 执行Java pathfinder的扩展。我们介绍JPF–SE,一个Java的扩展。。。检查框架(JPF),使象征的 执行Java程序。JPF–SE使用。。。生成和探索象征的 执行路径和它使用现成的决策程序。。。
  • jCUTE公司

  • 引用9篇文章[sw26692]
  • 执行结合随机混凝土执行具有象征的 执行以及自动约束求解。象征的 执行允许。。。
  • 毒蛇

  • 引用8篇文章[sw15038]
  • 用于这些逻辑的工具通常象征的 执行生成过验证条件。因此,支持工具。。。后端验证器:一个基于象征的 执行一个是验证条件生成。。。
  • 多重口齿

  • 参考33篇文章[sw09420]
  • Multilisp:并发语言象征的计算。Multilisp是Lisp方言的一个版本。。。平行结构执行. 与Scheme一样,Multilisp面向象征的计算。不像一些平行的。。。
  • 西格玛*

  • 引用8篇文章[sw21731]
  • 猜想和抽象。通过结合动态象征的 执行发现象征的输入输出步骤。。。
  • 考虑

  • 参考7篇文章[sw08962]
  • 基于传统的静态切片,象征的 执行以及定理证明。康斯特是第一个完全。。。
  • 限制

  • 在139篇文章中引用[sw00784]
  • 进一步开发方法,以及(作为Matlab®)可执行文件“用户”-计算工程师和教育工作者-谁希望。。。一些相当快的平台,(iii)Matlab®象征的pde和优化工具包,以及(iv)协议。。。
  • KJS公司

  • 引用5篇文章[sw18992]
  • 迄今为止JavaScript的形式语义。存在可执行文件,KJS已经过ECMAScript测试。。。其他语义学。KJS是象征性地 可执行文件从而可以用于形式化分析。。。
  • RGITL公司

  • 引用5篇文章[sw13917]
  • 基于象征的 执行归纳法,从序列的验证中知道。。。
  • 失败

  • 引用3篇文章[sw12793]
  • 基于浮点约束求解象征的 执行. 最近有一个热潮。。。基于软件测试(SBST)和动态象征的 执行(DSE)。这两种方法中的每一种。。。