Sciweavers

1215 search results - page 76 / 243
» A theory of Error-Rate Testing
Sort
View
TCOM
2010
106views more  TCOM 2010»
13 years 8 months ago
On the system level prediction of joint time frequency spreading systems with carrier phase noise
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
Youssef Nasser, Mathieu Des Noes, Laurent Ros, Gen...
ISNN
2005
Springer
14 years 3 months ago
Non-parametric Statistical Tests for Informative Gene Selection
This paper presents two non-parametric statistical test methods, called Kolmogorov-Smirnov (KS) and U statistic test methods, respectively, for informative gene selection of a tumo...
Jinwen Ma, Fuhai Li, Jianfeng Liu
ICSE
1997
IEEE-ACM
14 years 2 months ago
Choosing a Testing Method to Deliver Reliability
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewo...
PTS
2010
175views Hardware» more  PTS 2010»
13 years 8 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
LOPSTR
2009
Springer
14 years 4 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...