1054 search results - page 17 / 211 » A Formalization of the Turing Test |
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
DAC
2001
ACM
16 years 24 days ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
111
click to vote
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...