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

Manuel Rigger, Roland Schatz, René Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck
January, 2018
Cite DOI
Type
Conference paper
Publication
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems