1. A method comprising: receiving, by a processor of a system, 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 first policy-based XML workflow; parsing, by the processor, the policy-based XML workflow to construct a policy control flow graph for the policy-based XML workflow; identifying, by the processor, multiple workflow subpaths in the policy control flow graph; identifying subpath constraints for traversing the workflow subpaths in the policy control flow graph; determining, by the processor, 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; generating, with the processor, a set of test inputs for the policy-based XML workflow responsive to 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; and storing, by the processor, the generated set of test inputs in a memory of the system.
1. A method comprising: receiving, by a processor of a system, 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 first policy-based XML workflow; parsing, by the processor, the policy-based XML workflow to construct a policy control flow graph for the policy-based XML workflow; identifying, by the processor, multiple workflow subpaths in the policy control flow graph; identifying subpath constraints for traversing the workflow subpaths in the policy control flow graph; determining, by the processor, 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; generating, with the processor, a set of test inputs for the policy-based XML workflow responsive to 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; and storing, by the processor, the generated set of test inputs in a memory of the system. 3. The method of claim 1 , where identifying the selected path comprises identifying a specific feasible path in the policy control flow graph without identifying any non-feasible path in the policy control flow graph.