Author: Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.)