A model based approach to testing Neovim's mode transitions.
-
Updated
Aug 13, 2022 - TeX
#
model-based-testing
Here are 2 public repositories matching this topic...
This is a repository for the Modelling and Testing assignment. The SUT was Kubernetes pod lifecycle management system. Used tools were Graphwalker, MTR (ModelTestRelax) framework, and the adaptation code was developed in Java using kubectl.
-
Updated
Nov 28, 2024 - TeX
Improve this page
Add a description, image, and links to the model-based-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-based-testing topic, visit your repo's landing page and select "manage topics."