Title | Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Rigger, M., Schatz R., Mayrhofer R., Grimmer M., & Mössenböck H. |
Conference Name | Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems |
ISBN Number | 978-1-4503-4911-6/18/0 |
DOI | 10.1145/3173162.3173174 |
Research
Discovering
Creating
Implementing
Creating
Implementing