ByNobleID
    Automated generation of statistical test cases from UML state diagrams | NobleID