Author: Workshop on Software Testing, Verification, and Analysis (2nd 1988 Banff, Alta.)