01Standardized Markdown output including models, test tables, and expected results
02Generation of formal PICT models with complex conditional constraints
03Pairwise optimization to maximize coverage while minimizing the number of test cases
04Support for equivalence partitioning and boundary value analysis patterns
050 GitHub stars
06Automated identification of test parameters and values from requirements or code