go-back function; model-based testing; mutation testing; pushdown automata;
机译:使用下推自动机进行基于模型的变异测试
机译:使用下推自动机进行基于模型的变异测试
机译:评论“基于完全剩余格值逻辑的自动机理论:下推自动机”
机译:基于下推自动机的“回归”功能的突变测试
机译:基于矩的高效置换测试:框架,方法和应用程序。
机译:基于细胞和液体基尿液试验的有用性在澄清诊断和监测尿路上皮癌过程中。鉴定新颖潜在可操作RB1和ERBB2体细胞突变
机译:基于不清晰量子逻辑的计算理论:有限状态自动机和下推自动机