Extended abstract: transition traversal coverage estimation for symbolic model checking.

Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

Browse the full MEMOCODE paper archive.