Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts | IEEE Conference Publication | IEEE Xplore