Line 32: | Line 32: | ||
* [https://github.com/ValerioMedeiros/BTestBox BTestBox] | * [https://github.com/ValerioMedeiros/BTestBox BTestBox] | ||
* [http://wiki.event-b.org/index.php/MBT_plugin MBT plugin] for model-based testing within Rodin | * [http://wiki.event-b.org/index.php/MBT_plugin MBT plugin] for model-based testing within Rodin | ||
* [https://rajivmurali.github.io/UsecasePro/ UseCasePro], see article in the [http://eprints.ncl.ac.uk/file_store/production/229541/A4269E59-6B4A-485E-8E63-E164802DFADD.pdf proceedings of the 2016 Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems] | |||
== Related Tools == | == Related Tools == |