Fixing Code that Explodes Under Symbolic Evaluation.

Sorawee Porncharoenwase, James Bornholt, Emina Torlak

Browse the full VMCAI paper archive.