The Automatic Efficient Test Generator (AETG) system | IEEE Conference Publication | IEEE Xplore