OCL/UML-based test case generator producing JUnit tests with coverage criteria. Constraint-based test case generation from UML and OCL. Model-based testing tool that generates JUnit tests from UML + OCL.
testing uml symbolic-execution compiler-principles blackbox-testing ocl junit5 testcase-generator testcase-generation constraint-base
-
Updated
Oct 4, 2025 - Prolog