Relocatable addressing model for symbolic execution.

David Trabish, Noam Rinetzky

Browse the full ISSTA paper archive.