Using genetic algorithms for test case generation and selection optimization | IEEE Conference Publication | IEEE Xplore