Text this: On efficient extraction of partially specified test sets for synchronous sequential circuits