automated test case generation (java)

This project focuses on automated test case generation based on techniques including: z-solver, combinatorial testing, category-partition testing, and metamorphic testing. ● Z-Solver-Based Test Generation uses mathematical logic and formal verification to systematically define and verify test cases. ● Combinatorial Testing selects test inputs by systematically covering all possible combinations of parameters. ● Category-Partition Testing divides input parameters into categories, applies constraints, and combines them into structured test frames to ensure efficient test coverage. ● Metamorphic Testing is used when expected outputs are difficult to determine. It validates program correctness by checking how changes in input affect the output based on predefined metamorphic relations.