Department of Computer Science, The University of Sheffield, Sheffield, UK;
Department of Computer Science, The University of Sheffield, Sheffield, UK;
Department of Computer Science, The University of Sheffield, Sheffield, UK;
reverse engineering; model-based testing; erlang;
机译:使用探索性测试对模型进行自动优化以进行基于模型的测试
机译:高分辨率CT与基于模型的基于迭代优先重构的新模型的迭代重建在肺结节评估中的应用:与基于传统模型的迭代重建和自适应统计迭代重建的比较
机译:通过符号细化检查进行基于模型的变异测试
机译:基于模型的测试迭代改进反向设计模型
机译:用于单能和双能X射线CT的基于模型的迭代重建的高级统计模型。
机译:迭代构建的OMIT地图:通过迭代模型构建和完善而不会引起模型偏差的地图改进
机译:通过基于模型的测试对反向工程模型进行迭代细化