Sciweavers

5855 search results - page 141 / 1171
» Test generation and minimization with
Sort
View
GLVLSI
2005
IEEE
133views VLSI» more  GLVLSI 2005»
15 years 7 months ago
Generating decision regions in analog measurement spaces
We develop a neural network that learns to separate the nominal from the faulty instances of a circuit in a measurement space. We demonstrate that the required separation boundari...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
APLAS
2003
ACM
15 years 5 months ago
Resource Usage Verification
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
Kim Marriott, Peter J. Stuckey, Martin Sulzmann
DDECS
2007
IEEE
105views Hardware» more  DDECS 2007»
15 years 8 months ago
A Heuristic for Concurrent SOC Test Scheduling with Compression and Sharing
1-The increasing cost for System-on-Chip (SOC) testing is mainly due to the huge test data volumes that lead to long test application time and require large automatic test equipmen...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
ISSRE
2008
IEEE
15 years 8 months ago
Static Detection of Redundant Test Cases: An Initial Study
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
Nuo Li, Patrick Francis, Brian Robinson
SOQUA
2004
15 years 2 months ago
An Optimum, System-Based Component Testing Approach for Evaluating Software Reliability
: In a component testing approach for evaluating system reliability, one tests units of the components or subsystems that make up a larger system in order to draw conclusions about...
Jayant Rajgopal, Mainak Mazumdar