Implementation and evaluation of cross translation unit symbolic execution for C family languages.

Gbor Horvth, Pter Szcsi, Zoltn Gera, Dniel Krupp, Norbert Pataki

Browse the full ICSE paper archive.