Effects of FSM minimization techniques on number of test paths in mobile applications MBT.