scholarly journals Transition-based coverage estimation for symbolic model checking

Author(s):  
Xingwen Xu ◽  
S. Kimura ◽  
K. Horikawa ◽  
T. Tsuchiya
Sign in / Sign up

Export Citation Format

Share Document