Sciweavers

4670 search results - page 55 / 934
» Testing that distributions are close
Sort
View
HYBRID
2007
Springer
15 years 6 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
130
Voted
ITC
1993
IEEE
148views Hardware» more  ITC 1993»
15 years 4 months ago
DELTEST: Deterministic Test Generation for Gate-Delay Faults
This paper presents an efficient approach to generate tests for gate delay faults. Unlike other known algorithms which try to generate a 'good' delay test the presented ...
Udo Mahlstedt
71
Voted
COMPUTING
2007
101views more  COMPUTING 2007»
15 years 17 days ago
Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
Alexandre Goldsztejn
ICSEA
2006
IEEE
15 years 6 months ago
Testing a Network by Inferring Representative State Machines from Network Traces
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
Nancy D. Griffeth, Yuri Cantor, Constantinos Djouv...
108
Voted
ATS
2005
IEEE
118views Hardware» more  ATS 2005»
15 years 6 months ago
Partial Gating Optimization for Power Reduction During Test Application
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
Mohammed ElShoukry, Mohammad Tehranipoor, C. P. Ra...