Experimental comparison of approaches for checking completeness of test suites from finite state machines

The experimental results indicated a substantial difference for the rate of positive verdicts obtained by the SIM method when compared with the number of positive answers returned by the CONF method.