11172 search results - page 357 / 2235 » Testing Physical Systems |
180
click to vote
LREC
2008
15 years 8 months ago
2008
In aiming at research and development on machine translation, we produced a test collection for Japanese-English machine translation in the seventh NTCIR Workshop. This paper desc...
201
click to vote
ENTCS
2010
15 years 4 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
173
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
187
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
170
click to vote
DATE
2005
IEEE
16 years 11 days ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...