A genetic algorithm for test-suite reduction | IEEE Conference Publication | IEEE Xplore