Transition-based coverage estimation for symbolic model checking
2006 ◽
Vol E89-A
(12)
◽
pp. 3451-3457
Keyword(s):
2009 ◽
Vol 31
(2)
◽
pp. 245-252
◽
Keyword(s):
2005 ◽
Vol 24
(2)
◽
pp. 129-140
◽