Giters

tacopetri / TorXakis-DotNet-Adapter

.NET adapter for the TorXakis model-based testing tool. See also: https://github.com/TorXakis/TorXakis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

TorXakis-DotNet-Adapter

.NET adapter for the TorXakis model-based testing tool. See also: https://github.com/TorXakis/TorXakis

Version associated with publication:
Taco Petri. "Constructing test adapters for model-based testing with action refinement".
MSc thesis. Open University of the Netherlands, 2019.

About

.NET adapter for the TorXakis model-based testing tool. See also: https://github.com/TorXakis/TorXakis

License:MIT License

Languages

Language:C# 99.5%Language:Batchfile 0.5%