| |
| 2006 | ||
|---|---|---|
| 3 | EE | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya: Transition-based coverage estimation for symbolic model checking. ASP-DAC 2006: 1-6 |
| 2 | EE | 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 | EE | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya: Extended abstract: transition traversal coverage estimation for symbolic model checking. MEMOCODE 2005: 259-260 |
| 1 | Shinji Kimura | [1] [2] [3] |
| 2 | Takehiko Tsuchiya | [1] [2] [3] |
| 3 | Xingwen Xu | [1] [2] [3] |