Automatic Test Generation Using Quadratic 0-1 Programming.

Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell

Browse the full DAC paper archive.