Search Results - RepositoryStats

4 results found Sort:

Filter by Primary Language:
Python (2)
C# (1)
Java (1)
+

27

171

other

7

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

968 commits to master branch, last one 3 hours ago

CsCheck AnthonyLloyd

5

171

apache-2.0

10

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 about a month ago

9

81

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 7 months ago

modelator informalsystems

5

54

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 8 months ago