Just going to plug the excellent .NET PBT library, CsCheck [0]. I have used it quite a bit to excersize strange corners of my program logic and found several exotic bugs with it.

[0]: https://github.com/AnthonyLloyd/CsCheck