Constraint based test data generator using json models