Sciweavers

5855 search results - page 161 / 1171
» Test generation and minimization with
Sort
View
DATE
2008
IEEE
104views Hardware» more  DATE 2008»
16 years 29 days ago
Multi-Vector Tests: A Path to Perfect Error-Rate Testing
The importance of testing approaches that exploit error tolerance to improve yield has previously been established. Error rate, defined as the percentage of vectors for which the...
Shideh Shahidi, Sandeep Gupta
IPCO
2004
114views Optimization» more  IPCO 2004»
15 years 7 months ago
Enumerating Minimal Dicuts and Strongly Connected Subgraphs and Related Geometric Problems
We consider the problems of enumerating all minimal strongly connected subgraphs and all minimal dicuts of a given directed graph G = (V, E). We show that the first of these proble...
Endre Boros, Khaled M. Elbassioni, Vladimir Gurvic...
DSD
2004
IEEE
126views Hardware» more  DSD 2004»
15 years 10 months ago
Boolean Minimizer FC-Min: Coverage Finding Process
This paper describes principles of a novel two-level multi-output Boolean minimizer FC-Min, namely its Find Coverage phase. The problem of Boolean minimization is approached in a ...
Petr Fiser, Hana Kubatova
JCC
2008
85views more  JCC 2008»
15 years 6 months ago
Minimal molecular surfaces and their applications
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
P. W. Bates, G. W. Wei, Shan Zhao
SAFECOMP
2007
Springer
16 years 18 days ago
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
Mario Friske, Bernd-Holger Schlingloff