Automated generation of statistical test cases from UML state diagrams | IEEE Conference Publication | IEEE Xplore