If #ModelBasedTesting is of interest, you may want to look at #AltWalker. It is one entry point to open source tools in this space. https://altom.gitlab.io/altwalker/altwalker/