1620 search results - page 74 / 324 » Testing Polymorphic Properties |
129
click to vote
IJNSEC
2008
15 years 2 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
131
Voted
TSE
2011
14 years 9 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
134
Voted
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
An operational framework is developed for testing stationarity relatively to an observation scale. The proposed method makes use of a family of stationary surrogates for defining ...
88
Voted
METRICS
2003
IEEE
15 years 7 months ago
2003
IEEE
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
101
click to vote
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...