Sciweavers

4306 search results - page 8 / 862
» Timed Testing with TorX
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
Testing of Synchronization Conditions for Distributed Real-Time Applications
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...
Ajay D. Kshemkalyani
RTCSA
1999
IEEE
15 years 10 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ITC
1998
IEEE
79views Hardware» more  ITC 1998»
15 years 10 months ago
An almost full-scan BIST solution-higher fault coverage and shorter test application time
Huan-Chih Tsai, Sudipta Bhawmik, Kwang-Ting Cheng