An open API service indexing awesome lists of open source software.

https://github.com/sherwinshen/mut_learn_dotas

🔨 A prototype tool for learning DOTAs based on mutation testing.
https://github.com/sherwinshen/mut_learn_dotas

active-learning automata model-learning mutation-testing timed-automata

Last synced: 3 months ago
JSON representation

🔨 A prototype tool for learning DOTAs based on mutation testing.

Awesome Lists containing this project