1054 search results - page 13 / 211 » A Formalization of the Turing Test |
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
AML
2010
14 years 12 months ago
2010
A Schnorr test relative to some oracle A may informally be called "universal" if it covers all Schnorr tests. Since no true universal Schnorr test exists, such an A cann...
188
click to vote
AMW
2011
14 years 3 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
TAP
2007
Springer
15 years 6 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
FORTEST
2008
15 years 1 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...