机译:使用保证故障覆盖测试定时无限制的有限状态机
Tomsk State University;
Department of Computer Science and Engineering American University of Sharjah;
Tomsk State University;
Tomsk State University;
Timed Finite State Machine; non-deterministic Timed Finite State Machine; test derivation; fault domain;
机译:使用保证故障覆盖测试定时无限制的有限状态机
机译:具有超时的不确定性有限状态机的派生测试套件
机译:非确定性有限状态机的自适应区分测试用例:测试用例推导和长度估计
机译:保证故障覆盖范围的交互式定时有限状态机测试系统
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:考虑故障排除效率和错误产生的测试覆盖软件可靠性模型
机译:在有限状态机测试时,改善故障覆盖范围并最大限度地降低故障识别成本