Systematic Testing of Data Abstractions Based on Software Specifications. - Stuart H. Zweben; Wayne D. Heym; Jon Kimmich (Softw. Test. Verification Reliab., 1992)