A method for generating weighted random test patterns | IBM Journals & Magazine | IEEE Xplore