| 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