Checking Completeness of Tests for Finite State Machines

[摘要]：In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test s

[全文传递流程]：

一般上传文献全文的时限在1个工作日内