Login / Signup
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
Published in:
ASPLOS (2018)
Keyphrases
</>
execution model
transaction management
active rules
databases
response time
control flow