Sciweavers

853 search results - page 45 / 171
» New test approach for embedded applications
Sort
View
FORTEST
2008
15 years 3 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
ECRTS
2004
IEEE
15 years 5 months ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
Karsten Albers, Frank Slomka
FATES
2005
Springer
15 years 7 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
MA
2010
Springer
86views Communications» more  MA 2010»
14 years 12 months ago
Tests for multiple regression based on simplicial depth
A general approach for developing distribution free tests for general linear models based on simplicial depth is applied to multiple regression. The tests are based on the asympto...
Robin Wellmann, Christine H. Müller
ARVLSI
1999
IEEE
112views VLSI» more  ARVLSI 1999»
15 years 5 months ago
Architectural Considerations for Application-Specific Counterflow Pipelines
Application-specific processor design is a promising approach for meeting the performance and cost goals of a system. Application-specific processors are especially promising for ...
Bruce R. Childers, Jack W. Davidson