334 search results - page 36 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
120
Voted
ICAIL
1995
ACM
15 years 7 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
127
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
166
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
127
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
160
click to vote
SRDS
1993
IEEE
15 years 8 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...