Author: International Symposium on Software Testing and Analysis (1994 Seattle, Wash.)