Testing the Completeness of Specifications

Pankaj Jalote. Testing the Completeness of Specifications. IEEE Trans. Software Eng., 15(5):526-531, 1989. [doi]

Abstract

Abstract is missing.