1054 search results - page 63 / 211 » A Formalization of the Turing Test |
180
click to vote
SCN
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a protocol, that we call Human Key Agreement, that allows pairs of humans to establish a key in a (seemingly hopeless) case where no public-key infrastructure is avail...
141
click to vote
USS
2010
15 years 2 months ago
2010
Reverse Turing tests, or CAPTCHAs, have become an ubiquitous defense used to protect open Web resources from being exploited at scale. An effective CAPTCHA resists existing mechan...
137
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
120
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
115
click to vote
CACM
2010
15 years 4 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...