7766 search results - page 301 / 1554 » Testing Nondeterminate Systems |
170
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
175
click to vote
ESE
2002
15 years 6 months ago
2002
Estimating remaining defects or failures in software can help test managers make release decisions during testing. Several methods exist to estimate defect content, among them a v...
195
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
197
click to vote
ICAC
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this short paper, we give a brief overview a simulation environment, SimEAC, which was designed for testing algorithms with strong autonomic features. SimEAC enables a user ...
176
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...