MBTofCOVIDapps

Automated test suites to test COVID contact-tracing apps

MBTofTestinium

This repository includes all open-source Model-based Testing (MBT) artifacts for automated MBT of a large web application named: Testinium (www.testinium.com)

MBTCover

MBTCover is a tool for code-level and requirement-level test coverage measurement of model-based testing

tsDetectExtended

This project is an empirical assessment using an existing test-smell detection tool, named tsDetect (https://testsmells.github.io/pages/testsmelldetector-architecture.html), and slight extension of the tool.