1054 search results - page 65 / 211 » A Formalization of the Turing Test |
116
click to vote
IJCAI
2007
15 years 6 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
135
click to vote
SOQUA
2004
15 years 6 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
159
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
146
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
117
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...