Program Comprehension for User-Assisted Test Oracle Generation | IEEE Conference Publication | IEEE Xplore