8. A system comprising: a processor; and memory in communication with the processor, the memory having stored thereon: code parsing logic, that when executed by the processor, is configured to: receive a policy-based Extensible Markup Language (XML) workflow comprising multiple policy nodes and multiple condition nodes, the multiple policy nodes and multiple condition nodes accessible through a common input point in the policy-based XML workflow; and parse the policy-based XML workflow to construct a policy control flow graph for the policy-based XML workflow; and path enumeration logic, that when executed by the processor, is configured to: identify workflow subpaths in the policy control flow graph; constraint collection logic, that when executed by the processor, is configured to: identify path constraints for traversing the workflow subpaths in the policy control flow graph; determine path constraints for a selected path in the policy control flow graph by: determining constituent subpaths from among the workflow subpaths that together traverse the selected path in the policy control flow graph; and determining the path constraints for the selected path by collecting those subpath constraints for traversing the constituent subpaths that traverse the selected path; and constraint solving logic, that when executed by the processor, is configured to: generate a set of test inputs for the policy-based XML workflow using the path constraints for the selected path, where the set of test inputs, when input into the policy-based XML workflow, cause the policy-based XML workflow to traverse the selected path in the policy control flow graph.
8. A system comprising: a processor; and memory in communication with the processor, the memory having stored thereon: code parsing logic, that when executed by the processor, is configured to: receive a policy-based Extensible Markup Language (XML) workflow comprising multiple policy nodes and multiple condition nodes, the multiple policy nodes and multiple condition nodes accessible through a common input point in the policy-based XML workflow; and parse the policy-based XML workflow to construct a policy control flow graph for the policy-based XML workflow; and path enumeration logic, that when executed by the processor, is configured to: identify workflow subpaths in the policy control flow graph; constraint collection logic, that when executed by the processor, is configured to: identify path constraints for traversing the workflow subpaths in the policy control flow graph; determine path constraints for a selected path in the policy control flow graph by: determining constituent subpaths from among the workflow subpaths that together traverse the selected path in the policy control flow graph; and determining the path constraints for the selected path by collecting those subpath constraints for traversing the constituent subpaths that traverse the selected path; and constraint solving logic, that when executed by the processor, is configured to: generate a set of test inputs for the policy-based XML workflow using the path constraints for the selected path, where the set of test inputs, when input into the policy-based XML workflow, cause the policy-based XML workflow to traverse the selected path in the policy control flow graph. 13. The system of claim 8 , where the constraint solving logic is configured to generate the set of test inputs by: generating a first test input that satisfies the path constraints for the selected path.