Login / Signup

Systematic comparison of symbolic execution systems: intermediate representation and its generation.

Sebastian PoeplauAurélien Francillon
Published in: ACSAC (2019)
Keyphrases
  • intermediate representation
  • symbolic execution
  • complex systems
  • object recognition
  • distributed systems
  • intermediate level