Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering