Test Procedures: A New Approach to Software Verification

David J. Panzl. Test Procedures: A New Approach to Software Verification. In ICSE. pages 477-485, 1976.

Abstract

Abstract is missing.