Scaling Symbolic Execution to Large Software Systems - Horvath, Gabor (arXiv.org)