Abstract: To ensure the software quality, testing methods aim at both targets of achieving high code coverage and error detection capability. Among various testing ...