A general path generation algorithm for coverage testing

We present a general method to contruct a set of test paths satisfying a selected criterio within a family of control flow data flow-based coverage criteria. The method is based on the recent concept of a "spanning set" of enties, wich is minimum subset of program enties (e.g., branches or definition-use associations guaranteeeing full coverage.