Sciweavers

1951 search results - page 7 / 391
» UML-Based integration testing
Sort
View
BMCBI
2011
14 years 4 months ago
Appearance frequency modulated gene set enrichment testing
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
Jun Ma, Maureen A. Sartor, H. V. Jagadish
82
Voted
ICCAD
2000
IEEE
171views Hardware» more  ICCAD 2000»
15 years 1 months ago
A Parametric Test Method for Analog Components in Integrated Mixed-Signal Circuits
In this paper, we present a novel approach to use test stimuli generated by digital components of a mixed-signal circuit for testing its analog components. A wavelet transform is ...
Michael Pronath, Volker Gloeckel, Helmut E. Graeb
PTS
2010
175views Hardware» more  PTS 2010»
14 years 7 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
ISPDC
2006
IEEE
15 years 3 months ago
Continuous Software Test Distributed Execution and Integrated into the Globus Toolkit
This article shows how the idea of continuous software testing [23] of a world wide working group can be well integrated into the Grid Computing paradigm using the Globus Toolkit ...
Christoph Reich, Bettina Scharpf
ICCAD
2009
IEEE
101views Hardware» more  ICCAD 2009»
14 years 7 months ago
Compacting test vector sets via strategic use of implications
As the complexity of integrated circuits has increased, so has the need for improving testing efficiency. Unfortunately, the types of defects are also becoming more complex, which...
Nuno Alves, Jennifer Dworak, R. Iris Bahar, Kundan...