N-Gram Based Test Sequence Generation from Finite State Models