Partitioning Strategies To Enhance Symbolic Execution