: 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....
We propose to investigate test statistics for testing homogeneity based on kernel Fisher discriminant analysis. Asymptotic null distributions under null hypothesis are derived, an...
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...
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...
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 ...