Lukas Beierlieb, Alberto Avritzer, Lukas Iffländer, Nuno Antunes, Aleksandar Milenkoski, Samuel Kounev. Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs. In IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021. pages 48-55, IEEE, 2021. [doi]
Abstract is missing.