Login / Signup

Exploiting undefined behaviors for efficient symbolic execution.

Asankhaya Sharma
Published in: ICSE Companion (2014)
Keyphrases
  • symbolic execution