6704 search results - page 170 / 1341 » Testing Scenario-Based Models |
158
click to vote
VTS
2007
IEEE
16 years 23 days ago
2007
IEEE
: Conventionally, path delay tests are derived in a delay-independent manner, which causes most faults to be robustly untestable. Many non-robust tests are found but, in practice, ...
266
click to vote
APPROX
2007
Springer
16 years 21 days ago
2007
Springer
: In the distribution-free property testing model, the distance between functions is measured with respect to an arbitrary and unknown probability distribution D over the input dom...
163
click to vote
SIGSOFT
2006
ACM
16 years 13 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
155
click to vote
PASTE
2005
ACM
16 years 2 days 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...
158
click to vote
ICS
1998
Tsinghua U.
15 years 10 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...