Colo.) Software Reliability Symposium (10th 1992 Denver