Reduction of Model Checking-based Test Generation using Satisfiability