20. The product of claim 15 , where the instructions are further configured to generate the set of test inputs by: generating a first test input that satisfies the path constraints for the selected path.
15. A product comprising: a machine-readable medium other than a transitory signal; and instructions stored on the machine-readable medium, the instructions configured to, when executed by a processor: receive a policy-based 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 workflow; parse the policy-based workflow to construct a policy control flow graph for the policy-based workflow; identify paths in the policy control flow graph; filter the identified paths into a set of filtered paths; identify path constraints for traversing multiple workflow subpaths in the policy control flow graph; determine path constraints for a selected path of the set of filtered paths 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 generate a set of test inputs for the policy-based workflow using the path constraints of the selected path, where the set of test inputs, when input into the policy-based workflow cause the policy-based workflow to traverse the set of filtered paths.