Author: International Symposium on Software Testing and Analysis (2000 Portland, Or.)