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

Sebastian Poeplau, Aurlien Francillon

Browse the full ACSAC paper archive.