Extended abstract: transition traversal coverage estimation for symbolic model checking. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (MEMOCODE, 2005)

Transition-based coverage estimation for symbolic model checking. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (ASP-DAC, 2006)

Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)