Loading [MathJax]/extensions/MathMenu.js
Program slicing with dynamic points-to sets | IEEE Journals & Magazine | IEEE Xplore