FSM testing; Fault models; Checking sequence; Mutation machine;
机译:repDNA:Python软件包,通过结合用户定义的理化特性和序列顺序效应来生成DNA序列的各种特征向量模式
机译:自然的虚拟现实用户界面,可为数字人体模型定义装配顺序
机译:吸毒者如何界定他们在减少伤害计划中的进展?定性研究以开发用户生成的结果
机译:生成用户定义故障模型的检查序列
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:吸毒者如何界定他们在减少危害计划中的进展?定性研究以开发用户生成的结果
机译:为用户定义的故障模型生成检查序列
机译:类型检查mini-m1:具有用户定义语法的代数规范