Exploiting program dependencies for scalable multiple-path symbolic execution