Text this: Improving high-level and gate-level testing with FATE