Generating Test Adapters for ModelJunit
An Evaluation of Random Testing