10715 search results - page 182 / 2143 » Proofs from Tests |
118
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
116
click to vote
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
109
Voted
ATS
2005
IEEE
15 years 6 months ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
88
Voted
SODA
2010
ACM
15 years 10 months ago
2010
ACM
A monotone distribution P over a (partially) ordered domain assigns higher probability to y than to x if y x in the order. We study several natural problems concerning testing pr...
ISESE
2003
IEEE
15 years 6 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...