Software reliability models with time-dependent hazard function based on Bayesian approach | IEEE Journals & Magazine | IEEE Xplore