4 results found Sort:

AnthonyLloyd
CsCheck AnthonyLloyd
5
175
apache-2.0
9
Random testing library for C#
random testing quickcheck causal-profiling parallel-testing stateful-testing regression-testing concurrency-testing metamorphic-testing model-based-testing performance-testing
Created 2020-07-02
685 commits to master branch, last one 3 months ago
DES-Lab
AALpy DES-Lab
28
175
other
6
An Automata Learning Library Written in Python
kv dfa rpni lstar python alergia automata markov-chain model-mining model-learning automata-learning pushdown-automata equivalence-oracles model-based-testing context-free-grammar finite-state-machine test-case-generation probabilistic-automata markov-decision-processes
Created 2021-03-18
1,232 commits to master branch, last one 2 days ago
dakusui
jcunit dakusui
10
82
apache-2.0
4
A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
junit model-based-testing combinatorial-testing
Created 2013-08-27
6 commits to 0.10.x-develop branch, last one 22 days ago
informalsystems
modelator informalsystems
5
55
apache-2.0
24
Model-based testing tool
tla rust tlaplus model-checking model-based-testing
Created 2021-01-21
446 commits to dev branch, last one 11 days ago