%0 Journal Article %1 journals/tse/TuJHDJ24 %A Tu, Haoxin %A Jiang, Lingxiao %A Hong, Jiaqi %A Ding, Xuhua %A Jiang, He %D 2024 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 1747-1767 %T Concretely Mapped Symbolic Memory Locations for Memory Error Detection. %U http://dblp.uni-trier.de/db/journals/tse/tse50.html#TuJHDJ24 %V 50

@article{journals/tse/TuJHDJ24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Tu, Haoxin and Jiang, Lingxiao and Hong, Jiaqi and Ding, Xuhua and Jiang, He}, biburl = {https://www.bibsonomy.org/bibtex/2414f6c1810a067f1326bb7962d338b46/dblp}, ee = {https://doi.org/10.1109/TSE.2024.3395412}, interhash = {1d212aa8b0d8e11f941c18aa2ec1472e}, intrahash = {414f6c1810a067f1326bb7962d338b46}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, month = {July}, number = 7, pages = {1747-1767}, timestamp = {2024-08-05T07:03:41.000+0200}, title = {Concretely Mapped Symbolic Memory Locations for Memory Error Detection.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse50.html#TuJHDJ24}, volume = 50, year = 2024 }