A software fault prevention approach in coding and root cause analysis | Nokia Bell Labs Journals & Magazine | IEEE Xplore