This package contains classes for model-checking based test suite generator.