Combining Symbolic and Genetic Techniques for Efficient Sequential Circuit Test Generation