334 search results - page 30 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
238
click to vote
CP
2009
Springer
16 years 4 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
133
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
137
Voted
HAPTICS
2010
IEEE
15 years 9 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...
130
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
164
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...