Concretely Mapped Symbolic Memory Locations for Memory Error Detection | IEEE Journals & Magazine | IEEE Xplore