Improving software quality through a novel testing strategy

A general approach to test case generation relying on a novel testing method is presented. We also evaluate theoretically how generated test cases will contribute to, for example, the verification criterion, when attempting to establish the correctness of a program. Our testing methods have much smaller complexity when applied to well structured programs of at least moderate size, and have better conformance, as compared to existing data flow coverage and control flow coverage oriented testing methods