I want to introduce a state machine testing library for .Net called [Scrutiny](https://github.com/kaeedo/Scrutiny/). You can get it from [NuGet here](https://www.nuget.org/packages/Scrutiny/). It aims to allow random testing of state machines, with a focus on UI testing, by modeling a state machine as a directed graph and path finding through all possible states.