International Symposium on Software Reliability Engineering (4th 1993 Denver, Colorado)