A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits