The Automatic Efficient Test Generator (AETG) system. - David M. Cohen; Siddhartha R. Dalal; A. Kajla; Gardner C. Patton (ISSRE, 1994)