6800 search results - page 46 / 1360 » Testing with Functions as Specifications |
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This is the first part of a tutorial discussing the major strategies and methodologies by which a test of the Null hypothesis of no Torah effect can be done. The basic concepts of...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
FLAIRS
2006
13 years 9 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
MMSEC
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we propose a secure biometric based authentication scheme which fundamentally relies on the use of a robust hash function. The robust hash function is a one-way tra...