conformance testing; formal verification; network operating systems; program testing; symbol manipulation; .NET CIL code; XRT exploration engine; action machines; common intermediate language; conformance testing; labeled transition system; model composition; model;
机译:基于模型的变异测试的符号输入-输出一致性检查
机译:基于熵原理的本构质量符号计算框架
机译:计算模型作为探索均相催化中复杂的多步反应循环的工具。氢用作未来燃料框架内的一些示例
机译:动作机器-建立基于符号计算的模型组成,探索和一致性测试的框架
机译:基于统计机器学习的建模框架,用于多核处理器的设计空间探索和运行时跨栈能量优化。
机译:基于基本健康检查测试的高尿酸血症预测模型的机器学习探索
机译:行动机器–建立基于符号计算的模型组成,探索和一致性测试框架
机译:基于saT的抽象细化框架中重新参数化的符号模拟实验