1054 search results - page 75 / 211 » A Formalization of the Turing Test |
141
Voted
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
126
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
135
click to vote
HVC
2005
Springer
15 years 10 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
114
click to vote
ICOIN
2001
Springer
15 years 9 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
148
Voted
ASPDAC
1998
ACM
15 years 9 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...