Efficient state merging in symbolic execution.

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Browse the full PLDI paper archive.