Formal derivation of finite state machines for class testing
Leesa Murray
◽
David Carrington
◽
Ian MacColl
◽
Jason McDonald
◽
Paul Strooper
Leesa Murray
◽
David Carrington
◽
Ian MacColl
◽
Jason McDonald
◽
Paul Strooper
2020 ◽
Vol 7
(3)
◽
pp. 1-26
Peng Jiang
◽
Yang Xia
◽
Gagan Agrawal
Ivan S. Polevshchikov
◽
Elizaveta B. Krokha
1996 ◽
Vol 30
(3)
◽
pp. 59-66
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
E.E. Kuruoglu
◽
E. Ayanoglu
M. G. Gouda
◽
C. K. Chang
2010 ◽
Vol 46
(1)
◽
pp. 1-6
◽
1993 ◽
Vol 26
(2)
◽
pp. 689-692