TY - SER AU - Parrish, Alien AU - Zweben, Stuart H. TI - Analysis and Refinement of Software Test Data Adequacy Properties KW - Adequacy KW - Software Testing KW - Test Data Comprssion ER -