An empirical study of a model for program error prediction | IEEE Journals & Magazine | IEEE Xplore