Publication

Efficient State Merging in Symbolic Execution