4457 search results - page 39 / 892 » Tests of Machine Intelligence |
GI
2009
Springer
13 years 7 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
IJCAI
2007
13 years 11 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
ACL
2011
2011
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
13 years 1 months ago
In statistical machine translation, a researcher seeks to determine whether some innovation (e.g., a new feature, model, or inference algorithm) improves translation quality in co...
COMCOM
1999
13 years 9 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...