Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach