Text this: Approach for reduced test suite generation based on predicate abstraction