Metrics, models and measurements in software reliability | IEEE Conference Publication | IEEE Xplore