A Synergistic Approach for Distributed Symbolic Execution Using Test Ranges | IEEE Conference Publication | IEEE Xplore