AllSyT: Model-based System Testing Using Alloy Specifications

Published: 14 October 2019| Version 2 | DOI: 10.17632/2tyhw8bzrh.2
Contributor:
Masoumeh Taromirad

Description

Implementation artefacts of AllSyT testing tool, and the code for the case study.

Files

Categories

Software Testing

Licence