Detecting and characterizing semantic inconsistencies in ported code

Ray, Baishakhi; Kim, Miryung; Person, Suzette; Rungta, Neha;