121 search results - page 1 / 25 » Using adaptive distinguishing sequences in checking sequence... |
SAC
2008
ACM
13 years 4 months ago
2008
ACM
TC
2002
13 years 4 months ago
2002
-- Here the method proposed in [13] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of t...
ASE
2010
13 years 4 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
BMCBI
2007
13 years 4 months ago
2007
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
PTS
2008
13 years 6 months ago
2008
The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...