Test case generator for FlowDroid