University of Massachusetts Amherst.;
机译:基于单词级SAT的功能测试生成
机译:字形证据在正交学习中语音解码的作用:基于项目的假设的直接测试
机译:基于搜索的算法,用于功能测试中的测试序列生成
机译:在单元测试和集成测试中应用“基于功能场景”的测试用例生成方法
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:粘膜全身或混合初免-加强免疫后肠道粘膜中产生具有功能活性的HIV-1特异性CD8 + CTL
机译:基于模型的测试:下一代功能软件测试
机译:用于计算自动测试模式生成(aTpG)和可满足性的所有解决方案的决策选择和相关学习。