Automatic protocol test suite derivation
1994 ◽
Vol 17
(4)
◽
pp. 257-270
◽
2019 ◽
Vol 7
(1)
◽
pp. 99-107