On The Application Of Combination Strategies To Testing Finite State Machines.