Sciweavers

572 search results - page 47 / 115
» Functional Test Generation using Constraint Logic Programmin...
Sort
View
EVOW
2008
Springer
13 years 10 months ago
Implicit Fitness Functions for Evolving a Drawing Robot
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
Jon Bird, Phil Husbands, Martin Perris, Bill Bigge...
CN
1999
100views more  CN 1999»
13 years 8 months ago
Testing protocols modeled as FSMs with timing parameters
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. ...
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
14 years 23 days ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
MEMOCODE
2007
IEEE
14 years 3 months ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
VLSID
2005
IEEE
120views VLSI» more  VLSID 2005»
14 years 2 months ago
On Finding Consecutive Test Vectors in a Random Sequence for Energy-Aware BIST Design
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
Sheng Zhang, Sharad C. Seth, Bhargab B. Bhattachar...