机译:使用延长有限状态机的保证故障覆盖提供测试套件
Tomsk State University;
Tomsk State University;
mutation testing; extended finite state machine (EFSM); FSM abstraction; μJava;
机译:使用延长有限状态机的保证故障覆盖提供测试套件
机译:减少基于FSM的测试套件,并保证故障覆盖率
机译:具有超时的不确定性有限状态机的派生测试套件
机译:带有超时的有限状态机的具有保证故障覆盖率的派生测试
机译:鉴于其故障覆盖率,开发一致性测试套件。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:在有限状态机测试时,改善故障覆盖范围并最大限度地降低故障识别成本