Sciweavers

5159 search results - page 93 / 1032
» Structural Testing of Executables
Sort
View
MOC
2000
73views more  MOC 2000»
15 years 2 months ago
Korovkin tests, approximation, and ergodic theory
We consider sequences of s
Stefano Serra Capizzano
EDBT
2008
ACM
133views Database» more  EDBT 2008»
15 years 4 months ago
Action synchronization in P2P system testing
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...
Eduardo Cunha de Almeida, Gerson Sunyé, Pat...
122
Voted
KBSE
2008
IEEE
15 years 9 months ago
Query-Aware Test Generation Using a Relational Constraint Solver
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Lal...
DATE
2008
IEEE
126views Hardware» more  DATE 2008»
15 years 4 months ago
State Skip LFSRs: Bridging the Gap between Test Data Compression and Test Set Embedding for IP Cores
1 We present a new type of Linear Feedback Shift Registers, State Skip LFSRs. State Skip LFSRs are normal LFSRs with the addition of a small linear circuit, the State Skip circuit,...
V. Tenentes, Xrysovalantis Kavousianos, Emmanouil ...
MTDT
2003
IEEE
164views Hardware» more  MTDT 2003»
15 years 7 months ago
Applying Defect-Based Test to Embedded Memories in a COT Model
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
Robert C. Aitken