Automatic test pattern generation: Difference between revisions