A tool for Automating test generation and test selection for UPPAAL SMC
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
MATS
.gitignore
LICENSE
README.md

README.md

-# MATS-Tool -
Automatic Test Generation and Mutation Analysis using UPPAAL SMC - Thesis work for the degree of Bachelor in Computer Science at Mälardalens Högskola. http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1140244

Student - Jonatan Larsson - JLN13010@student.mdh.se
Supervisors - Dr. Raluca Marinescu and Dr. Eduard Enoiu
Examinar - Associate Professor Cristina Seceleanu

MATS is a tool for Automating test generation and test selection for UPPAAL SMC.

This tool is currently tailored to work on the provided Brake by wire model and its manually mutated mutants. However MATS can be modified to support other models. The included models was provided by the supervisors.

In order to run the tool, you will first have to download UPPAAL SMC's command-line tool "verifyta.exe" (found inside UPPAAL bin-Win32) and place it inside "\bin-win32" of the MATS-tool.