Multi-abstraction Concern Localization | IEEE Conference Publication | IEEE Xplore