An Evaluation of Model Checkers for Specification Based Test Case Generation