TAF: a Tool for Diverse and Constrained Test Case Generation