A system to automatically generate test program sets | IEEE Conference Publication | IEEE Xplore