DataFlowDataSetGeneration A framework to define and enumeratate test cases of intraprocedural data-flow scenarios automatically.