A technique for gathering information about the possible set of values calculated at various points in a computer program. View skill details