@article{DBLP:journals/tse/IorgaWD23,
author = {Dan Iorga and
John Wickerson and
Alastair F. Donaldson},
title = {Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {12},
pages = {5084-5102},
year = {2023},
doi = {10.1109/TSE.2023.3326056},
}