Transition-based coverage estimation for symbolic model checking
Xingwen Xu
◽
S. Kimura
◽
K. Horikawa
◽
T. Tsuchiya
Y. Hoskote
◽
T. Kam
◽
Pei-Hsin Ho
◽
Xudong Zhao
Yatin Hoskote
◽
Timothy Kam
◽
Pei-Hsin Ho
◽
Xudong Zhao
2006 ◽
Vol E89-A
(12)
◽
pp. 3451-3457
X. XU
◽
S. KIMURA
◽
K. HORIKAWA
◽
T. TSUCHIYA
Xingwen Xu
◽
Shinji Kimura
◽
Kazunari Horikawa
◽
Takehiko Tsuchiya
Xingwen Xu
◽
S. Kimura
◽
K. Horikawa
◽
T. Tsuchiya
Xingwen Xu
◽
S. Kimura
◽
K. Horikawa
◽
T. Tsuchiya
2009 ◽
Vol 31
(2)
◽
pp. 245-252
◽
Li-Jun WU
◽
Jin-Shu SU
◽
Kai-Le SU
Sergey Berezin
◽
Armin Biere
◽
Edmund Clarke
◽
Yunshan Zhu
B. Chen
◽
M. Yamazaki
◽
M. Fujita
2005 ◽
Vol 24
(2)
◽
pp. 129-140
◽
Hyeong-Ju Kang
◽
In-Cheol Park