Author(s): Ekta, Sonal

The size of a test-suite has a great impact on the cost and the time consumed in software testing[21][22] It is important in case of regression testing specially, where software is again tested after some changes, the size of the test suite is very important[3][4]. Test-suite minimization or reduction techniques attempt to reduce the time of test suite execution by eliminating redundant test cases from test suites[1][2]. This paper suggest a novel approach where test cases created with model checker based techniques are transpose such that redundancy the test – suite is evade, and the overall size is decrease.