Eliminating exception handling errors with dependability cases: a comparative, empirical study | IEEE Journals & Magazine | IEEE Xplore