Reliability growth for typed defects (software development) | IEEE Conference Publication | IEEE Xplore