mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines | IEEE Conference Publication | IEEE Xplore