On test generation with a limited number of tests | IEEE Conference Publication | IEEE Xplore