5855 search results - page 55 / 1171 » Test generation and minimization with |
154
click to vote
GLVLSI
2009
IEEE
14 years 11 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
120
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
ENTCS
2006
15 years 1 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
140
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
ITC
1991
IEEE
15 years 4 months ago
1991
IEEE
Two approaches have been used to balance the cost of generating e ective tests for ICs and the need to increase the ICs' quality level. The rst approach favorsusing high-leve...