11172 search results - page 261 / 2235 » Testing Physical Systems |
180
click to vote
ROBOCUP
2000
Springer
15 years 10 months ago
2000
Springer
In the RoboCup Rescue Simulation Project, several kinds of simulator such as Building-Collapse and Road-Blockage Simulator, Fire Spread Simulator and Tra c Flow Simulator are expec...
201
click to vote
ACL
2011
2011
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
14 years 10 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...
159
click to vote
ICST
2009
IEEE
16 years 1 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...
162
click to vote
TACAS
2005
Springer
16 years 3 days 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...
212
click to vote
GECCO
2008
Springer
15 years 7 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...