AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.