@article{compref41,
   author = {Bechir,A and Kaminska,B},
   year = {1995},
   title = {CYCLOGEN: Automatic, Functional-Level Test Generator Based on the Cyclomatic Complexity Measure and on the ROBDD Representation},
   journal = {IEEE Transactions on Circuits and Systems - II: Analogue and Digital Signal Processing},
   volume = {42},
   pages = {446-452}
}