An Automata Learning Library Written in Python

Model-based testing tool

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

Web Application Formal Exploiter.

Grc is support tool for model based testing. Converts graphml file to scenarios, both manual or automated ( Java, JavaScript, Python, C++, C code generation support )

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

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

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

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.

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

Application Modeler

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

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

A growing list of examples that use AltWalker.

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