pymodel (pypi): Model-based testing in Python
Keywords: model-based|testing|python|model|on-the-fly|offline|composition|finite|state|machine|harness|stepper|automated|test|run|suite|oracle|nondeterminism|synchronizing|interleaving|strategy|coverage|protocol|trace|scenario