"Automatic Test Generation Using Quadratic 0-1 Programming."

Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics