microsoft/accordant

A model-based testing framework for .NET that validates implementations against behavioral specifications.

语言：C# · GitHub 星标：68 · Fork：9

话题：concurrency-testing · conformance-testing · linearizability · model-based-testing · test-generation

在 GitHub 上查看原仓库