Sciweavers

1248 search results - page 11 / 250
» The I Test
Sort
View
BIOCOMP
2006
13 years 9 months ago
Computer-Aided Cytogenetic Method of Breast Cancer Diagnosis, Part II - Test Criteria
In this part we describe the statistical test criteria which are used in Part I in the construction of computer-aided cytogenetic method of breast cancer diagnosis.
Roman Andrushkiw, Dmitry Klyushin, Ekaterina Golub...
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
14 years 24 days ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
ECCC
2011
223views ECommerce» more  ECCC 2011»
13 years 2 months ago
A Case of Depth-3 Identity Testing, Sparse Factorization and Duality
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...
Chandan Saha, Ramprasad Saptharishi, Nitin Saxena
BIRTHDAY
2006
Springer
13 years 11 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
SOFSEM
2012
Springer
12 years 3 months ago
Randomized Group Testing Both Query-Optimal and Minimal Adaptive
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
Peter Damaschke, Azam Sheikh Muhammad