Xingwen Xu Shinji Kimura Kazunari Horikawa Takehiko Tsuchiya Transition-based coverage estimation for symbolic model checking. 1-6 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118303 db/conf/aspdac/aspdac2006.html#XuKHT06