Proceedings 5th international symposium on software reliability engineering, November 6-9, 1994, Monterey, California (IEEE Computer Society Press, 1994)