Transition traversal coverage estimation for symbolic model checking

Xingwen Xu^*, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya

^*Corresponding author for this work

Graduate School of Information, Production and Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Engineering & Materials Science