sponsored by IEEE Computer Society ; organized by the Committee on Software Reliability Engineering of the IEEE Computer Society Technical Council on Software Engineering ; in cooperation with IEEE Reliability Society and IFIP 10.4 Working Group on Dependability ; support from IBM ... [and others]