1253 search results - page 11 / 251 » Exploration Testing |
107
click to vote
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
IAT
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper discusses applying the social behaviour of bees to the web search. We proposed an on-line search of the user’s predefined group of pages. In particular, this approac...
115
click to vote
ICST
2011
IEEE
14 years 3 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
ET
2007
14 years 11 months ago
2007
In this paper, we explore general conditions for the oscillation based test of switched-capacitor biquad filter stages. Expressions describing the characteristics of a filter stage...