An evolutionary approach for test program compaction | IEEE Conference Publication | IEEE Xplore