85.15578 a design verif system
10.757999 the test system
18.856026 the respons of the devic
11.872741 the respons of a devic under t
53.29875 the input stimuli
30.526396 the correl
29.562706 test coverag for the devic und
41.412052 qualiti of function verif
30.976837 iter test of a devic under tes
89.92301 correl engin
36.631573 an automat correl
60.43114 a set of test stimuli for appli
61.084522 a pseudo random exercis
74.62076 a new set of stimuli
88.99315 a devic under test
