1620 search results - page 94 / 324 » Testing Polymorphic Properties |
157
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
147
click to vote
ESE
2006
15 years 4 months ago
2006
This paper presents results from a comparative evaluation of five combination strategies. Combination strategies are test case selection methods that combine "interesting&quo...
123
click to vote
STOC
2004
ACM
16 years 5 months ago
2004
ACM
The complexity of testing properties of monotone and unimodal distributions, when given access only to samples of the distribution, is investigated. Two kinds of sublineartime alg...
139
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
137
Voted
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...