• 可爱

  • 58篇参考文献[SW0177]
  • 基于以前的工作合并象征的混凝土执行,更具体地说,使用这样的…生成测试输入以探索所有可行的执行路径。目前的工作发展了一种方法…捕捉A的行为象征的 执行一个具有记忆图的单位…
  • 验证程序

  • 52篇参考文献[SW07705]
  • 规范的功能。通过验证进行象征的 执行使用内存的抽象表示…
  • 克利

  • 38篇参考文献[SW0894]
  • 复杂系统程序的覆盖测试。象征的 执行工具,KLee,能够自动生成测试…
  • 聚乙二醇

  • 32篇参考文献[SW07263]
  • 系统程序分析(动态使用)象征的 执行,类似于路径有界模型检查)来确定…
  • 杰斯塔

  • 30篇参考文献[SW11261 ]
  • 谓词族及其概念象征的 执行使用分离逻辑进行抽象。提议的…
  • 贾瓦凡

  • 29篇参考文献[ SW01934 ]
  • Java程序分析框架,可以象征性地 执行多线程程序,检测安全违规搜索通过…
  • 交汇点

  • 18篇参考文献[SW01296]
  • 使用面向对象的单元测试生成象征的 执行面向对象的单元测试由序列组成。使用测试实现两个测试生成任务象征的 执行方法序列与象征的论据。。。
  • 示踪剂

  • 11篇参考文献[SW0944]
  • 示踪剂:A象征的 执行验证工具。TraceR是一种基于象征的建立有限元的示踪尝试象征的 执行超过…的树解决两个根本的局限性象征的 执行指数上的指数路径数…内的反例制导细化阶段象征的 执行过程…
  • 阿特根

  • 10篇参考文献[SW07255]
  • 基于约束逻辑程序设计的生成方法象征的 执行通过……验证和验证软件。尽管高度承诺象征的 执行首次提出的技术…基于约束逻辑程序设计象征的 执行. 回顾之后象征的 执行技术、途径…迄今为止防止的困难象征的 执行从充分发挥潜能…
  • MXNET

  • 18篇参考文献[SW20940]
  • 在上面的一层象征的 执行快速、高效记忆。MXNet是便携式的…
  • JPF-SE

  • 10篇参考文献[ SW120 38 ]
  • 象征的 执行扩展到Java探路者。我们介绍JPF-SE,Java的扩展…启用框架的检查框架(JPF)象征的 执行Java程序。JPF-SE使用…生成与探索象征的 执行路径和它使用现成的决策程序…
  • 杰克

  • 9篇参考文献[SW26692]
  • 执行结合随机混凝土执行象征的 执行自动约束求解。象征的 执行允许。。。
  • 多语种

  • 33篇参考文献[SW09420]
  • Multilisp:一种并发语言象征的计算。MultLisp是LISP方言的一个版本…并行构造执行. 与方案一样,MultLISP面向象征的计算。不像一些平行的…
  • 蝰蛇

  • 6篇参考文献[SW150 38 ]
  • 这些逻辑的工具通常是赞成的。象征的 执行过验证条件生成。因此,工具支持…后端验证程序:基于象征的 执行和一个验证条件生成…
  • 西格玛*

  • 7篇参考文献[SW2173]
  • 猜想和抽象。结合动态象征的 执行发现象征的输入输出步骤…
  • 考虑到

  • 7篇参考文献[ SW08962]
  • 在常规静态切片的基础上,象征的 执行定理证明。第一个是完全…
  • KJS

  • 5篇参考文献[SW1892]
  • JavaScript到现在的形式语义。存在可执行文件KJS已经针对ECMAScript进行了测试。其他语义学。KJS是象征性地 可执行文件从而可用于形式化分析。
  • RGITL

  • 5篇参考文献[SW13917]
  • 基于原则象征的 执行并归纳,从序列验证中得知…
  • RBMIT

  • 126篇参考文献[SW0784]
  • 进一步发展该方法,(作为Matlab®)可执行文件“用户”-计算工程师和教育者-谁希望…一些合理的快速平台,(iii)Matlab®象征的,PDE和优化工具包,以及(iv)协议…
  • 弗洛普西

  • 3篇参考文献[SW12793]
  • 基于浮点约束求解象征的 执行. 最近出现了一股热潮……基于软件测试(SBST)和动态象征的 执行(DSE)。这两种方法中的每一种…