Sciweavers

4306 search results - page 167 / 862
» Timed Testing with TorX
Sort
View
ICALP
2001
Springer
14 years 2 months ago
Testing Hypergraph Coloring
In this paper we initiate the study of testing properties of hypergraphs. The goal of property testing is to distinguish between the case whether a given object has a certain prope...
Artur Czumaj, Christian Sohler
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 2 months ago
FreezeFrame: Compact Test Generation Using a Frozen Clock Strategy
Test application time is an important factor in the overall cost of VLSI chip testing. We present a new ATPG approach for generating compact test sequences for sequential circuits...
Yanti Santoso, Matthew C. Merten, Elizabeth M. Rud...
SIGUCCS
1999
ACM
14 years 2 months ago
Usability Testing: A Quick, Cheap, and Effective Method
The University of Portland Office of Computer and Telecommunication Services (CTS) created an Intranet web site for the University community during the summer of 1998. In the summ...
Jerilyn Prescott, Matt Crichton
INLG
2010
Springer
13 years 8 months ago
Generating Natural Language Descriptions of Z Test Cases
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
Maximiliano Cristiá, Brian Plüss
ICCD
2003
IEEE
145views Hardware» more  ICCD 2003»
14 years 7 months ago
Care Bit Density and Test Cube Clusters: Multi-Level Compression Opportunities
: Most of the recently discussed and commercially introduced test stimulus data compression techniques are based on low care bit densities found in typical scan test vectors. Data ...
Bernd Könemann