A Simple Complexity Measurement for Software Verification and Software Testing.

Zheng Cheng, Rosemary Monahan, James F. Power

Browse the full CADE paper archive.