Controlled random tests

Random testing and its different modifications are considered. Some criteria of controlled generation of random tests are analyzed; an optimal controlled random test is synthesized on the basis of the above criteria. Finally, a universal efficiency estimate is suggested for controlled random tests, with an application to controlled random tests of small length.

Presented by the member of Editorial Board: P. P. Parkhomenko