7766 search results - page 133 / 1554 » Testing Nondeterminate Systems |
156
click to vote
TC
2008
15 years 6 months ago
2008
Abstract--Testing security systems is challenging because a system's authors have to play the double role of attackers and defenders. Red Team/Blue Team exercises are an inval...
202
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
168
click to vote
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
173
click to vote
WSC
2004
15 years 7 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
146
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...