1054 search results - page 44 / 211 » A Formalization of the Turing Test |
175
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
133
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
130
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
129
click to vote
FORTEST
2008
15 years 6 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
153
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...