7766 search results - page 229 / 1554 » Testing Nondeterminate Systems |
165
click to vote
LREC
2008
15 years 7 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...
158
click to vote
HICSS
2008
IEEE
16 years 18 days 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...
161
click to vote
ICDCS
2007
IEEE
16 years 14 days 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...
161
Voted
DATE
2005
IEEE
15 years 11 months 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...
142
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...