4299 search results - page 254 / 860 » Concurrent Test Generation |
174
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
181
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
When testing delay faults on critical paths, conventional structural test patterns may be applied in functionally-unreachable states, leading to over-testing or under-testing of t...
167
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
Testing for uniformity of multivariate data is the initial step in exploratory pattern analysis. We propose a new uniformity testing method, which first computes the maximum (sta...
194
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
170
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...