4107 search results - page 69 / 822 » The Generalized Lambda Test |
124
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
133
click to vote
ENTCS
2002
15 years 4 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
127
click to vote
STOC
2003
ACM
16 years 5 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
123
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
ct This paper describes a general technique to test external memory/caches and memory interconnects using on-chip logic. Such a test methodology is expected to significantly reduc...
129
click to vote
IPSN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The issue of data association arises frequently in sensor networks; whenever multiple sensors and sources are present, it may be necessary to determine which observations...