Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model

TitleSulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model
Publication TypeConference Paper
Year of Publication2018
AuthorsRigger, M., Schatz R., Mayrhofer R., Grimmer M., & Mössenböck H.
Conference NameProceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems
ISBN Number978-1-4503-4911-6/18/0
DOI10.1145/3173162.3173174