Sciweavers

1944 search results - page 5 / 389
» Coupling-based Integration Testing
Sort
View
FLAIRS
2009
13 years 5 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
BMCBI
2011
13 years 2 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
ICCAD
2000
IEEE
171views Hardware» more  ICCAD 2000»
13 years 12 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»
13 years 5 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
14 years 1 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