DMCA

Deconstructing Dynamic Symbolic Execution

Cached

Download Links

by Thomas Ball , Jakub Daniel , Microsoft Research