Systems' Verification Validation and Testing (VVT) are carried out throughout systems'
lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system …

In the present paper, we investigate an approach to intelligent support of the software white-
box testing process based on an evolutionary paradigm. As a part of this approach, we solve …

An early step for most black-box testing methods is to identify a set of categories and choices
(or their equivalents) from the specification. The identification is often performed in an ad hoc …

In present paper we investigate an approach to intelligent support of the software white box
testing process based on evolutionary paradigm. As part of this approach we solve the …

The category-partition method and the classification-tree method help construct test cases
from specifications. In both methods, an early step is to identify a set of categories (or …

The classification-tree method provides a systematic way for software testers to derive test
cases by considering important relevant aspects that are identified from the specification …

In present paper we solve an urgent problem of generating the optimal set of test data that
provides maximum statement coverage of the code when it is used in the software white box …

Grochtmann and Grimm have developed the classification-tree method (CTM) to facilitate
software testers in generating test cases from functional specifications. While the method is …

In this paper, we develop a combinatorial testing technique for tree-structured test models.
First, we generalize our previous test models for combinatorial testing based on and-xor …

The quality of a requirements specification has a great impact on the quality of the software
developed. Because of this, a requirements specification should be complete, correct …