Speculative Symbolic Execution.

Yufeng Zhang, Zhenbang Chen, Ji Wang

Browse the full ISSRE paper archive.