7766 search results - page 144 / 1554 » Testing Nondeterminate Systems |
146
Voted
ACL
2011
2011
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
14 years 6 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...
114
Voted
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Software products released into the field typically have some number of residual defects that either were not detected or could not have been detected during testing. This may be...
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
162
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...
105
Voted
TCAD
2002
15 years 2 months ago
2002
Test scheduling is an important problem in system-on-a-chip (SOC) test automation. Efficient test schedules minimize the overall system test application time, avoid test resource c...