?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Yixuan%2C+Zhang&rft.aufirst=Zhang&rft.aulast=Yixuan&rft.title=ACM+Transactions+on+Software+Engineering+and+Methodology&rft.date=30+September+2023&rft.atitle=Characterizing+and+Detecting+WebAssembly+Runtime+Bugs&rft.genre=article