4 results found Sort:

DES-Lab
AALpy DES-Lab
20
155
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
917 commits to master branch, last one 7 days ago
AnthonyLloyd
CsCheck AnthonyLloyd
3
131
apache-2.0
9
Random testing library for C#
random testing quickcheck causal-profiling regression-testing concurrency-testing metamorphic-testing model-based-testing performance-testing
Created 2020-07-02
650 commits to master branch, last one about a month ago
dakusui
jcunit dakusui
9
76
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
5 commits to 0.10.x-develop branch, last one 12 days ago
informalsystems
modelator informalsystems
5
52
apache-2.0
26
Model-based testing tool
tla rust tlaplus model-checking model-based-testing
Created 2021-01-21
444 commits to dev branch, last one about a month ago