Sciweavers

840 search results - page 20 / 168
» Test suite oscillations
Sort
View
ASYNC
2001
IEEE
123views Hardware» more  ASYNC 2001»
15 years 4 months ago
GasP: A Minimal FIFO Control
The GasP family of asynchronous circuits provides controls for simple pipelines, for branching and joining pipelines, for round-robin scatter and gather, for datadependent scatter...
Ivan E. Sutherland, Scott Fairbanks
PTS
2000
75views Hardware» more  PTS 2000»
15 years 1 months ago
Structural Coverage For LOTOS - a Probe Insertion Technique
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
Daniel Amyot, Luigi Logrippo
ICSM
2007
IEEE
15 years 6 months ago
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
Xiao Qu, Myra B. Cohen, Katherine M. Woolf
APSEC
2006
IEEE
15 years 6 months ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...
107
Voted
PTS
2004
94views Hardware» more  PTS 2004»
15 years 1 months ago
FSM Based Interoperability Testing Methods for Multi Stimuli Model
In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic c...
Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna,...