A test suite generation method for extended finite state machines using axiomatic semantics approach
1992 ◽
pp. 29-43
◽
Keyword(s):
2014 ◽
Vol 47
(2)
◽
pp. 376-382
◽
Keyword(s):
Keyword(s):