2127 search results - page 328 / 426 » Software Automation |
115
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
129
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
113
click to vote
DEXAW
1998
IEEE
15 years 6 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
128
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
167
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...