370 search results - page 12 / 74 » Object-Oriented Abstract State Machines |
APAL
2005
15 years 4 months ago
2005
LMCS
2007
15 years 4 months ago
2007
CORR
1998
Springer
15 years 3 months ago
1998
Springer
158
click to vote
ISSRE
2002
IEEE
15 years 9 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...
146
click to vote
DAC
1996
ACM
15 years 8 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...