Generating and reducing test case based on covering rough sets. - Wenyan Li; Jiyi Wang; Gaomin Lin (GrC, 2009)