Increasing the effectiveness of programming education has emerged as an important goal in
teaching programming languages in the last decade. Automatic evaluation of the …

Cause-effect graphs are a commonly used black-box testing method, and many different
algorithms for converting system requirements to cause-effect graph specifications and …

Many different methods are used for generating blackbox test case suites. Test case
minimization is used for reducing the feasible test case suite size in order to minimize the …

Software is a part of most complex systems used for different purposes in today's world. The
reliability of these systems must be verified before putting them to use, because their …

Researchers and domain experts usually require the help of software packages for black-
box testing complex systems using cause–effect graphs. However, there are only a few …