370 search results - page 12 / 74 » Object-Oriented Abstract State Machines |
APAL
2005
14 years 11 months ago
2005
LMCS
2007
14 years 11 months ago
2007
CORR
1998
Springer
14 years 11 months ago
1998
Springer
102
click to vote
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
108
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...