Text this: Variable strength t-way test suite generator with constraints support