机译:使用组合动态符号执行的浮点嵌入式软件的单元测试
机译:使用组成动态符号执行生成浮点嵌入式软件的单元测试
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:基于动态模型的嵌入式软件测试文档生成方法研究
机译:用于软件安装测试的基于模型的测试分析方法。
机译:在坦桑尼亚农村难以到达的地区通过移动/外联和基于设施的艾滋病毒检测模型建立的护理联动过程和动态。混合方法研究的定性发现
机译:使用组成动态符号执行生成浮点嵌入式软件的单元测试
机译:统计方法的软件测试:基于二项模型,覆盖设计,变异测试和使用模型的方法的初步成功估计