Sciweavers

21183 search results - page 455 / 4237
» Adaptive Testing by Test
Sort
View
SE
2008
15 years 8 months ago
Automatic Test Case Generation from UML Models and OCL Expressions
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....
Stephan Weißleder, Dehla Sokenou
NIPS
2007
15 years 8 months ago
Testing for Homogeneity with Kernel Fisher Discriminant Analysis
We propose to investigate test statistics for testing homogeneity based on kernel Fisher discriminant analysis. Asymptotic null distributions under null hypothesis are derived, an...
Zaïd Harchaoui, Francis Bach, Eric Moulines
BIOCOMP
2006
15 years 8 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...
FLAIRS
1998
15 years 8 months ago
Investigating the Validity of a Test Case Selection Methodology for Expert System Validation
Providing assurances of performance is an important aspect of successful development and commercialization of expert systems. However, this can only be done if the quality of the ...
Jan-Eike Michels, Thomas Abel, Rainer Knauf, Aveli...
ENTCS
2010
104views more  ENTCS 2010»
15 years 6 months ago
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov