Prioritizing Change-Impact Analysis via Semantic Program-Dependence Quantification | IEEE Journals & Magazine | IEEE Xplore