6704 search results - page 238 / 1341 » Testing Scenario-Based Models |
165
click to vote
TSE
2002
15 years 6 months ago
2002
This paper presents a new approach to software reliability modeling by grouping data into clusters of homogeneous failure intensities. This series of data clusters associated with...
254
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We address the problem of weakly supervised semantic segmentation. The training images are labeled only by the classes they contain, not by their location in the image. On test im...
178
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
189
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
153
click to vote
JAPLL
2006
15 years 6 months ago
2006
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...