Test Case Generation for Concurrent Systems Using Event Structures
2015 ◽
pp. 19-37
◽
Keyword(s):
2019 ◽
Vol 7
(9)
◽
pp. 95-101
2019 ◽
Vol 7
(2)
◽
pp. 1016-1019
Keyword(s):
2000 ◽
2018 ◽
Vol 11
(4)
◽
pp. 276-288
Keyword(s):
Keyword(s):
Keyword(s):