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

Publication
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems