Test Case Reduction Based on Program Invariant and Genetic Algorithm


Test case reduction is the focus of the field of software testing. In this paper, we integrate random testing methods, invariant technology and genetic algorithms for test case reduction. Program invariant here refers to the properties at some points of program, it can reveal the extent of program data coverage and other valuable information. We evaluate… (More)


4 Figures and Tables