Kazunari Horikawa

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2006)
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Transition-based coverage estimation for symbolic model checking. ASP-DAC (2006)
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya
Extended abstract: transition traversal coverage estimation for symbolic model checking. MEMOCODE (2005)