Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms