Transition-based coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Browse the full ASPDAC paper archive.