Login / Signup

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

Manuel RiggerRoland SchatzRené MayrhoferMatthias GrimmerHanspeter Mössenböck
Published in: ASPLOS (2018)
Keyphrases
  • execution model
  • transaction management
  • active rules
  • databases
  • response time
  • control flow