1054 search results - page 36 / 211 » A Formalization of the Turing Test |
135
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
114
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
126
click to vote
PTS
2000
15 years 3 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
127
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
133
click to vote
FORTEST
2008
15 years 3 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...