Publication

Parallel symbolic execution on cluster of commodity hardware