dakusui/jcunit

A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.

Language: Java - Size: 25.6 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 76 - Forks: 9

input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

Language: Haskell - Size: 392 KB - Last synced: 9 days ago - Pushed: about 1 month ago - Stars: 23 - Forks: 7

informalsystems/itf-rs

Rust library for consuming Apalache ITF traces

Language: Rust - Size: 146 KB - Last synced: 10 days ago - Pushed: 11 days ago - Stars: 5 - Forks: 1

jg8481/go-language-rpa-tests

A collection of Go Language inspired test tools and strategies enhanced with Robot Framework RPA.

Language: HTML - Size: 5.18 MB - Last synced: 11 days ago - Pushed: 12 days ago - Stars: 0 - Forks: 0

AnthonyLloyd/CsCheck

Random testing library for C#

Language: C# - Size: 1.37 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 125 - Forks: 3

edno/codeception-graphwalker 📦

Model-based testing extension for Codeception

Language: PHP - Size: 144 KB - Last synced: 26 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1

automl-private/significance_analysis

This package is used to analyse datasets of different HPO-algorithms performing on multiple benchmarks.

Language: HTML - Size: 59.9 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 1 - Forks: 0

HiConfiT/hiconfit-core

A set of Maven-based libraries for High-Performance Knowledge Based Configuration Techniques

Language: Perl - Size: 4.79 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 0 - Forks: 0

DES-Lab/AALpy

An Automata Learning Library Written in Python

Language: Python - Size: 22.2 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 150 - Forks: 19

informalsystems/modelator

Model-based testing tool

Language: Python - Size: 334 MB - Last synced: 20 days ago - Pushed: 12 months ago - Stars: 51 - Forks: 5

altwalker/altwalker

AltWalker is an open source Model-Based Testing framework that supports running tests written in Python3 and .NET/C#.

Language: Python - Size: 38.4 MB - Last synced: 30 days ago - Pushed: 4 months ago - Stars: 12 - Forks: 0

altwalker/model-editor

A web based editor and visualizer for models written using the GraphWalker JSON format.

Language: JavaScript - Size: 2.92 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 4 - Forks: 0

altwalker/altwalker-examples

A growing list of examples that use AltWalker.

Language: Python - Size: 326 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

altwalker/model-visualizer

A JavaScript library for visualizing and visualy editing JSON models for AltWalker and GraphWalker.

Language: JavaScript - Size: 1.21 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

altwalker/live-viewer

A web application for visualizing the progress of an AltWalker test run.

Language: Python - Size: 2.54 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 3 - Forks: 0

jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

Language: OCaml - Size: 113 KB - Last synced: 2 months ago - Pushed: almost 5 years ago - Stars: 11 - Forks: 2

brucou/graph-adt

A small (2kb minified gzipped) library to search graphs

Language: JavaScript - Size: 15.3 MB - Last synced: 3 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

Robert-96/vue-todo-altwalker-tests

AltWalker tests for the Vue.js ToDo app from: https://robert-96.github.io/vue-todo/

Language: Python - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

ArtemBaskal/model-based-testing-calculator

Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using XState

Language: TypeScript - Size: 1.82 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 9 - Forks: 0

andimon/web-test-automation-and-model-based-testing

web test automation of behaviour testing of a local tech shop in partial fulfillment of unit CPS3230

Language: Java - Size: 130 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

TestOptimal/MBT

TestOptimal MBT (Open-Source)

Language: Java - Size: 21.1 MB - Last synced: 23 days ago - Pushed: 5 months ago - Stars: 2 - Forks: 3

altwalker/vscode-model-visualizer

A Visual Studio Code extension for displaying JSON models for AltWalker and GraphWalker.

Language: TypeScript - Size: 6.93 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

Seeker04/nvim-mbt

A model based approach to testing Neovim's mode transitions.

Language: TeX - Size: 9.93 MB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

functional-specification-based-testing/haskell-matching-engine

a Haskell specification for matching engine of stock trading platform

Language: Haskell - Size: 131 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 3

hassansartaj/uast-toolset

A toolset to support automated system-level testing of unmanned aerial systems (UAS).

Language: Java - Size: 20.6 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

hassansartaj/cdst-toolkit

A toolkit to automate the testing process of Cockpit Display Systems (CDS)

Language: Java - Size: 7.87 GB - Last synced: 3 months ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

vaitybharati/Forecasting_Model_based_methods

Splitting data into Linear Model, Exponential, Qaudratic, Additive seasonality , Additive Seasonality Quadratic , Multiplicative Seasonality, Multiplicative Additive Seasonality. Prediction for new time period

