Skip to content

Exploiting undefined behaviors for efficient symbolic execution.

Asankhaya Sharma

VenueA*ICSE
Year2014
ProceedingsICSE Companion

Browse the full ICSE paper archive.