126 search results - page 12 / 26 » Specifying and Generating Test Cases Using Observer Automata |
103
click to vote
DSD
2005
IEEE
15 years 2 months ago
2005
IEEE
Several methods improving the fault coverage in mixed-mode BIST are presented in this paper. The test is divided into two phases: the pseudo-random and deterministic. Maximum of f...
107
Voted
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
115
click to vote
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
116
click to vote
GRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...
117
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...