1722 search results - page 105 / 345 » Generating Tests from Counterexamples |
143
Voted
JDCTA
2010
14 years 9 months ago
2010
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...
116
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
118
Voted
HAPTICS
2010
IEEE
15 years 7 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
107
Voted
SMA
1999
ACM
15 years 7 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
128
Voted
TREC
2004
15 years 4 months ago
2004
We approached the problem of classifying papers for the TREC 2004 Genomics Track triage task as a four step process: feature generation, feature selection, classifier training, an...