University of Pennsylvania, Department of Electrical and Systems Engineering,200 South 33rd Street, Philadelphia PA-19104, USA;
University of Pennsylvania, Department of Computer and Information Sciences,200 South 33rd Street, Philadelphia PA-19104, USA;
机译:连续和混合系统的覆盖率指导测试生成
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:混合系统的强大测试生成和覆盖
机译:使用模型检查器自动生成具有改进的测试覆盖范围的VHDL测试用例。
机译:东非艾滋病毒检测覆盖率高的混合移动多疾病混合检测方法的成本和效率
机译:混合系统的可靠测试生成和覆盖范围