10715 search results - page 198 / 2143 » Proofs from Tests |
138
click to vote
ICGA
2010
14 years 7 months ago
2010
The debate in philosophy and cognitive science about the Chinese Room Argument has focused on whether it shows that machines can have minds. We present a quantitative argument whi...
107
Voted
EUROCAST
2009
Springer
15 years 7 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
AGILEDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This experience report describes the challenges and initial steps taken to move a large development team from traditional waterfall test phases to agile test methods. In late 2007...
MSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
119
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Testing is a vital part of software development, and spreadsheets are like any other software in this respect. This paper discusses the testing of spreadsheets in the light of one...