Kazunari Horikawa

	2006
3		Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya: Transition-based coverage estimation for symbolic model checking. ASP-DAC 2006: 1-6
2		Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya: Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification. IEICE Transactions 89-A(12): 3451-3457 (2006)
	2005
1		Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya: Extended abstract: transition traversal coverage estimation for symbolic model checking. MEMOCODE 2005: 259-260

Coauthor Index

1	Shinji Kimura	[1] [2] [3]
2	Takehiko Tsuchiya	[1] [2] [3]
3	Xingwen Xu	[1] [2] [3]