State Joining and Splitting for the Symbolic Execution of Binaries.

Trevor Hansen, Peter Schachte, Harald Sndergaard

Browse the full RV paper archive.