1054 search results - page 56 / 211 » A Formalization of the Turing Test |
153
click to vote
ICCD
2000
IEEE
15 years 8 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
124
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
132
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
119
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
173
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...