Sciweavers

21183 search results - page 352 / 4237
» Adaptive Testing by Test
Sort
View
ECRTS
2004
IEEE
15 years 10 months ago
A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic Task Sets
The problem of feasibility analysis for asynchronous periodic task sets (i.e. where tasks can have an initial offset) is known to be co-NP-complete in the strong sense. A sufficie...
Rodolfo Pellizzoni, Giuseppe Lipari
UML
2000
Springer
15 years 10 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt
ICCAD
1995
IEEE
94views Hardware» more  ICCAD 1995»
15 years 10 months ago
Test register insertion with minimum hardware cost
Implementing a built-in self-test by a "test per clock" scheme offers advantages concerning fault coverage, detection of delay faults, and test application time. Such a ...
Albrecht P. Stroele, Hans-Joachim Wunderlich
APPROX
2008
Springer
75views Algorithms» more  APPROX 2008»
15 years 8 months ago
On the Query Complexity of Testing Orientations for Being Eulerian
We consider testing directed graphs for being Eulerian in the orientation model introduced in [15]. Despite the local nature of the property of being Eulerian, it turns out to be ...
Eldar Fischer, Oded Lachish, Ilan Newman, Arie Mat...
ASPDAC
2008
ACM
115views Hardware» more  ASPDAC 2008»
15 years 8 months ago
GECOM: Test data compression combined with all unknown response masking
This paper introduces GECOM technology, a novel test compression method with seamless integration of test GE
Youhua Shi, Nozomu Togawa, Masao Yanagisawa, Tatsu...