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 Mssenbck

Browse the full ASPLOS paper archive.