An automatic test pattern generator for large sequential circuits based on Genetic Algorithms | IEEE Conference Publication | IEEE Xplore