Software Reliability: Elements, Approaches and Challenges | IEEE Conference Publication | IEEE Xplore