Language: Jupyter Notebook - Size: 3.91 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

altwalker/dotnet-executor

A .NET executor for AltWalker, a convenient programming interface for exposing and executing your C# tests within the AltWalker framework.

Language: C# - Size: 55.7 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

Robert-96/altwalker-petclinic-example Fork of bitcoder/altwalker-petclinic-example

Model-Based Tests implemented with AltWalker, targeting the demo PetClinic site.

Language: Python - Size: 61.5 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

Robert-96/altwalker-action 📦

GitHub Action for AltWalker/GraphWalker.

Language: Shell - Size: 35.2 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

nerdsupremacist/Mealy

Swift Framework for Model-Based Testing using Mealy Machines

Language: Swift - Size: 92.8 KB - Last synced: 25 days ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

pairwise-testing/python-allpairspy Fork of thombashi/allpairspy

A python library for test combinations generator. The generator allows one to create a set of tests using "pairwise combinations" method, reducing a number of combinations of variables into a lesser set that covers most situations.

Language: Python - Size: 132 KB - Last synced: 9 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

plets-x1/plets-x1

Language: C# - Size: 14.4 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rjdestigter/xstate-marionettist

Model based testing with Jest, XState and Puppeteer or Playwright made easy

Language: TypeScript - Size: 2.43 MB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 28 - Forks: 3

pairwise-testing/all-languages-tcases Fork of Cornutum/tcases

A model-based test case generator

Language: Java - Size: 8.58 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 1

lauterbach-mirror/t32xil

Mirror of Lauterbach's TRACE32 PIL Testing on custom hardware and virtual platforms

Language: MATLAB - Size: 2.97 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Tovy97/Towards-Substructural-Property-Based-Testing

Code correlated to paper "Towards Substructural Property-Based Testing"

Language: Prolog - Size: 67.4 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

altwalker/python-ecommerce-selenium-conf

Demo for the State Model Based Testing with Selenium workshop at SeleniumConf 2023 in Chicago.

Language: Python - Size: 7.81 KB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

rhaidiz/wafex

Web Application Formal Exploiter.

Language: Python - Size: 5.16 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 5 - Forks: 1

sajtizsolt/graphwalker-selenium

A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.

Language: Java - Size: 63.5 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

rh122/rh122.github.io

Graph Transformation for Software Engineers (GT4SE)

Size: 790 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Isaac-DeFrain/model-based-trace-checking

Model-based trace-checking ✅ check the conformance of your implementation to your specification

Language: Rust - Size: 2.06 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 1

Robert-96/altwalker-demo

A simple demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

Language: Python - Size: 34.2 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

Robert-96/altwalker-dotnet-demo

A simple .NET demo using AltWalker. AltWalker is an open source Model-Based Testing framework.

Language: C# - Size: 38.1 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

atenearesearchgroup/mbt4cps-dofbotarm

Automated model-based testing of a robotic arm

Language: Jupyter Notebook - Size: 403 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Robert-96/altwalker-graph-data-demo

A simple example of an AltWalker project that updates the graph data from the test code.

Language: Python - Size: 7.81 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

sicope-model/sicope-model

Model-Based Testing tool for web application

Language: PHP - Size: 2.48 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

the-dr-lazy/purescript-quickcheck-state-machine Fork of meeshkan/purescript-quickcheck-mbt

Test monadic PureScript programs using state machine based models

Language: PureScript - Size: 52.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

SayamAlt/Fraudulent-Transactions-Prediction

Successfully trained a machine learning model which can predict whether a given transaction is fraud or not.

Language: Python - Size: 32.2 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

MasWag/FalCAuN

Falsification of CPS via Automata Learning

Language: Java - Size: 1.77 MB - Last synced: 4 days ago - Pushed: 4 days ago - Stars: 3 - Forks: 3

SELab-unimi/mbt-module

MBT module

Language: Java - Size: 63.5 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

tienvx/mbt-bundle

A core library for Sicope Model, a Model-Based Testing tool for web application.

Language: PHP - Size: 7.23 MB - Last synced: 7 months ago - Pushed: almost 2 years ago - Stars: 19 - Forks: 3

mweisgut/Model-Based-Testing-of-Read-Only-Graph-Queries

Model-Based Testing of Read Only Graph Queries

Size: 5.86 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

akarakoc/Model-Based-Testing

Model Based testing

Language: Java - Size: 104 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

lenntt/kinglouie

Exploratory test monkey that becomes smarter over time

Language: JavaScript - Size: 369 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 3 - Forks: 1

andreendo/FourMA Fork of guilhermefarto/MBTS4MA

Language: Java - Size: 6.89 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 3