## Efficient checking sequences for testing finite state machinesİnan, Kemal and Ural, H. (1999) Full text not available from this repository. Official URL: http://dx.doi.org/10.1016/S0950-5849(99)00038-5 ## AbstractA general model for constructing minimal length checking sequences is proposed. The model is based on the characteristics of checking sequences and sets of state identification and verification sequences. Some existing methods are shown to be special cases of the proposed model. The minimality of the resulting checking sequences is discussed and heuristic algorithms for the construction of minimal length checking sequences given.
Repository Staff Only: item control page |