Compositional Symbolic Execution: Incremental Solving Revisited.

Yude Lin, Tim Miller, Harald Sndergaard

Browse the full APSEC paper archive.